TrustVote: Dispute-resolution mechanisms and systems for Private and Verifiable Voting

TrustVote：用于私人和可验证投票的争议解决机制和系统

• 批准号: EP/Y020529/1
• 负责人: Constantin Dragan
• 金额: $ 47.87万
• 依托单位: University of Surrey
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2024
• 资助国家: 英国
• 起止时间: 2024 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FY020529%2F1
• 关键词: TrustVote; Dispute; resolution; mechanisms; systems

Running elections is challenging while maintaining election integrity and increased voter confidence. Recent examples have shown that both traditional and online voting systems are not sufficient resilient to achieve this, e.g. 2022 Nigeria election (e.g., voting starting late, accusations of vote tampering, and technical issues with the voting devices), 2020 US presidential election (e.g., unsubstantiated claims and voter mistrust over voting device corruption and doubts over election integrity), 2019 Moscow election (e.g., cryptographic issues), and 2011-2013 Norway elections (e.g., software inaccuracies, voters voting twice - online and in-person).In 2020 the European Commission for democracy through law has highlighted in their CDL-AD(2020)025-e report that dispute-resolution is an essential requirement for successful elections. Their focus has been on providing an overview of the types of disputes that appear in polling stations and the legal mechanisms to handle complaints. The 2022 UK Tory leadership election (that used online voting) and the UK House of Commons divisions raise interesting challenges that have not been previously addressed. This project will build the foundations for real-world dispute-resolution in voting by formalizing disputes, types and timing of dispute evidence, and introducing definitions to accurately model those disputes and their context. Moreover, it will propose novel dispute-resolution mechanisms to completely solve or mitigate those disputes. Research into dispute-resolution has been so underdeveloped, as there are few voting protocols that are known or believed to satisfy dispute-resolution. The project will enhance existing academic protocols (e.g., Helios, Belenios, Selene, JCJ/Civitas) and real-world systems (e.g., ElectionGuard, Swiss Postal Voting) to satisfy dispute-resolution. To ensure the confidence in our analysis, we'll provide where appropriate machine-checked proof guarantees for the novel mechanisms and updated protocols and systems.

举行选举具有挑战性，同时保持选举的诚信并提高选民的信心。最近的示例表明，传统和在线投票系统都不足以实现这一目标，例如2022年尼日利亚选举（例如，投票开始迟到，投票篡改的指控以及投票设备的技术问题），2020年美国总统选举（例如，未经证实的主张和对投票设备腐败的不信任和不信任的不信任和对选举诚信的怀疑），2019年Moscow选举（例如加密问题）和2011-2013挪威选举（例如，软件不准确，投票两次的选民 - 在线和亲自投票）。2020年，通过法律强调了欧洲民主委员会的CDL-AD（2020）025 -E报告说，解决争端是成功选举的必要要求。他们的重点是概述投票站中出现的争议类型以及处理投诉的法律机制。 2022年英国保守党领导力选举（使用在线投票）和英国下议院部门提出了以前尚未解决的有趣挑战。该项目将通过形式化争议，争议证据的类型和时机以及介绍定义以准确对这些争议及其背景的定义来建立现实世界中争端的基础。此外，它将提出新颖的争议解决机制，以完全解决或减轻这些争议。关于解决争议解决的研究的发展欠发达，因为很少有投票方案已知或被认为满足争议解决方案。该项目将增强现有的学术协议（例如Helios，Belenios，Selene，JCJ/Civitas）和现实世界中的系统（例如，Electionguard，Swiss邮政投票），以满足争议解决方案。为了确保对我们的分析充满信心，我们将在适当的机器检查证明保证的情况下为新颖的机制以及更新的协议和系统提供。