Skip to main content
Contract tooling

snark-verifier (Axiom)

ZK circuits & privacy

View on GitHub (opens in a new tab)

See next

Anon Aadhaar

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

Tags

  • Verification
  • Solidity
  • Gas optimization

Repositoryaxiom-crypto

Packagehttps:

Info

Type
ZK circuits & privacy
GitHub stars
106
License
Apache-2.0
Listing reviewed
September 2026

Similar tools

ZK Email

ZK Email

ZK Email provides circuits and SDKs for proving facts about redacted email transcripts onchain. Useful when you want privacy-preserving identity or receipt checks without doxxing inboxes.

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 is a domain-specific language and compiler for writing and compiling arithmetic circuits used in zero-knowledge proof systems.