Security
Last updated
Last updated
We will soon be open-sourcing all code for the smart contracts and ZK circuits deployed in our testnet release at our . The deployment uses the following repos and commits.
ZK circuit library for basic gadgets and elliptic curve arithmetic
ZK circuits for recursive aggregation of halo2-KZG SNARKs
axiom-eth
Coming soon
Coming soon
ZK circuits for reading from Ethereum data structures and proving Axiom queries
Smart contracts for AxiomV2Core
and AxiomV2Query