Halo2

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

Railgun 是以太坊和 EVM 网络的一个隐私协议，它通过零知识证明提供屏蔽交易和私密的 DeFi 交互。

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

Noir 是一种受 Rust 启发、用于编写零知识电路的语言，具有对开发者友好的语法和由 Aztec 维护的工具。

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

Aztec 是一个隐私优先的以太坊 Rollup 和开发者平台，用于构建具有可编程隐私和零知识证明的应用。