Vote Coin Protocol propose des audits de bulletins papier sur Cardano

Michael Twigg a présenté Vote Coin Protocol sur le Cardano Forum le 1er octobre, invitant à une revue technique d’un système de vote par bulletins papier proposé. La conception publiée couvre les procédures électorales, les protections de la vie privée et les plans de test. Elle n’est ni certifiée ni déployée.

Bulletins papier et piste d’audit publique sur Cardano

Vote Coin Protocol propose un vote en personne avec une piste d’audit publique pour les bulletins individuels. Les bulletins papier vérifiés par les électeurs resteraient la base pour déterminer les résultats électoraux.

Les électeurs examineraient leurs bulletins imprimés avant de les déposer. Un scanner distinct lirait les sélections imprimées et les comparerait à l’enregistrement numérique de l’appareil.

Chaque enregistrement recevrait une empreinte SHA-256 combinée à une valeur aléatoire secrète, rendant difficile l’inférence du contenu du bulletin à partir de l’empreinte.

Les empreintes de plusieurs bulletins seraient combinées dans un arbre de Merkle. Sa racine résume le lot tout en permettant de vérifier l’inclusion d’un enregistrement individuel. Cette racine serait ancrée sur Cardano, tandis que les choix de vote, les noms et les informations personnelles resteraient hors chaîne.

Un reçu permettrait aux électeurs de vérifier si l’empreinte de leur bulletin figure dans un lot ancré. Cela vérifie l’inclusion de l’enregistrement ; les totaux électoraux proviendraient toujours des bulletins papier.

Vote Coin enregistre l’usage d’un droit de vote

Le modèle initial émettrait un jeton natif Cardano pour chaque droit de vote enregistré. Les jetons resteraient verrouillés à l’adresse d’un validateur Plutus, avec des dépenses limitées à des destructions autorisées.

Après l’enregistrement d’un vote, le jeton serait détruit afin de créer une preuve publique que le droit a été exercé. L’enregistrement au bureau de vote continuerait d’empêcher un second bulletin pendant le vote lui-même.

Les électeurs n’auraient pas besoin de portefeuille crypto et ne paieraient pas de frais de transaction. Le budget de l’élection financerait les frais en ADA. L’ADA verrouillé avec un jeton retournerait à l’autorité électorale lors de sa destruction.

Des destructions de jetons individuelles sont proposées pour les deux premières phases pilotes. À partir de la troisième phase, des balises d’identifiants consommés apparaîtraient plutôt dans des enregistrements par lot ancrés via leurs racines cryptographiques. Le vote resterait local, avec une publication sur la blockchain ensuite, permettant de différer l’ancrage en cas de congestion du réseau.

Revue de Plutus et mesures sur le testnet demandées

Twigg a demandé aux développeurs Cardano d’examiner le validateur dédié uniquement à la destruction, les estimations de charge de la blockchain et la taille des transactions de destruction. Son message sur le forum demande spécifiquement des mesures sur le testnet afin d’évaluer les hypothèses du document.

Le dépôt public comprend le livre blanc, des exemples développés et des scripts de vérification Python. Ces scripts recalculent les empreintes des bulletins, les preuves d’inclusion Merkle et la charge réseau estimée en utilisant des bulletins illustratifs et les paramètres Cardano indiqués.

Les vérifications publiées couvrent les calculs du document. Les mesures réseau demandées concernent la taille réelle des transactions et le comportement du validateur.

Si une divergence apparaissait après le dépôt, la conception exigerait de corriger l’enregistrement numérique pour qu’il corresponde au bulletin papier revu par l’électeur et d’en consigner publiquement la différence.