Contract tooling

POD2

ZK circuits & privacy

Zaměřeno na soukromí · SDK · Identity

Druhá generace kryptografických prokazatelných objektových datových typů (Provable Object Datatypes - PODs). Umožňuje flexibilní výpočty napříč daty prostřednictvím vlastních predikátů a rekurzivních operací. Vyvinuto společností 0xPARC ve spolupráci s PSE.

Related resources

ZK Email

ZK Email poskytuje obvody a SDK pro dokazování faktů o redigovaných e-mailových přepisech onchain. Užitečné, když chcete ověřování identity nebo stvrzenek se zachováním soukromí bez odhalování doručené pošty.

Railgun

Railgun je protokol pro soukromí pro Ethereum a EVM sítě, který poskytuje stíněné transakce a soukromé interakce v decentralizovaných financích (DeFi) pomocí důkazů s nulovou znalostí.

snarkjs

snarkjs je sada nástrojů v JavaScriptu a CLI pro generování a ověřování důkazů ZK-SNARK a pro spouštění běžných pracovních postupů dokazování v Node.js a v prohlížeči.

Noir

Noir je jazyk inspirovaný Rustem pro psaní obvodů s nulovým vědomím s vývojářsky přívětivou syntaxí a nástroji spravovanými společností Aztec.

Circom

Circom je doménově specifický jazyk a kompilátor pro psaní a kompilaci aritmetických obvodů používaných v systémech důkazů s nulovou znalostí.

Aztec

Aztec je rollup Etherea zaměřený na soukromí a vývojářská platforma pro budování aplikací s programovatelným soukromím a důkazy s nulovou znalostí.