Axiom V2 Docs Old
  • Introduction
    • What is Axiom?
    • Quickstart
  • Examples
    • Autonomous Airdrop
      • AxiomREPL Code
      • Contract
      • Web App
      • DataQuery-only Version
  • Developers
    • Axiom for Developers
    • Specifying a Query into Axiom
    • AxiomREPL
      • AxiomREPL Examples
    • Exporting a Client Side Prover
    • Handling Axiom Callbacks
    • Common Issues
      • Callback Debugging
  • SDK and REPL Reference
    • Axiom SDK Reference
      • QueryBuilderV2
      • Data Subqueries
        • Header Subquery
        • Account Subquery
        • Storage Subquery
        • Transaction Subquery
        • Receipt Subquery
        • Solidity Nested Mapping Subquery
    • AxiomREPL Reference
      • Circuit Types
      • Circuit Functions
      • Data Functions
      • Compute Functions
  • Protocol Design
    • Architecture Overview
    • Caching Block Hashes
    • Axiom Query Protocol
      • Axiom Query Format
    • ZK Circuits for Axiom Queries
    • Ethereum On-chain Data
    • Guardrails
  • Transparency and Security
    • KZG Trusted Setup
    • Contract Addresses
    • On-chain ZK Verifiers
    • Security
  • Zero Knowledge Proofs
    • Introduction to ZK
    • ZK Examples
    • Getting Started with halo2
    • halo2-repl
  • Additional Resources
    • Axiom V2 Explorer
    • Github
    • Website
    • Telegram
    • Discord
    • Axiom V1 Docs
Powered by GitBook
On this page
  1. Transparency and Security

Security

PreviousOn-chain ZK VerifiersNextIntroduction to ZK

Last updated 1 year ago

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 . 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

Smart contracts for AxiomV2Core and AxiomV2Query

Github
halo2-lib
v0.4.1-goerli-beta
a30e3b1
snark-verifier
v0.1.7-goerli-beta
a9310f6
axiom-v2-contracts
v0.9-beta
52245e9