Nástroje pro kontrakty

Circom-MPC

ZK obvody a soukromí

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

Výzkumný projekt PSE umožňující použití jazyka Circom k vývoji MPC aplikací. Zkompilované aritmetické a booleovské MPC obvody pomocí Circomu s integrací backendu MP-SPDZ pro aplikace strojového učení.

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.