Halo2

ZK Email 提供电路和 SDK，用于在链上证明关于已编辑电子邮件副本的事实。当你需要保护隐私的身份或收据检查，而又不想暴露收件箱信息时，它非常有用。

zkTLS / TLSNotary 是一个开放协议，用于通过 MPC 证明 TLS 会话的属性，以便验证者可以在不查看完整明文的情况下信任副本。

使用零知识证明的私密身份验证。在不泄露任何个人信息的情况下验证年龄、国家或人格证明。采用移动优先设计，提供用于集成的 SDK 和链上注册表合约。

Self Protocol 提供了开放的身份和证明基元，当构建者需要与钱包或凭证绑定的保护隐私的验证流程时，可以将其嵌入。

Circom 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。

snarkjs 是一个 JavaScript 和 CLI 工具包，用于生成和验证 zk-SNARK 证明，以及在 Node.js 和浏览器中运行常见的证明工作流。