Sözleşme araçları

snark-verifier (Axiom)

ZK devreleri ve gizlilik

GitHub'da görüntüle

Sonrakini gör

Anon Aadhaar

snark-verifier (Axiom) Hakkında

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.

Etiketler

Doğrulama
Solidity
Gaz optimizasyonu

Depoaxiom-crypto

snark-verifier106 (yeni sekmede açılır)

Pakethttps:

/crates.io/crates/snark-verifier (yeni sekmede açılır)

Bilgi

Tür: ZK devreleri ve gizlilik
GitHub yıldızları: 106
Lisans: Apache-2.0
Listeleme incelendi: Eylül 2026

Benzer araçlar

ZK Email

ZK Email, sansürlenmiş e-posta dökümleri hakkındaki gerçekleri zincir içi kanıtlamak için devreler ve SDK'lar sağlar. Gelen kutularını ifşa etmeden gizliliği koruyan kimlik veya makbuz kontrolleri istediğinizde kullanışlıdır.

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, sıfır bilgi ispatı sistemlerinde kullanılan aritmetik devreleri yazmak ve derlemek için alana özgü bir dil ve derleyicidir.