Axiom is a protocol enabling smart contracts to access and compute over the entire history of Ethereum using zero-knowledge proofs (ZK proofs). It allows developers to send on-chain queries, which are fulfilled with ZK-verified results, providing a secure and efficient way to access historical data without additional trust assumptions in smart contract applications.