Peralatan kontrak

snark-verifier (Axiom)

Sirkuit ZK & privasi

Verifikasi · Solidity · Pengoptimalan gas

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

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.

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.

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.

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.

Semaphore

Semaphore adalah protokol zero-knowledge untuk bukti keanggotaan grup privat, memungkinkan pensinyalan dan autentikasi anonim tanpa mengungkapkan identitas.