Resultatet var i korta drag att man lyckades specificera och implementera ett system som möter mycket hårda krav på transparens och verifierbarhet samtidigt som valhemligheten garanteras .