_Ha_ megbízható a szoftver és a HW (erős feltétel)
A redundancia és az ellenőrzés tudja biztosítani, hogy a nem megbízható szoftver és hardver megbízható legyen.
a szavazó le tudja ellenőrizni a saját szavazatát [ellenőrizhetőség]; a szavazó bizonyítani ne tudja, hogy mire szavazott [vesztegetési/szavazatvásárlás ellehetetlenítése])
Ez a két pont kizárja egymást. Sőt a második pontot önmagában elég nehéz biztosítani.
(ill. ha a két eseménysor üzemeltetői politikai ellenfelek, bármelyik tudja a saját adatbázisát úgy módosítani, hogy a másikat vádolhassa csalással)
Épp annak elkerülésére kell le idő bélyegezni az egyes eseményeket, hogy bárki utólag meg tudja változtatni.