Vertrags-Tooling

SP1 (Succinct)

ZK-Schaltkreise & Privatsphäre

Auf GitHub ansehen

Nächstes ansehen

Circom

Über 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

sp11756 (öffnet in einem neuen Tab)

Pakethttps:

/crates.io/crates/sp1-primitives (öffnet in einem neuen Tab)

Info

Typ: ZK-Schaltkreise & Privatsphäre
GitHub-Sterne: 1756
Lizenz: Apache-2.0
Eintrag überprüft: September 2026

Ähnliche Tools

ZK Email

ZK Email bietet Schaltkreise und SDKs, um Fakten über geschwärzte E-Mail-Transkripte Onchain zu beweisen. Nützlich, wenn Sie datenschutzfreundliche Identitäts- oder Belegprüfungen wünschen, ohne Posteingänge offenzulegen.

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 ist ein JavaScript- und CLI-Toolkit zum Generieren und Verifizieren von ZK-SNARK-Beweisen und zum Ausführen gängiger Beweis-Workflows in Node.js und im Browser.