Ferramentas de contrato

snark-verifier (Axiom)

Circuitos ZK e privacidade

Ver no GitHub

Ver próximo

Anon Aadhaar

Sobre 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.

Repositórioaxiom-crypto

snark-verifier106 (abre em uma nova aba)

Pacotehttps:

/crates.io/crates/snark-verifier (abre em uma nova aba)

Informações

Tipo: Circuitos ZK e privacidade
Estrelas no GitHub: 106
Licença: Apache-2.0
Listagem revisada: setembro de 2026

Ferramentas semelhantes

ZK Email

O ZK Email fornece circuitos e SDKs para provar fatos sobre transcrições de e-mail redigidas onchain. Útil quando você deseja verificações de identidade ou recibo que preservem a privacidade sem expor caixas de entrada.

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

O Circom é uma linguagem de domínio específico e compilador para escrever e compilar circuitos aritméticos usados em sistemas de prova de conhecimento zero.