该论文提出了一种名为 Kryvos 的公开可验证电子投票系统，其核心创新在于实现了'计数隐藏'（tally-hiding）特性，即在公开验证投票结果正确性的同时，不泄露任何单个投票者的具体投票内容或中间计数信息。传统可验证电子投票系统通常需要公开所有选票或部分聚合结果来保证可验证性，这可能导致隐私泄露。Kryvos 利用先进的密码学原语，如完全同态加密、零知识证明和可验证混洗，在不暴露原始选票的情况下对外证明最终计数结果与所有有效选票一致。该系统支持多种投票规则（如多数制、比例代表制等），并提供了完整的协议规范、安全模型和实现原型。作者还通过性能评估展示了系统在合理规模选举中的实用性，尽管同态加密操作带来了额外计算开销，但通过优化可满足实际部署需求。该工作为兼顾隐私与可验证性的电子投票领域提供了重要技术方案，适合密码学研究者、电子投票系统设计者以及关注选举安全的从业人员阅读。

本文针对瑞士政治过程中的电子签名收集（e-collecting）场景，提出了一种兼顾可验证性与参与隐私的安全协议。在瑞士，公民通过收集一定数量的签名可以发起政策变更甚至具有法律约束力的公投，其安全要求与电子投票类似。作者首先基于瑞士现有的电子投票法律与技术框架，推导出电子收集的现实设置，包括信任假设、参与者模型以及并发收集的并行性特征。在此基础上，设计了一个密码学协议，核心创新在于利用多个收集活动同时进行的客观事实，在不假设匿名信道的前提下依然能保障参与者的隐私：即任何人（包括收集组织者）都无法将某一签名与具体收集活动一一对应，从而防止针对参与者的群体指纹攻击。同时，协议支持公开可验证性，允许任何第三方验证签名收集结果是否正确、是否来自真正的公民，且公民可以确保证自己的签名被正确计入。文中给出了协议的详细构造、安全性定义以及基于现实参数的安全分析。实验部分（若有）未在摘要中提及，但理论上证明了协议满足隐私性、完整性及健壮性。该工作为瑞士乃至其他类似民主过程的电子化签名收集提供了首个现实可用的密码学方案，对电子投票、电子请愿等系统的设计与部署具有直接参考价值。