Narzędzia do kontraktów

SP1 (Succinct)

Obwody ZK i prywatność

Zobacz na GitHubie

Zobacz następne

Circom

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

Tagi

Weryfikacja
Skalowalność
Warstwa 2

Repozytoriumsuccinctlabs

sp11,8 tys. (otwiera się w nowej karcie)

Pakiethttps:

/crates.io/crates/sp1-primitives (otwiera się w nowej karcie)

Informacje

Typ: Obwody ZK i prywatność
Gwiazdki na GitHubie: 1,8 tys.
Licencja: Apache-2.0
Przegląd wpisu: wrzesień 2026

Podobne narzędzia

ZK Email

ZK Email dostarcza obwody i SDK do dowodzenia faktów na temat zredagowanych transkryptów e-mail onchain. Przydatne, gdy chcesz zachować prywatność tożsamości lub sprawdzić pokwitowania bez ujawniania (doxxingu) skrzynek odbiorczych.

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 to zestaw narzędzi JavaScript i CLI do generowania i weryfikacji dowodów zkSNARK oraz do uruchamiania typowych przepływów pracy dowodzenia w Node.js i przeglądarce.