ZoKrates

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