Halo2

Saketi za ZK na faragha

Tazama kwenye GitHub

Tazama inayofuata

p0tion

Kuhusu Halo2

Mchepuo uliojengwa upya wa PSE wa mfumo wa uthibitisho wa Halo2 PLONK wa Zcash, unaojumuisha mazingira ya nyuma ya KZG yenye mhakiki wa Solidity kwa uthibitishaji wa kiuchumi wa tabaka la 1 (l1), usaidizi wa mikunjo mingi ya duaradufu, na usanifu uliotenganishwa wa mazingira ya mbele/nyuma.

Lebo

Inayozingatia faragha
Uwezo wa kukua
Uzoefu wa msanidi programu
Uthibitishaji

Hifadhiprivacy-scaling-explorations

halo2250 (inafunguka katika kichupo kipya)

Maelezo

Aina: Saketi za ZK na faragha
Nyota za GitHub: 250
Orodha imekaguliwa: Julai 2026

Zana zinazofanana

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.

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.

Circom

Circom ni lugha maalum ya kikoa na kikusanyaji kwa ajili ya kuandika na kukusanya saketi za hesabu zinazotumika katika mifumo ya uthibitisho wa maarifa-sifuri.