跳转到主要内容
合约工具

SP1 (Succinct)

ZK 电路与隐私

在 GitHub 上查看 （在新标签页中打开）

查看下一个

Circom

关于 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.

标签

  • 验证
  • 可扩展性
  • 二层网络

代码库succinctlabs

包https:

信息

类型
ZK 电路与隐私
GitHub 星标数
1756
许可证
Apache-2.0
收录审核时间
2026年9月

类似工具

ZK Email

ZK Email

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

arkworks algebra

arkworks algebra

arkworks 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.

snarkjs

snarkjs

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