Contract tooling

Verifiable UBT

ZK circuits & privacy

Inayozingatia faragha · Uthibitishaji

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

Inazalisha uthibitisho wa zkVM unaojirudia unaothibitisha kuwa masasisho ya hali ya Unified Binary Trie (UBT) na Trie ya Merkle Patricia yanalingana kwa kila kitalu cha Ethereum. Inawezesha uthibitishaji wa hali bila hitaji la uaminifu kwa wateja wepesi na urejeshaji wa taarifa za faragha.

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.