snark-verifier
| Crates.io | snark-verifier |
| lib.rs | snark-verifier |
| version | 0.2.3 |
| created_at | 2023-12-04 15:40:39.227435+00 |
| updated_at | 2025-08-06 15:17:40.262392+00 |
| description | Generic (S)NARK verifier for Rust, halo2, and EVM. This is a fork of PSE's version. |
| homepage | |
| repository | https://github.com/axiom-crypto/snark-verifier |
| max_upload_size | |
| id | 1057746 |
| size | 445,847 |
Jonathan Wang (jonathanpwang)
documentation
README
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 (available here and here).
Security
See SECURITY.md.