Proof boundaries in a minimal homomorphic tally for token weighted voting

AI 摘要

一句话摘要: Commitra实现隐私保护代币加权投票，明确区分了证明约束与信任边界。 关键事实: Commitra使用Groth16电路和BabyJubJub ElGamal加密在Sepolia测试网运行，投票证明约束了叶子根、密钥派生和明文范围，但未约束EOA所有权和权重快照来源，协调者持有私钥可解密单个选票，批次固定为100。 涉及主体: Commitra, 0xgumi, MACI v3.0.0, Vocdoni DAVINCI, Ethereum Sepolia 可能影响: 为同态计票系统提供了可审计的证明边界参考，推动行业明确区分密码学强制与信任假设，可能影响未来治理协议的安全审计标准。 是否值得继续跟踪: 是，该项目提供了最小实现与证明范围映射，对隐私投票协议设计有参考价值，且代码已公开可验证。 噪音/炒作风险: 低，文章基于实际代码和测试网运行记录，非概念炒作，且经过三轮独立代码审查。