[論文レビュー] SOBA: Secrecy-preserving Observable Ballot-level Audit

Josh Benaloh, Douglas W. Jones+3 more|arXiv (Cornell University)|May 29, 2011

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

ひとこと要約

SOBA は、各選挙区に対して投票記録（CVR）を公開し、ボールット-CVRマッピングを暗号的にコミットすることで、選挙結果の公開検証を可能にする機密性を保つリスクリミッティング監査フレームワークです。誤りが検出されない限り、わずかな数のボールットしか公開されない同時単一ボールット監査により、正しくない結果が報告された場合に完全な手作業カウントが保証される高信頼性を実現します。

ABSTRACT

SOBA is an approach to election verification that provides observers with justifiably high confidence that the reported results of an election are consistent with an audit trail ("ballots"), which can be paper or electronic. SOBA combines three ideas: (1) publishing cast vote records (CVRs) separately for each contest, so that anyone can verify that each reported contest outcome is correct, if the CVRs reflect voters' intentions with sufficient accuracy; (2) shrouding a mapping between ballots and the CVRs for those ballots to prevent the loss of privacy that could occur otherwise; (3) assessing the accuracy with which the CVRs reflect voters' intentions for a collection of contests while simultaneously assessing the integrity of the shrouded mapping between ballots and CVRs by comparing randomly selected ballots to the CVRs that purport to represent them. Step (1) is related to work by the Humboldt County Election Transparency Project, but publishing CVRs separately for individual contests rather than images of entire ballots preserves privacy. Step (2) requires a cryptographic commitment from elections officials. Observers participate in step (3), which relies on the "super-simple simultaneous single-ballot risk-limiting audit." Step (3) is designed to reveal relatively few ballots if the shrouded mapping is proper and the CVRs accurately reflect voter intent. But if the reported outcomes of the contests differ from the outcomes that a full hand count would show, step (3) is guaranteed to have a large chance of requiring all the ballots to be counted by hand, thereby limiting the risk that an incorrect outcome will become official and final.

研究の動機と目的

• 電子的選挙結果の検証を、投票者のプライバシーを損なうことなく行う挑戦に応えること。
• 公開可能で検証可能な検証を通じて、報告された選挙結果に高い信頼性を保証する方法を提供すること。
• ソフトウェアおよび手順上の誤りに対して耐性を持つが、暗号的コミットメントによってプライバシーを保証するシステムを設計すること。
• リスクリミッティング監査プロセスを通じて、誤った結果が高確率で検出されることを保証すること。
• 観察者が全ボールットの CVR を再構築せずに正しさを検証できるフレームワークを構築することにより、プライバシーを保護すること。

提案手法

• 各選挙区ごとに別々に投票記録（CVR）を公開し、個々の選挙区の結果の公開検証を可能にします。
• ボールット識別子とその対応する CVR をバインドするための暗号的コミットメント（H）を用い、マッピングが改ざんされても検出可能であることを保証します。
• 『スーパーシンプルな同時単一ボールット』法に基づくリスクリミッティング監査を採用し、CVR の正確性とマッピングの整合性を両方検証します。
• 1回の選挙につき1つの暗号的コミットメントで十分であるため、従来の方法と比較して複雑さが低減されます。
• ボールットの暴露を観察者に制限—報告された結果が正しく、マッピングが正確であれば、わずかなサンプルのみが公開されます。
• ボールットの数が、提出、返送、破棄の各状態において、複数の選挙区で一貫していることを確認するためのボールットアカウンティングに依存します。

実験結果

リサーチクエスチョン

• RQ1 公開監査は、投票者のプライバシーを損なわず、高い信頼性で選挙結果を検証可能でしょうか？
• RQ2 暗号的コミットメントは、個々の投票を露呈せずに、ボールット-CVRマッピングの整合性を保証できますか？
• RQ3 どのような監査手順が、誤った結果を高確率で検出しつつ、ボールットの暴露を最小限に抑えることができますか？
• RQ4 1つの暗号的コミットメントで、すべての選挙区のマッピングを安全かつ効率的に束ねることは可能でしょうか？
• RQ5 どのような条件下で、リスクリミッティング監査は、プライバシー保護型でありながら、誤った結果の是正に効果的であると言えますか？

主な発見

• SOBA は、全ボールットの CVR を再構築できないようにすることで、投票者のプライバシーを保護しつつ、公開検証可能な選挙監査を可能にします。
• リスクリミッティング監査により、誤った結果が高確率で検出され、必要に応じて完全な手作業カウントが発動されることを保証します。
• 報告された結果が正しく、マッピングが正確であれば、観察者に公開されるボールットの割合はわずかに抑えられます。
• 1つの暗号的コミットメントの使用により、監査プロセスが簡素化されつつも、強固なセキュリティ保証が維持されます。
• 監査トレールが改ざんされた場合や監査に失敗した場合、公式な結果は発表されないため、整合性が保たれます。
• システムは $P$-レジリエントに設計されており、監査トレールが信頼でき、事前条件が満たされていれば、結果が正しい確率が少なくとも $P$ であることが保証されます。