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.

Overview

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 a Javascript frontend, and the validity of each computation is verified in a ZK proof. Visit AxiomREPL or see the docs 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.

Integrating Axiom

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.

• Fill out the early partner form to discuss ideas with us!

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

How Axiom Works

Check out Architecture Overview 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 KZG Trusted Setupand about zero-knowledge proofs in general at Introduction to ZK.

Get In Touch

If you have questions, ideas, or would just like to chat, join the discussion in our Discord or the technical discussion on Telegram. Our circuit and smart contract code is open-source and available at our GitHub.