合约工具CircomZK 电路与隐私编译器 · CLI · 注重隐私网站 (在新标签页中打开)iden3/circom (在新标签页中打开)Circom 是一种领域特定语言和编译器,用于编写和编译零知识证明系统中使用的算术电路。相关资源ZK EmailZK Email 提供电路和 SDK,用于在链上证明关于已编辑电子邮件副本的事实。当你需要保护隐私的身份或收据检查,而又不想暴露收件箱信息时,它非常有用。zkTLS/ TLSNotaryzkTLS / TLSNotary 是一个开放协议,用于通过 MPC 证明 TLS 会话的属性,以便验证者可以在不查看完整明文的情况下信任副本。ZKPassport使用零知识证明的私密身份验证。在不泄露任何个人信息的情况下验证年龄、国家或人格证明。采用移动优先设计,提供用于集成的 SDK 和链上注册表合约。Self ProtocolSelf Protocol 提供了开放的身份和证明基元,当构建者需要与钱包或凭证绑定的保护隐私的验证流程时,可以将其嵌入。snarkjssnarkjs 是一个 JavaScript 和 CLI 工具包,用于生成和验证 zk-SNARK 证明,以及在 Node.js 和浏览器中运行常见的证明工作流。NoirNoir 是一种受 Rust 启发、用于编写零知识电路的语言,具有对开发者友好的语法和由 Aztec 维护的工具。