# 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](https://github.com/axiom-crypto/). The deployment uses the following repos and commits.

<table><thead><tr><th width="205.66666666666666">Repo</th><th width="152">Tag</th><th width="146">Commit</th><th>Description</th></tr></thead><tbody><tr><td><a href="https://github.com/axiom-crypto/halo2-lib/tree/main"><strong>halo2-lib</strong></a></td><td><a href="https://github.com/axiom-crypto/halo2-lib/releases/tag/v0.4.1-goerli-beta"><code>v0.4.1-goerli-beta</code></a></td><td><a href="https://github.com/axiom-crypto/halo2-lib/commit/a30e3b18d285c8b0d7145c1c34297edd9433df60"><code>a30e3b1</code></a></td><td>ZK circuit library for basic gadgets and elliptic curve arithmetic</td></tr><tr><td><a href="https://github.com/axiom-crypto/snark-verifier/tree/main"><strong>snark-verifier</strong></a></td><td><a href="https://github.com/axiom-crypto/snark-verifier/releases/tag/v0.1.7-goerli-beta"><code>v0.1.7-goerli-beta</code></a></td><td><a href="https://github.com/axiom-crypto/snark-verifier/commit/a9310f62c36e891f2a741777ca56681103e6e702"><code>a9310f6</code></a></td><td>ZK circuits for recursive aggregation of halo2-KZG SNARKs</td></tr><tr><td><strong>axiom-eth</strong></td><td>Coming soon</td><td>Coming soon</td><td>ZK circuits for reading from Ethereum data structures and proving Axiom queries</td></tr><tr><td><a href="https://github.com/axiom-crypto/axiom-v2-contracts"><strong>axiom-v2-contracts</strong></a></td><td><a href="https://github.com/axiom-crypto/axiom-v2-contracts/releases/tag/v0.9-beta">v0.9-beta</a></td><td><a href="https://github.com/axiom-crypto/axiom-v2-contracts/commit/52245e9a5445fc88258a54168728fb3ab4460561">52245e9</a></td><td>Smart contracts for <code>AxiomV2Core</code> and <code>AxiomV2Query</code></td></tr></tbody></table>