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.
Our smart contracts were audited by Spearbit, and our ZK circuits were audited by Spearbit, Zellic, and Trail of Bits.
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 |