Contract tooling

Verifiable UBT

ZK circuits & privacy

Berfokus pada privasi · Verifikasi

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

Menghasilkan bukti zkVM rekursif yang memverifikasi bahwa pembaruan state Unified Binary Trie (UBT) dan Trie Merkle Patricia cocok per blok Ethereum. Memungkinkan verifikasi state tanpa kepercayaan untuk klien ringan dan pengambilan informasi pribadi.

Related resources

ZK Email

ZK Email menyediakan sirkuit dan SDK untuk membuktikan fakta tentang transkrip email yang disunting secara onchain. Berguna saat Anda menginginkan identitas yang menjaga privasi atau pemeriksaan tanda terima tanpa mengekspos kotak masuk.

Railgun

Railgun adalah protokol privasi untuk jaringan Ethereum dan EVM yang menyediakan transaksi terlindung dan interaksi DeFi privat dengan bukti tanpa pengetahuan.

snarkjs

snarkjs adalah toolkit JavaScript dan CLI untuk menghasilkan dan memverifikasi bukti ZK-SNARK, dan untuk menjalankan alur kerja pembuktian umum di Node.js dan peramban.

Noir

Noir adalah bahasa yang terinspirasi Rust untuk menulis sirkuit zero-knowledge dengan sintaks yang ramah pengembang dan perkakas yang dikelola oleh Aztec.

Circom

Circom adalah bahasa khusus domain dan kompiler untuk menulis dan mengkompilasi sirkuit aritmatika yang digunakan dalam sistem bukti tanpa pengetahuan (ZKP).

Aztec

Aztec adalah rollup Ethereum yang mengutamakan privasi dan platform pengembang untuk membangun aplikasi dengan privasi yang dapat diprogram dan bukti tanpa pengetahuan (ZKP).