Axiom enables smart contracts to securely compute over the entire historical data of Ethereum, including transactions and receipts. Developers can submit on-chain queries to Axiom, and these queries are trustlessly fulfilled with ZK-verified results sent back to the developer’s smart contract.