Contract tooling

Circom-MPC

ZK circuits & privacy

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

Related resources

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.

Railgun

Railgun je protokol pro soukromí pro Ethereum a EVM sítě, který poskytuje stíněné transakce a soukromé interakce v decentralizovaných financích (DeFi) pomocí 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.

Noir

Noir je jazyk inspirovaný Rustem pro psaní obvodů s nulovým vědomím s vývojářsky přívětivou syntaxí a nástroji spravovanými společností Aztec.

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

Aztec

Aztec je rollup Etherea zaměřený na soukromí a vývojářská platforma pro budování aplikací s programovatelným soukromím a důkazy s nulovou znalostí.