合约工具ZKPassportZK 电路与隐私身份 · 注重隐私 · SDK · 验证网站 （在新标签页中打开）zkpassport/zkpassport-packages(40 ☆) （在新标签页中打开）@zkpassport/sdk(3755) （在新标签页中打开）使用零知识证明的私密身份验证。在不泄露任何个人信息的情况下验证年龄、国家或人格证明。采用移动优先设计，提供用于集成的 SDK 和链上注册表合约。相关资源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.
