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.

Repo	Tag	Commit	Description
halo2-lib	v0.4.1-goerli-beta	a30e3b1	ZK circuit library for basic gadgets and elliptic curve arithmetic
snark-verifier	v0.1.7-goerli-beta	a9310f6	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
axiom-v2-contracts	v0.9-beta	52245e9	Smart contracts for AxiomV2Core and AxiomV2Query