Peralatan kontrak

Circom-MPC

Sirkuit ZK & privasi

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.

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.

Circom

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

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.