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 Githubarrow-up-right. The deployment uses the following repos and commits.

Repo
Tag
Commit
Description

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

Last updated