Axiom develops a platform enabling advanced computing over the history of Ethereum through smart contracts. Utilizing Zero-Knowledge (ZK) proofs, it ensures trustless access and verification of on-chain data. The platform supports complex computations over Ethereum's entire history, integrating data from various blockchain components like block headers, accounts, contract storage, and transactions. Axiom’s Typescript SDK allows developers to specify computations and access a library of ZK primitives for arithmetic, logic, and array operations. This technology enables the development of truly trustless on-chain applications. Axiom is suitable for dynamic DeFi applications, custom oracles, on-chain accountability, and loyalty programs.