Comment on page

# What is Axiom?

Axiom gives smart contracts

**trustless access to the entire history of Ethereum and arbitrary ZK-verified compute over it**. Developers can send on-chain queries into Axiom, which are trustlessly fulfilled with ZK-verified results sent in a callback to the developer's smart contract. This allows developers to build rich on-chain applications without additional trust assumptions.These docs are for Axiom V2, which is

**live on Goerli testnet as of November 2023**. To access docs for Axiom V1, which is live on Ethereum mainnet since July 2023, follow the link to V1 docs.To fulfill queries, Axiom performs three steps:

**Read:**Axiom uses ZK proofs to trustlessly read from block headers, states, transactions, and receipts in any historical Ethereum block. All Ethereum on-chain data is encoded in one of these forms, meaning that Axiom can access anything an archive node can.**Compute:**Once data has been ingested, Axiom applies verified compute on top. Developers can specify their own computation in Javascript, and the validity of each computation is verified in a ZK proof. Try out the quickstart to play around with the available compute primitives.**Verify:**Axiom accompanies each query result with a ZK validity proof that (1) the input data was correctly fetched from the chain and (2) the compute was correctly applied. This ZK proof is verified on-chain in the Axiom smart contract, and the final result is then trustlessly available for use in your smart contract.

Because they are verified by a ZK proof, results from Axiom have

**security cryptographically equivalent to that of Ethereum**and make no assumptions about crypto-economics, incentives, or game theory. We believe this offers the highest possible guarantee for smart contract applications.To integrate Axiom into your application:

- Integrate with Axiom V2
**on Goerli testnet**today to**trustlessly query and process the entire history of Ethereum**from your smart contract.

To learn more about how Axiom fits in with smart contract applications, check out Axiom for Developers or see our Autonomous Airdrop example app.

Check out Protocol Design to understand how Axiom works and ZK Circuits for Axiom Queries to learn more about our ZK circuits. You can learn more about our deployment settings at Transparency and Securityand about zero-knowledge proofs in general at Zero Knowledge Proofs.

Last modified 4d ago