Strumenti per contratti

SP1 (Succinct)

Circuiti ZK e privacy

Visualizza su GitHub

Vedi il prossimo

Circom

Informazioni su 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.

Repositorysuccinctlabs

sp11,8K (si apre in una nuova scheda)

Pacchettohttps:

/crates.io/crates/sp1-primitives (si apre in una nuova scheda)

Info

Tipo: Circuiti ZK e privacy
Stelle su GitHub: 1,8K
Licenza: Apache-2.0
Scheda revisionata: settembre 2026

Strumenti simili

ZK Email

ZK Email fornisce circuiti e SDK per provare fatti su trascrizioni di e-mail oscurate onchain. Utile quando desideri controlli dell'identità o delle ricevute che preservino la privacy senza rivelare le caselle di posta.

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 è un toolkit JavaScript e CLI per generare e verificare prove ZK-SNARK e per eseguire flussi di lavoro di prova comuni in Node.js e nel browser.