Axiom is a ZK coprocessor protocol that enables smart contracts to access and compute on the full historical data of Ethereum. Developers can send on-chain queries to Axiom, which processes them using zero-knowledge proofs (ZKP) and returns the results to the smart contract. This allows developers to build on-chain applications with greater access to data at a lower cost, without needing additional trust assumptions.

Axiom uses ZK proofs to read historical Ethereum block data, such as block headers, states, transactions, and receipts. It can access any block data that archive nodes store. The query process in Axiom consists of three stages:

1. Submission: Developers build an Axiom circuit that specifies the data computations they need. Queries are sent to Axiom through the AxiomV2Query contract, using Axiom's Typescript SDK.

2. Fulfillment: Axiom returns the result on-chain, accompanied by a ZK proof verifying that the data was accurately retrieved from Ethereum and computed correctly. The proof is verified on-chain by Axiom’s smart contract.

3. Callback: The verified result is sent to the designated smart contract, where it can be used like any other on-chain data.

• Access to Ethereum's Historical Data: Axiom enables access and computations on all of Ethereum’s historical transactions and receipts, providing a rich data source for decentralized applications.

• Security and Trustlessness: ZKP technology ensures the accuracy of query results without relying on third parties.

• Smart Contract Integration: Axiom expands smart contracts' capabilities, allowing them to perform complex functions with broader data access, facilitating more advanced decentralized applications.

Axiom is a ZK coprocessor protocol that enables smart contracts to access and compute on the full historical data of Ethereum. Developers can send on-chain queries to Axiom, which processes them using zero-knowledge proofs (ZKP) and returns the results to the smart contract. This allows developers to build on-chain applications with greater access to data at a lower cost, without needing additional trust assumptions.

Axiom uses ZK proofs to read historical Ethereum block data, such as block headers, states, transactions, and receipts. It can access any block data that archive nodes store. The query process in Axiom consists of three stages:

1. Submission: Developers build an Axiom circuit that specifies the data computations they need. Queries are sent to Axiom through the AxiomV2Query contract, using Axiom's Typescript SDK.

2. Fulfillment: Axiom returns the result on-chain, accompanied by a ZK proof verifying that the data was accurately retrieved from Ethereum and computed correctly. The proof is verified on-chain by Axiom’s smart contract.

3. Callback: The verified result is sent to the designated smart contract, where it can be used like any other on-chain data.

• Access to Ethereum's Historical Data: Axiom enables access and computations on all of Ethereum’s historical transactions and receipts, providing a rich data source for decentralized applications.

• Security and Trustlessness: ZKP technology ensures the accuracy of query results without relying on third parties.

• Smart Contract Integration: Axiom expands smart contracts' capabilities, allowing them to perform complex functions with broader data access, facilitating more advanced decentralized applications.