Lompat ke konten utama
Peralatan kontrak

snark-verifier (Axiom)

Sirkuit ZK & privasi

Lihat di GitHub (buka di tab baru)

Lihat selanjutnya

Anon Aadhaar

Tentang snark-verifier (Axiom)

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.

Tag

  • Verifikasi
  • Solidity
  • Pengoptimalan gas

Repositoriaxiom-crypto

Pakethttps:

Info

Tipe
Sirkuit ZK & privasi
Bintang GitHub
106
Lisensi
Apache-2.0
Pencantuman ditinjau
September 2026

Alat serupa

ZK Email

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.

SP1 (Succinct)

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

Circom

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