合约工具Self ProtocolZK 电路与隐私身份 · 注重隐私 · SDK · 验证网站 （在新标签页中打开）selfxyz/self(1259 ☆) （在新标签页中打开）Self Protocol 提供了开放的身份和证明基元，当构建者需要与钱包或凭证绑定的保护隐私的验证流程时，可以将其嵌入。相关资源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 和浏览器中运行常见的证明工作流。CircomCircom 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。arkworks algebraarkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.Plonky3Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.
