[論文レビュー] A Privacy-Preserving Blockchain-based E-voting System

Arnab Mukherjee, Souvik Majumdar+2 more|arXiv (Cornell University)|Jul 17, 2023

Internet Traffic Analysis and Secure E-voting被引用数 6

ひとこと要約

この論文は、イーサリアム、ゼロ知識証明（zk-SNARKs）、スマートコントラクトを用いたプライバシー保護型ブロックチェーンベースの電子投票システムを提案する。投票者の匿名性、投票の完全性、監査可能性を保証する。プロトタイプは、負荷下でも低ガスコストとスケーラブルなパフォーマンスを示しており、平均遅延は0.012秒未満、ベンチマークでは2,500 TPSを超えるスループットを達成している。

ABSTRACT

Within a modern democratic nation, elections play a significant role in the nation's functioning. However, with the existing infrastructure for conducting elections using Electronic Voting Systems (EVMs), many loopholes exist, which illegitimate entities might leverage to cast false votes or even tamper with the EVMs after the voting session is complete. The need of the hour is to introduce a robust, auditable, transparent, and tamper-proof e-voting system, enabling a more reliable and fair election process. To address such concerns, we propose a novel solution for blockchain-based e-voting, focusing on the security and privacy aspects of the e-voting process. We consider the security risks and loopholes and aim to preserve the anonymity of the voters while ensuring that illegitimate votes are properly handled. Additionally, we develop a prototype as a proof of concept using the Ethereum blockchain platform. Finally, we perform experiments to demonstrate the performance of the system.

研究の動機と目的

• 既存の電子投票システム（EVM）におけるセキュリティとプライバシーの脆弱性（改ざんや身元の露呈）を是正すること。
• 分散型で透明性があり、監査可能な電子投票システムを設計し、投票者の匿名性を保ちつつ投票の有効性を保証すること。
• ゼロ知識証明とスマートコントラクトを用いて、イーサリアムブロックチェーン上に実用的なプロトタイプを実装し、エンドツーエンドの検証性を実現すること。
• Hyperledger Caliperを用いて負荷下でのシステムパフォーマンスを評価し、スループットと遅延を測定すること。

提案手法

• 分散型で改ざんできない投票記録とスマートコントラクト実行を実現するため、イーサリアムブロックチェーンを活用する。
• ZoKratesツールボックスを介してzk-SNARKsを用い、投票の有効性を証明するゼロ知識証明を生成し、投票者の身元や内容を露呈せずに検証する。
• 登録管理と投票プロセス管理の2つのコアスマートコントラクトをデプロイ：RegistrationSC（ユーザーのオンボーディング用）とPollSC（投票の作成、投票者登録、投票、終了、結果発表のライフサイクル管理用）。
• 登録および検証レポートのオフチェーン保存にIPFSを活用し、オンチェーンの肥大化とガスコストを低減する。
• 2段階アーキテクチャを実装：ZoKratesを用いたオフチェーンでの証明生成と、イーサリアム互換スマートコントラクトによるオンチェーンでの検証。
• Hyperledger Caliperを用いてパフォーマンス評価を実施し、トランザクションレート（25～300 TPS）と同時ユーザー数（25～100）を変化させた状況下でのスループットと平均遅延を測定する。

実験結果

リサーチクエスチョン

• RQ1 ブロックチェーン技術とゼロ知識証明を組み合わせることで、電子投票システムにおける投票者のプライバシーをどのように確保できるか？
• RQ2 zk-SNARKsをブロックチェーンベースの電子投票システムに統合した際のガス消費量とトランザクション遅延という観点でのパフォーマンスオーバーヘッドはどの程度か？
• RQ3 分散型電子投票システムは、投票の重複や不正アクセスを防ぎつつ、監査可能性、検証可能性、不変性を維持できるか？
• RQ4 トランザクション負荷と同時ユーザー数の増加に伴って、システムはどのようにスケーリングするか？
• RQ5 イーサリアム上での投票送信、証明検証、投票管理といった主要な操作の実際のガスコストはどの程度か？

主な発見

• 最適な条件下で平均遅延が0.012秒未満、スループットが2,500 TPSを超えることが確認され、強力なスケーラビリティを示している。
• 投票送信や証明検証といったコア操作のガスコストは低く抑えられており、PollSCコントラクトの特定関数で最も高いコストである105ガスユニットに留まっている。
• プロトタイプは、zk-SNARKベースの証明によりエンドツーエンドの検証性を成功裏に実現しており、投票の有効性を証明するが、投票者の身元や ballot 内容を露呈しない。
• IPFSを用いたオフチェーン文書保存により、オンチェーンデータの肥大化が効果的に抑制され、全体のシステムコストが低減した。
• ゼロ知識証明のおかげで、バリデーターですら投票と投票者を関連付けることができないため、強固なプライバシー保証が達成されている。
• ベンチマーク結果から、25～300 TPSおよび25～100人の同時ユーザーという広範なワークロード範囲において、システムが安定的かつ効率的に動作することが確認された。