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. This empowers developers to create on-chain applications that access a broader range of data at a reduced cost, all without introducing additional trust requirements.