Security

Deployed Repos and Commits

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
halo2-lib	v0.3.0	4060f2a	ZK circuit library for basic gadgets and elliptic curve arithmetic
snark-verifier	v0.1.1	43e95ce	ZK circuits for recursive aggregation of halo2-KZG SNARKs
axiom-eth	v0.2.0	e032a24	ZK circuits for reading from Ethereum data structures and Axiom queries
axiom-v1-contracts	v1.0.0	badcc00	AxiomV1 and AxiomV1Query smart contracts

Audits

The ZK circuits and smart contracts above were audited by Trail of Bits and Zellic before deployment.

Bug Bounty

We offer a bug bounty program through ImmuneFi.

Secure Disclosure

Please report any vulnerabilities or bugs to the following email: [e-mail]

An acknowledgement of receipt will be given within 1 business day.