合约工具CircomZK 电路与隐私访问网站 （在新标签页中打开）GitHub 上的 Circom （在新标签页中打开）查看下一个arkworks algebra关于 CircomCircom 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。标签编译器CLI注重隐私代码库iden3circom1701 （在新标签页中打开）信息类型ZK 电路与隐私GitHub 星标数1701许可证GPL-3.0收录审核时间2026年7月类似工具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.snarkjssnarkjs 是一个 JavaScript 和 CLI 工具包，用于生成和验证 zk-SNARK 证明，以及在 Node.js 和浏览器中运行常见的证明工作流。
