# SNARK Verifier
Generic (S)NARK verifier.
## Status
As of June 2023, `snark-verifier` v0.1.1 and later are recommended for production use. It completed external audits conducted by [Trail of Bits](https://www.trailofbits.com/) (available [here](https://github.com/trailofbits/publications/blob/948e6e08db485b22bba2d53a48bb6a7d0f8d694b/reviews/2023-06-axiom-halo2libraries-securityreview.pdf) and [here](https://github.com/trailofbits/publications/blob/948e6e08db485b22bba2d53a48bb6a7d0f8d694b/reviews/2023-10-axiom-halo2libraryupgrades-securityreview.pdf)).
## Security
See [SECURITY.md](https://github.com/axiom-crypto/snark-verifier/blob/main/SECURITY.md).