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