合约工具MoproZK 电路与隐私注重隐私 · SDK网站 （在新标签页中打开）社交 （在新标签页中打开）zkmopro/mopro(243 ☆) （在新标签页中打开）一个使移动端客户端零知识证明变得简单的工具包。连接 ZK 证明系统（Halo2、Circom）以生成 iOS、Android 和浏览器绑定，利用移动 GPU 提高性能。相关资源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.
