Electryo：具备透明选民可验证性与资格可验证性的现场投票
密码学与安全
2021-06-01 v1
摘要
Selene是一种电子投票协议，允许选民通过跟踪系统以明文形式直接在最终计票中核查其个人选票，同时提供良好的抗胁迫能力。这与传统的端到端可验证方案形成对比，后者中选民验证的是其选票加密存在于公告板上。Selene机制可应用于许多电子投票方案，但在此我们展示其在投票站场景中的应用，从而产生带有纸质审计轨迹的选民可验证电子计票。该系统使用基于智能卡的公钥系统来提供个人验证和通用的资格可验证性。纸质记录包含指向选民身份的加密链接，相较于普通纸质投票需要对选票隐私有更强的假设，但好处是提供良好的可审计性和争议解决，并支持（比对式）风险限制审计。
引用
@article{arxiv.2105.14783,
title = {Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability},
author = {Peter B. Roenne and Peter Y. A Ryan and Marie-Laure Zollinger},
journal= {arXiv preprint arXiv:2105.14783},
year = {2021}
}
备注
E-Vote-ID 2018 TUT Proceedings