Peralatan kontrak

SP1 (Succinct)

Sirkuit ZK & privasi

Lihat di GitHub

Lihat selanjutnya

Circom

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

Repositorisuccinctlabs

sp11,8 rb (buka di tab baru)

Pakethttps:

/crates.io/crates/sp1-primitives (buka di tab baru)

Info

Tipe: Sirkuit ZK & privasi
Bintang GitHub: 1,8 rb
Lisensi: Apache-2.0
Pencantuman ditinjau: September 2026

Alat serupa

ZK Email

ZK Email menyediakan sirkuit dan SDK untuk membuktikan fakta tentang transkrip email yang disunting secara onchain. Berguna saat Anda menginginkan identitas yang menjaga privasi atau pemeriksaan tanda terima tanpa mengekspos kotak masuk.

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 adalah toolkit JavaScript dan CLI untuk menghasilkan dan memverifikasi bukti ZK-SNARK, dan untuk menjalankan alur kerja pembuktian umum di Node.js dan peramban.