本文提出并实现了一个面向医院伦理委员会（Hospital Ethics Committee）投票场景的轻量级以太坊原型系统，技术栈为 Solidity 智能合约、Hardhat 开发与测试框架、React 前端、MetaMask 钱包与 ethers.js 交互库。研究的核心问题是：能否用一条低成本、可审计的链上投票流程，替代或补充医院伦理委员会在病例审查、研究方案批准等场景中传统的纸质或中心化电子表决方式，同时让外部监管方或公众能够独立验证投票结果的完整性。 在功能设计上，原型包含四类关键机制：（1）基于角色的访问控制（role controls），区分管理员、委员会成员等身份；（2）案件状态检查（case-state checks），确保投票只能发生在案件处于允许表决的状态下；（3）重复投票控制（duplicate vote controls），防止同一身份对同一案件多次计票；（4）投票回执哈希（receipt hash），允许投票者对交易是否被区块包含进行验证，从而支持公开审计与交易包含性验证（transaction inclusion verification）。 作者明确指出该设计的隐私边界：由于投票事件（vote events）会在链上暴露钱包地址与投票值，系统提供的是伪匿名可审计性（pseudonymous auditability），而非匿名投票或秘密表决；回执也不具备无回执性（receipt-free）与抗胁迫性（coercion-resistant），因此不适用于对隐私或抗胁迫有硬性要求的选举场景。 评估部分报告了两类结果：一是 22 个通过的功能测试，二是本地 Hardhat 环境下的 Gas 消耗测量，其中单次投票约消耗 284,137 gas，用于说明轻量级部署的成本可行性。此外，作者做了一个 12 名参与者参与的模拟实验，但强调该实验使用了假设概率（assumed probabilities），不构成人体受试者证据（human-subject evidence），因此其结论的实证强度有限。 论文最后列出了残余风险与未验证路径：同一人使用多个钱包、管理员或前端被攻陷、凭证重新分配、交易抢跑（front-running）、拒绝服务，以及尚未进行对抗性测试的攻击面。作者认为，若要用于机密性要求更高的部署，需要配套的受治理身份注册、加密选票、独立第三方审计、对抗性测试、可复现的基准测试以及真实的用户研究。整体而言，这是一篇偏工程实现与可行性论证的论文，贡献在于把区块链投票的关键控制点、成本数据与风险清单打包成一个可复用的伦理委员会表决原型，同时诚实地划定了其安全与隐私边界。适合对医疗治理数字化、区块链工程实践与审计友好型系统设计感兴趣的读者。

差分隐私通过向输出注入随机噪声来保护个人数据隐私，但在选举等场景中，噪声可能导致错误结果，尤其是当胜负差距很小时。本文系统研究了在中央差分隐私和本地差分隐私模型下，多种常见投票规则（包括 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治理安全设计具有重要理论指导意义。