Ruka hadi maudhui makuu
Zana za mkataba

SP1 (Succinct)

Saketi za ZK na faragha

Tazama kwenye GitHub (inafunguka katika kichupo kipya)

Tazama inayofuata

Circom

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

Lebo

  • Uthibitishaji
  • Uwezo wa kukua
  • Tabaka la 2

Hifadhisuccinctlabs

Kifurushihttps:

Maelezo

Aina
Saketi za ZK na faragha
Nyota za GitHub
elfu 1.8
Leseni
Apache-2.0
Orodha imekaguliwa
Septemba 2026

Zana zinazofanana

ZK Email

ZK Email

ZK Email hutoa saketi na SDK kwa kuthibitisha ukweli kuhusu nakala za barua pepe zilizohaririwa mnyororoni. Inafaa unapotaka utambulisho unaohifadhi faragha au ukaguzi wa stakabadhi bila kufichua visanduku pokezi.

arkworks algebra

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

snarkjs ni zana ya JavaScript na CLI ya kuzalisha na kuthibitisha uthibitisho wa ZK-SNARK, na kwa kuendesha mtiririko wa kazi wa kawaida wa kuthibitisha katika Node.js na kivinjari.