[論文レビュー] An Overview of End-to-End Verifiable Voting Systems

Syed Taha Ali, Judy Murray|arXiv (Cornell University)|May 27, 2016

Internet Traffic Analysis and Secure E-voting参考文献 142被引用数 10

ひとこと要約

この論文は、エンド・ツー・エンド（E2E）検証可能な投票システムの包括的で技術的でない概要を提供しており、投票者が自身の投票が正しく記録され、正しく集計されたことを暗号的に検証できる仕組みを説明している。受領証ベースの検証と公開のブルーブォードを用いることで、E2Eシステムは選挙の完全性を保証するとともに、投票者が改ざんを検出できるようにし、電子選挙に対する信頼を回復する。

ABSTRACT

Advances in E2E verifiable voting have the potential to fundamentally restore trust in elections and democratic processes in society. In this chapter, we provide a comprehensive introduction to the field. We trace the evolution of privacy and verifiability properties in the research literature and describe the operations of current state-of-the-art E2E voting systems. We also discuss outstanding challenges to the deployment of E2E voting systems, including technical, legal, and usability constraints. Our intention, in writing this chapter, has been to make the innovations in this domain accessible to a wider audience. We have therefore eschewed description of complex cryptographic mechanisms and instead attempt to communicate the fundamental intuition behind the design of E2E voting systems. We hope our work serves as a useful resource and assists in the future development of E2E voting.

研究の動機と目的

• 非専門家、特に研究者や政策立案者を対象に、エンド・ツー・エンド検証可能な投票の明快でアクセス可能な紹介を提供すること。
• 電子投票システムにおける機密性と検証可能性の発展をたどり、暗号的設計における主要なマイルストーンを強調すること。
• E2Eシステムが投票者の機密性を保ちながら、自身の投票が正しく集計されたことを確認できる仕組みを説明すること。
• E2E投票システムの実世界での導入を阻害する技術的、法的、ユーザビリティ上の障壁を特定・分析すること。
• E2Eシステムが電子選挙における公共の信頼を回復する潜在的可能性を強調することで、広範な採用を提唱すること。

提案手法

• 複雑な暗号的形式を避けて、E2E投票のワークフローを高水準かつ直感的に説明する。
• 投票者が検証用に暗号的にマスキングされた受領証を受け取るシナリオを提示して、投票プロセスを図示する。
• 公開のブルーブォードが暗号化された受領証を格納し、投票者や第三者が集計の正しさを検証できる仕組みを説明する。
• 投票のマスキングやホモモーフィック暗号（暗黙的）などの暗号技術を説明し、機密性と検証可能性を確保する。
• 公開検証の役割を強調：誰もが公開されたパrametersを使用して再計算し、集計の正しさを確認できる。
• システムの信頼性と信頼を支えるために、公開監査、リスクアセスメント、投票者教育などの手続き的セーフティーバリヤントを強調する。

実験結果

リサーチクエスチョン

• RQ1 電子投票システムは、選挙当局への信頼に依存せずに、投票の機密性とエンド・ツー・エンド検証可能性をどのように確保できるか？
• RQ2 E2E検証可能な投票を実世界の選挙に導入するにあたり、技術的、法的、ユーザビリティ上の障壁は何か？
• RQ3 投票者が自身の投票が正しい形で集計されたことをどのように確認できるか？また、暗号的受領証はこのプロセスにおいてどのような役割を果たすか？
• RQ4 E2Eシステムは、ボールォットの機密性を保ちながら、強制や投票の売買をどのように防ぐことができるか？
• RQ5 E2E投票システムに対する公共の信頼を支えるために、どのような制度的・法的枠組みが必要か？

主な発見

• E2E検証可能な投票システムは、公開検証可能な受領証を用いて、投票者が自身の投票が意図した通りに記録され、集計されたことを暗号的に確認できる。
• システム設計により、選挙当局や機械が改ざんされても、投票の記録や集計の不一致は、投票者や第三者が検出可能である。
• 投票者の受領証は暗号的に隠蔽されているため、誰がどのように投票したかを証明するのには使えない。これにより、投票の売買や強制を防げる。
• 公開のブルーブォードにより透明性が確保され、公開されたアルゴリズムとパrametersを使用して、第三者が最終的な集計を独立して検証できる。
• 強固な技術的保証があるにもかかわらず、広範な導入は、ユーザビリティの課題、法的曇り、そして包括的な投票者教育の必要性によって阻まれている。
• E2E投票の成功は、暗号的妥当性に加え、一般の認識、手順への信頼、制度的準備の有無にも依存する。