Contract tooling

Halo2

ZK circuits & privacy

Berfokus pada privasi · Skalabilitas · Pengalaman pengembang · Verifikasi

privacy-scaling-explorations/halo2(250 ☆)

Percabangan yang diarsiteki ulang oleh PSE dari sistem bukti Halo2 PLONK Zcash, menampilkan backend KZG dengan pemverifikasi Solidity untuk verifikasi L1 yang ekonomis, dukungan untuk beberapa kurva eliptik, dan arsitektur frontend/backend yang dipisahkan.

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