合约工具已归档CROPS 原生MACIZK 电路与隐私访问网站 (在新标签页中打开)X 上的 MACI (在新标签页中打开)GitHub 上的 MACI (在新标签页中打开)查看下一个rsp (Succinct)关于 MACIMACI(最小抗共谋基础设施)使用零知识证明在以太坊上实现抗共谋的私密投票和信号系统。标签注重隐私治理可扩展性代码库privacy-scaling-explorationsmaci596 (在新标签页中打开)信息类型ZK 电路与隐私GitHub 星标数596许可证MIT收录审核时间2026年9月类似工具ZK EmailZK Email 提供电路和 SDK,用于在链上证明关于已编辑电子邮件副本的事实。当你需要保护隐私的身份或收据检查,而又不想暴露收件箱信息时,它非常有用。SP1 (Succinct)SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.CircomCircom 是一种领域特定语言和编译器,用于编写和编译零知识证明系统中使用的算术电路。