Security

Testnet Repos and Commits

We will soon be open-sourcing all code for the smart contracts and ZK circuits deployed in our testnet release at our Github. The deployment uses the following repos and commits.

RepoTagCommitDescription

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

Last updated