差分隐私通过向输出注入随机噪声来保护个人数据隐私，但在选举等场景中，噪声可能导致错误结果，尤其是当胜负差距很小时。本文系统研究了在中央差分隐私和本地差分隐私模型下，多种常见投票规则（包括 Plurality、Condorcet、Maximin、Plurality with Runoff 和单记名可转让票 STV）保证私有机制以高概率返回正确获胜者所需的最小获胜优势（称为 decisive margin）。针对每种规则，作者设计了发布获胜者的差分隐私算法，并证明了这些算法所需的边界上界；同时，通过构造反例或信息论论证，证明了下界，说明非平凡的获胜优势是必要的，其中许多上界与下界在对数因子内匹配。特别地，对于 STV 规则，信息论上界与下界完全匹配，但作者进一步证明，这样的最优精确度保证在多项式时间内无法实现，除非假设 NP ⊆ BPP，这构成了一个罕见的计算复杂性现象：原本易于计算的任务，在同时要求差分隐私和效用保证后变得计算上不可行。本文的主要贡献在于系统地刻画了差分隐私投票中隐私与效用之间的基本权衡，揭示了不同投票规则的固有精度限制，并指出了计算复杂度与隐私约束之间的相互作用。该结果对设计隐私保护的选举系统、排名聚合或数据发布机制具有理论指导意义，帮助研究者理解隐私预算、噪声规模和输出精度之间的取舍。

该论文关注电子投票系统的可验证性问题。传统上，可验证性依赖于复杂的密码学协议，选民难以自行验证。作者提出了一种基于简单表格的可验证投票方案，选民只需进行基本的检查步骤（如匹配数字、核对表格）即可验证投票的正确性，几乎无需密码学知识。论文详细描述了表格生成、投票、计票和验证的流程，并通过形式化方法证明了方案满足可验证性要求。实验表明，该方法在保持安全性的同时显著降低了选民理解门槛，适合在资源受限或低技术环境的选举中应用。

该论文提出了QV-net，一种去中心化的自计票二次投票协议，旨在解决现有基于区块链的二次投票（QV）系统中投票隐私缺失的问题。在当前的DAO（去中心化自治组织）投票实践中，QV被广泛用于缓解大额代币持有者的主导作用，但选票以明文形式公开并附带数字签名，严重侵犯了投票者的隐私，可能影响诚实参与。先前的研究虽然使用同态加密等密码学技术对QV选票进行加密，但这些方案均依赖中心化的计票权威机构，不适用于无需可信第三方的DAO场景。QV-net基于自计票（self-tallying）设计，允许所有节点在无需任何可信方的情况下共同完成计票，同时实现最大选票保密性（maximal ballot secrecy），即除了最终的计票结果外，不泄露任何单个选票的详细信息。协议采用分布式密钥生成和零知识证明来确保选票的合法性和完整性，并防止双花或虚假投票。实验分析表明，该方案在计算和通信开销方面具有可行性，能够支持中等规模的DAO选举。该论文的主要贡献包括：首次将自计票概念引入二次投票，提出了一种完全去中心化且保护隐私的QV方案；形式化定义了最大选票保密性的安全模型；通过原型实现验证了协议的效率。适合阅读人群：区块链安全研究者、密码学协议设计者、DAO治理参与者。

该论文研究了去中心化自治组织（DAO）中反富豪投票机制的有效性问题。在典型的DAO治理中，投票权与代币持有量成正比，这导致少数大户集中控制权，从而引发基于代币控制的治理攻击。社区因此转向反富豪投票机制，如二次投票（QV），旨在通过赋予每个代币次线性投票权来削弱大户的影响力。然而，论文通过建立包含区块链现实摩擦（如按钱包拆分和投票成本、固定设置成本、最小余额要求）的链上投票成本模型，证明在无许可区块链上，任何仅从钱包余额派生投票权的规则都无法成功防止Sybil攻击。具体地，论文证明：无论采用何种成本方案，只要任意大小的钱包具有非零投票权，Sybil攻击者通过将代币拆分到多个钱包即可实现至少与代币持有量成正比的投票权增长。对于实际提出的用于抑制治理权力的凹函数规则（单调递增、有限且正值），最优策略下的投票权在代币持有量上渐近线性。将模型应用于真实DAO（ENS、Compound、Uniswap、Arbitrum、ZKsync）的数据，发现攻击成本远低于风险资产价值。作者重放了这五个DAO最近十个最终提案的投票过程，在线性、二次、对数和幂（β=0.25）投票规则下，测得二次投票的Sybil放大因子在1172倍至4039倍之间，而在更陡峭的幂规则下超过229000倍。因此，论文从根本上质疑了当前主流反富豪机制的有效性，对DAO治理安全设计具有重要理论指导意义。