Peralatan kontrak

Verifiable UBT

Sirkuit ZK & privasi

Berfokus pada privasi · Verifikasi

Menghasilkan bukti zkVM rekursif yang memverifikasi bahwa pembaruan state Unified Binary Trie (UBT) dan Trie Merkle Patricia cocok per blok Ethereum. Memungkinkan verifikasi state tanpa kepercayaan untuk klien ringan dan pengambilan informasi pribadi.

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.