Nástroje pro kontrakty

Halo2

ZK obvody a soukromí

Zaměřeno na soukromí · Škálovatelnost · Vývojářská zkušenost · Verifikace

Přepracovaný fork systému důkazů Halo2 PLONK od Zcash vytvořený PSE, který obsahuje KZG backend s ověřovatelem v Solidity pro ekonomickou verifikaci na vrstvě 1 (l1), podporu více eliptických křivek a oddělenou architekturu frontendu a backendu.

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.