Nástroje pro kontrakty

ZK-Kit

ZK obvody a soukromí

Zaměřeno na soukromí · SDK · Merkleovy stromy · Šifrování

Webové stránky privacy-scaling-explorations/zk-kit

Monorepo znovupoužitelných knihoven s nulovým vědomím napříč více jazyky (JavaScript, Solidity, Rust, Noir), které nabízí dobře otestované implementace kryptografických primitiv, jako jsou Merkleovy stromy, hash Poseidon a další.

Související zdroje

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.

zkTLS/ TLSNotary

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.

ZKPassport

Soukromé ověřování identity pomocí důkazů s nulovou znalostí. Ověřte věk, zemi nebo důkaz o lidskosti (proof of personhood) bez odhalení jakýchkoli osobních údajů. Design zaměřený na mobilní zařízení se SDK pro integraci a onchain kontrakty registrů.

Self Protocol

Self Protocol poskytuje otevřená primitiva pro identitu a důkazy, která mohou tvůrci vložit, když potřebují ověřovací toky zachovávající soukromí vázané na peněženky nebo pověření.

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

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.