Nástroje pro kontrakty

SP1 (Succinct)

ZK obvody a soukromí

Zobrazit na GitHubu

Zobrazit další

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.

Štítky

Verifikace
Škálovatelnost
Vrstva 2

Repozitářsuccinctlabs

sp11,8 tis. (otevře se v nové záložce)

Balíčekhttps:

/crates.io/crates/sp1-primitives (otevře se v nové záložce)

Informace

Typ: ZK obvody a soukromí
Hvězdičky na GitHubu: 1,8 tis.
Licence: Apache-2.0
Záznam zkontrolován: září 2026

Podobné nástroje

ZK Email

ZK Email poskytuje obvody a SDK pro dokazování faktů o redigovaných e-mailových přepisech onchain. Užitečné, když chcete ověřování identity nebo stvrzenek se zachováním soukromí bez odhalování doručené pošty.

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 je sada nástrojů v JavaScriptu a CLI pro generování a ověřování důkazů ZK-SNARK a pro spouštění běžných pracovních postupů dokazování v Node.js a v prohlížeči.