Nástroje pro kontrakty

Perpetual Powers of Tau

ZK obvody a soukromí

Zaměřeno na soukromí · Bezpečnost · Řízeno komunitou

Webové stránky privacy-scaling-explorations/perpetualpowersoftau

Probíhající (od roku 2019) ceremonie důvěryhodného nastavení zk-SNARK pro obvody s až 2^28 omezeními, generující více než 530 milionů mocnin tau. Vícestranná ceremonie, kde bezpečnost platí, dokud je alespoň jeden účastník čestný.

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.