Peralatan kontrak

Circom

Sirkuit ZK & privasi

Kompilator · CLI · Berfokus pada privasi

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

Sumber daya terkait

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.

zkTLS/ TLSNotary

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

ZKPassport

Verifikasi identitas pribadi menggunakan Bukti tanpa pengetahuan. Verifikasi usia, negara, atau bukti kepribadian tanpa mengungkapkan informasi pribadi apa pun. Desain yang mengutamakan seluler dengan SDK untuk integrasi dan kontrak registri onchain.

Self Protocol

Self Protocol menyediakan identitas terbuka dan primitif bukti yang dapat disematkan oleh pembangun saat mereka membutuhkan alur verifikasi yang menjaga privasi yang terkait dengan dompet atau kredensial.

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.