[论文解读] A transparent referendum protocol with immutable proceedings and verifiable outcome for trustless networks

Maximilian Schiedermeier, Omar Hasan+3 more|arXiv (Cornell University)|Sep 13, 2019

Blockchain Technology Applications and Security参考文献 16被引用 5

一句话总结

本文提出了一种透明、无需信任的全民公投协议，结合安全多方计算（SMPC）与区块链技术，确保选票保密性、可验证结果以及不可篡改的流程。通过将所有通信记录在分布式账本上，选民可独立验证公投过程的正确性，而无需依赖第三方，从而实现端到端可验证性，并抵抗合谋与篡改。

ABSTRACT

High voter turnout in elections and referendums is very desirable in order to ensure a robust democracy. Secure electronic voting is a vision for the future of elections and referendums. Such a system can counteract factors that hinder strong voter turnout such as the requirement of physical presence during limited hours at polling stations. However, this vision brings transparency and confidentiality requirements that render the design of such solutions challenging. Specifically, the counting must be implemented in a reproducible way and the ballots of individual voters must remain concealed. In this paper, we propose and evaluate a referendum protocol that ensures transparency, confidentiality, and integrity, in trustless networks. The protocol is built by combining Secure Multi-Party Computation (SMPC) and Distributed Ledger or Blockchain technology. The persistence and immutability of the protocol communication allows verifiability of the referendum outcome on the client side. Voters therefore do not need to trust in third parties. We provide a formal description and conduct a thorough security evaluation of our proposal.

研究动机与目标

• 设计一种安全、透明的电子全民公投系统，消除对可信第三方的依赖。
• 在确保选票保密性的同时，实现对公投结果的完整客户端验证。
• 通过密码学与协议级防护措施，防止合谋、重复投票及去匿名化。
• 利用区块链技术提供所有参与者行为的可验证、不可篡改日志。
• 评估该协议在无信任网络中对现实攻击模型的抗性能力。

提出的方法

• 该协议使用SMPC安全计算公投结果，同时保护选民隐私。
• 所有通信与操作均记录在公共区块链上，以确保不可篡改性与透明性。
• 选民通过区块链将加密的选票份额提交给随机选定的工作人员，随后使用门限秘密共享方案进行聚合。
• 协议采用匿名凭证进行选民注册，注册数据与公钥记录在账本上以支持审计。
• 通信通过TOR进行，以防止去匿名化与侧信道攻击。
• SMPC方案中采用高门限值，降低合谋风险，并通过统计异常值分析检测恶意行为。

实验结果

研究问题

• RQ1 如何在不依赖可信第三方的情况下，使全民公投协议实现端到端可验证性？
• RQ2 区块链技术在多大程度上可确保全民公投流程的不可篡改性与透明性？
• RQ3 该协议如何抵抗工作人员或选民之间的合谋？其检测恶意行为的机制是什么？
• RQ4 协议能否在保障选票保密性的同时，实现客户端对结果的验证？
• RQ5 在无信任环境中，系统如何防止重复投票与去匿名化？

主要发现

• 通过在区块链上记录所有操作，该协议实现了对公投结果的完整客户端验证，消除了对可信权威的依赖。
• 通过SMPC保护选票保密性，即使工作人员被攻破，单个选票仍保持机密。
• 重复投票可被检测，因为仅接受选民提交给某位工作人员的最新选票份额，防止选票被重复计算。
• 通过隐藏参与者身份，并在SMPC方案中使用高门限值，系统可检测恶意行为，从而抵抗合谋。
• 通过端到端加密与基于TOR的通信，减轻了去匿名化与侧信道通信的风险，降低隐蔽合谋的可能性。
• 通过在区块链上记录注册数据、公钥与通信元数据，协议提供了可验证的审计追踪，支持对排除或恶意行为的证明。