Contract tooling

Circom-MPC

ZK circuits & privacy

Berfokus pada privasi · Enkripsi

Proyek penelitian PSE yang memungkinkan penggunaan bahasa Circom untuk mengembangkan aplikasi MPC. Sirkuit MPC aritmatika dan boolean yang dikompilasi menggunakan Circom dengan integrasi backend MP-SPDZ untuk aplikasi pembelajaran mesin.

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