MultiBallot: Verifiable and privacy-preserving E-Collecting in the Swiss setting
本文提出了一种适用于瑞士的电子签名收集的安全、隐私保护且可验证的协议，该协议利用多个活跃收集并行的特性，在无需匿名信道的情况下保障参与隐私。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一下，将瑞士比作一个巨大而繁忙的城镇广场，人们在此不断提出关于如何管理城镇的新规则或变更。在这个城镇里，公民不必等待选举日；他们可以随时发起“签名征集活动”，以强制就特定议题进行投票。一旦征集到足够多的签名，全镇就必须对此进行投票。
问题在于：目前，这些签名征集活动大多是在纸上进行的。纸张速度慢、容易丢失，而且有时人们会试图通过伪造签名来作弊。本文的作者弗洛里安·莫泽（Florian Moser）和莱奥·路易蒂塞朗（Léo Louistisserand）希望将这一流程转移到线上，但必须遵守两条非常严格的规则：
- 隐私性：无人应知晓你具体支持了哪项事业。
- 可验证性：你必须能够证明你的签名已被计入，且城镇必须能够证明最终计数的准确性。
以下是他们的解决方案——称为MultiBallot——的工作原理，通过简单的类比进行解释。
核心难题：“沉默”的签名
在普通选举中，你投“是”或“否”。如果你投“是”，显而易见你已投票。但在签名征集活动中，你始终只是在投“是”。如果你签署了一份请愿书，你就是在表达“我支持此事”。
棘手之处在于，在瑞士，许多签名征集活动会同时发生。也许一个是关于建造新公园，另一个是关于降低税收，第三个则是关于调整学校课时。
- 旧方式：如果你签署了“公园”请愿书，系统就知道你签署了“公园”请愿书。如果你没有签署其他请愿书，系统就知道你没有签署它们。这会泄露你的隐私。
- 新方式（MultiBallot）：系统将所有活跃的请愿书视为一个单一的、巨大的“菜单”。当你与系统交互时，你并非只选择其中一项，而是更新你的整个菜单。
核心魔术技巧：“重加密”面具
想象一下，针对该国每一个活跃的请愿书，你都有一个上锁的盒子。
- 默认状态：每个盒子都是上锁的，里面装着"0"（表示“我尚未签署此项”）。
- 操作：当你想要签署“公园”请愿书时，你并非只打开那一个盒子。你会拿起菜单上的每一个盒子并交换其内容。
- 对于“公园”盒子，你将"0"换成"1"（表示“已签署！”）。
- 对于所有其他盒子（税收、学校等），你取出原有的"0"，摇晃盒子（重新加密），然后将其放回。对外部观察者而言，盒子看起来完全不同，但其内部仍然装着"0"。
这为何很酷？
因为你同时更新了所有盒子，外部观察者查看你的菜单时，无法分辨你究竟将哪个盒子改为了"1"。他们只能看到你更新了整个菜单。你可能签署了公园请愿书，或者税收请愿书，或者两者都签了。对他们来说，这是一个谜。这就是他们如何在无需秘密匿名隧道的情况下隐藏你隐私的方法。
“双设备”安全网
为了确保无人作弊，系统为每位公民使用两个不同的设备：
- 参与设备（你的手机）：这是你实际点击签署的地方。你信任该设备能保守你的秘密。
- 审计设备（一台独立的平板电脑或电脑）：这就像一台收据打印机。在你签署后，你检查这台第二台设备。它会从公共记录中下载“上锁的盒子”，并仅为你解锁它们。它会向你显示：“是的，你签署了公园请愿书。”
如果你的手机试图作弊（例如，它实际上签署了税收请愿书，却告诉你它签署了公园请愿书），你的审计设备将向你揭示真相。如果手机与审计设备达成一致，你就知道你的签名是安全的且已被计入。
“公共账本”（公告板）
想象一下城镇广场上一块巨大的玻璃墙黑板。每当有人签署请愿书时，他们就会将更新写在黑板上。
- 透明度：任何人都可以查看黑板。
- 证明：每次更新都附带一个“数学印章”（零知识证明）。这个印章证明了“我正确执行了计算”，而无需揭示具体计算内容。
- 不可擦除：一旦某事被写在黑板上，就无法被擦除或更改。这防止了欺诈。
处理“现实世界”的混乱
作者们深知生活并不完美。人们会搬家、年满 18 岁或去世。
- 资格名单：存在一个受信任的“点名册”（类似于选民登记册），它会不断更新谁有资格签署。如果你搬到了一个新城镇，系统会自动更新你签署当地请愿书的权限。
- 纸质 + 数字：该系统的设计旨在即使部分人通过纸质签署，而其他人在线签署也能正常运行。“纸质”签名被视为与数字签名完全相同，进入同一个上锁盒子系统，以便它们能与数字选票公平地一起被计数。
结果
该论文声称，MultiBallot实现了“鱼与熊掌兼得”的局面：
- 隐私性：通过将你的签名隐藏在所有其他活跃请愿书之中，它隐藏了你签署了哪份请愿书。
- 可验证性：它允许你证明你的签名已被计入，并允许公众证明最终计数的准确性。
- 现实性：它不需要不可能的技术（如魔法般的匿名互联网隧道），并且符合瑞士的法律框架，即许多请愿书同时运行。
简而言之，它将一堆混乱的签名征集活动转变为一个安全、透明且私密的数字化流程，其中你的“是”被计入，但你具体的“是”仍然是你的秘密。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。