Security
All smart contracts and ZK circuits deployed in the production release are open-source and available at our Github. The deployment uses the following repos and commits.
Repo | Release | Commit | Description |
|---|---|---|---|
ZK circuit library for basic gadgets and elliptic curve arithmetic | |||
ZK circuits for recursive aggregation of halo2-KZG SNARKs | |||
ZK circuits for reading from Ethereum data structures and Axiom queries | |||
AxiomV1 and AxiomV1Query smart contracts |
The ZK circuits and smart contracts above were audited by Trail of Bits and Zellic before deployment.
Please report any vulnerabilities or bugs to the following email: [email protected]
An acknowledgement of receipt will be given within 1 business day.