Contract tooling

Halo2

ZK circuits & privacy

Inayozingatia faragha · Uwezo wa kukua · Uzoefu wa msanidi programu · Uthibitishaji

privacy-scaling-explorations/halo2(250 ☆)

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.

Related resources

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.

Railgun

Railgun ni itifaki ya faragha kwa mitandao ya Ethereum na EVM inayotoa miamala iliyolindwa na mwingiliano wa faragha wa fedha zilizogatuliwa (DeFi) na uthibitisho wa maarifa-sifuri.

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.

Noir

Noir ni lugha iliyohamasishwa na Rust kwa kuandika saketi za sifuri-maarifa yenye sintaksia rafiki kwa msanidi programu na zana zinazodumishwa na Aztec.

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.

Aztec

Aztec ni rollup ya Ethereum inayotanguliza faragha na jukwaa la msanidi programu kwa ajili ya kujenga programu zenye faragha inayoweza kupangwa na uthibitisho wa maarifa-sifuri.