ZoKrates

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 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 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 ni lugha iliyohamasishwa na Rust kwa kuandika saketi za sifuri-maarifa yenye sintaksia rafiki kwa msanidi programu na zana zinazodumishwa na Aztec.

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