Outils de contrat

SP1 (Succinct)

Circuits ZK et confidentialité

Voir sur GitHub

Voir le suivant

Circom

À propos de 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.

Dépôtsuccinctlabs

sp11,8 k (s'ouvre dans un nouvel onglet)

Paquethttps:

/crates.io/crates/sp1-primitives (s'ouvre dans un nouvel onglet)

Informations

Type: Circuits ZK et confidentialité
Étoiles GitHub: 1,8 k
Licence: Apache-2.0
Fiche révisée: septembre 2026

Outils similaires

ZK Email

ZK Email fournit des circuits et des SDK pour prouver des faits sur des transcriptions d'e-mails expurgées onchain. Utile lorsque vous souhaitez des vérifications d'identité ou de reçus préservant la confidentialité sans divulguer le contenu des boîtes de réception.

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 est une boîte à outils JavaScript et CLI pour générer et vérifier des preuves zk-SNARK, et pour exécuter des flux de travail de preuve courants dans Node.js et le navigateur.