Nástroje pro kontrakty

snark-verifier (Axiom)

ZK obvody a soukromí

Verifikace · Solidity · Optimalizace plynu

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

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.

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

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.

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.

Semaphore

Semaphore je protokol s nulovým vědomím pro soukromé důkazy o členství ve skupině, umožňující anonymní signalizaci a autentizaci bez odhalení identity.