Vote Coin ProtocolがCardano上で紙投票の監査を提案

Michael Twiggは10月1日にCardano ForumでVote Coin Protocolを発表し、提案中の紙投票システムに関する技術的なレビューを求めた。公開された設計は、選挙手続き、プライバシー保護、テスト計画を網羅している。これは認証も導入もされていない。

紙の投票用紙と公開のCardano監査証跡

Vote Coin Protocolは、各投票用紙に対する公開の監査証跡を備えた対面投票を提案している。有権者が確認した紙の投票用紙が、選挙結果を決定する基礎として残る。

有権者は投票箱に入れる前に自分の印刷済み投票用紙を確認する。別のスキャナーが印字された選択肢を読み取り、端末のデジタル記録と照合する。

各記録には秘密の乱数と組み合わせたSHA-256のフィンガープリントが付与され、フィンガープリントから投票内容を推測しにくくする。

複数の投票用紙のフィンガープリントはMerkle treeにまとめられる。そのrootはバッチ全体を要約し、個々の記録が含まれているかを検証可能にする。そのrootはCardanoにアンカーされ、投票の選択、氏名、個人情報はオフチェーンのままになる。

レシートにより、有権者は自分の投票のフィンガープリントがアンカーされたバッチに含まれているかを確認できる。これは記録の包含を検証するものであり、集計結果は引き続き紙の投票用紙から得られる。

Vote Coinは投票権の行使を記録する

初期モデルでは、登録された各投票権に対して1つのCardanoネイティブトークンを発行する。トークンはPlutusのvalidatorアドレスでロックされ、支出は許可されたバーンに限定される。

投票が記録された後、そのトークンはバーンされ、権利が行使されたという公開の証拠を作る。投票所でのチェックインは、投票中の二重投票を防ぐために引き続き行われる。

有権者は暗号資産ウォレットを必要とせず、手数料も支払わない。手数料は選挙予算からADAで賄われる。トークンとともにロックされたADAは、トークンがバーンされた際に選挙当局へ戻る。

個別のトークンバーンは、最初の2つのパイロット段階で提案されている。第3段階からは、使用済みの資格情報タグが、それらの暗号学的rootを通じてアンカーされるバッチ記録に現れる形に切り替わる。投票は引き続きローカルで行われ、ブロックチェーンへの公開は事後に行われるため、ネットワーク混雑時にはアンカーを待機させることができる。

PlutusのレビューとTestnetでの測定の要請

TwiggはCardanoの開発者に対し、バーン専用validator、ブロックチェーン負荷の見積もり、バーントランザクションのサイズを検証するよう求めている。彼のフォーラム投稿は、文書の前提を評価するためにTestnetでの測定を特に要請している。

公開リポジトリには、ホワイトペーパー、作業済みの例、そしてPythonによる検証スクリプトが含まれている。これらのスクリプトは、例示的な投票用紙と提示されたCardanoのパラメータを用いて、投票のフィンガープリント、Merkleの包含証明、推定ネットワーク負荷を再計算する。

公開されたチェックは文書の計算を網羅している。要請されているネットワーク測定は、実際のトランザクションサイズとvalidatorの挙動に関するものだ。

提出後に不一致が判明した場合、設計は、投票者が確認した紙の投票用紙に一致するようデジタル記録を修正し、その差異を公開ログに記録することを求める。