Contract tooling

zkTLS/ TLSNotary

ZK circuits & privacy

Zaměřeno na soukromí · Verifikace

zkTLS / TLSNotary je otevřený protokol pro dokazování vlastností relací TLS pomocí MPC, takže ověřovatelé mohou důvěřovat přepisům, aniž by viděli celý prostý text.

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