Gain access to a wealth of data on-chain at a reduced expense, all made secure through the capabilities of zero-knowledge (ZK) technology. Leverage transactions, receipts, and historical states within your smart contracts for enhanced functionality. Axiom facilitates computations encompassing the complete history of Ethereum, with the integrity of these computations ensured by ZK proofs on-chain. You can merge data from block headers, accounts, contract storage, transactions, and receipts seamlessly. Utilize the Axiom SDK to outline computations over Ethereum's past using Typescript. Our extensive collection of ZK primitives allows for arithmetic, logical, and array operations that can be verified on-chain. Axiom guarantees that query results are validated on-chain using ZK proofs, which are then relayed to your smart contract's callback functions. Develop genuinely trustless on-chain applications with results verified by ZK from Axiom. Evaluate protocol participants and compensate them without relying on external oracles, thus ensuring a more autonomous ecosystem. Reward contributions based on on-chain activities, even when they involve external protocols, and implement penalties for undesirable behavior based on custom-defined criteria. This creates a fair environment that incentivizes good practices while discouraging misconduct.