Security
Axiom V2 Mainnet Repos and Commits
All code for the smart contracts and ZK circuits deployed in the Axiom V2 mainnet release are open-sourced at our Github. The deployment uses the following repos and commits.
| Repo | Tag | Commit | Description |
|---|---|---|---|
| halo2-lib | v0.4.1 | 4dc5c48 | ZK circuit library for basic gadgets and elliptic curve arithmetic |
| snark-verifier | v0.1.7 | 7cbe809 | ZK circuits for recursive aggregation of halo2-KZG SNARKs |
| axiom-eth | v2.0.14 | d607950 | ZK circuits for reading from Ethereum data structures and proving Axiom queries |
| axiom-v2-contracts | v1.0.0 | 5514752 | Smart contracts for AxiomV2Core and AxiomV2Query |
External Security Audits
Our smart contracts were audited by Spearbit, and our ZK circuits were audited by Spearbit, Zellic, and Trail of Bits. The audit reports are available below.
| Repo | Auditors | Reports |
|---|---|---|
| halo2-lib | Spearbit, Trail of Bits | Spearbit Report, Trail of Bits Report to be posted |
| snark-verifier | Trail of Bits | Trail of Bits Report to be posted |
| axiom-eth | Spearbit, Zellic | Spearbit Report, Zellic Report 1, Zellic Report 2 |
| axiom-v2-contracts | Spearbit | Spearbit Report 1, Spearbit Report 2, Spearbit Report 3 |