跳至主要內容
合約工具

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.

標籤

  • 驗證
  • 擴展性
  • 第二層 (L2)

儲存庫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 工具包，用於產生和驗證 zkSNARK 證明，以及在 Node.js 和瀏覽器中執行常見的證明工作流程。