ZK's power allows you to access more data on-chain at a lower price. Use receipts, transactions, and historical states in your smart contract. Axiom allows you to compute over the entire history Ethereum, as verified by ZK-proofs on-chain. Combine data from block headers and accounts, contract storage, receipts, transactions, and receipts. Axiom SDK allows you to specify computations over the history Ethereum in Typescript. Access our library of ZK Primitives for arithmetic and logic operations, as well as array operations. These primitives are verifiable on chain. Axiom verifies on-chain query results with ZK proofs, and sends them to the smart contract callback. Axiom's ZK-verified on-chain results will help you build apps that are truly trustless. Pay protocol participants and evaluate them without any external oracles. Reward protocol contributions on the basis of on-chain behavior even in external protocols. Slash bad behavior according to your own criteria.