Contract tooling

zkTLS/ TLSNotary

ZK circuits & privacy

Berfokus pada privasi · Verifikasi

zkTLS / TLSNotary adalah protokol terbuka untuk membuktikan properti sesi TLS dengan MPC sehingga pemverifikasi dapat mempercayai transkrip tanpa melihat teks biasa secara penuh.

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