Axiom functions as a ZK coprocessor designed for Ethereum, offering smart contracts seamless access to on-chain data and the capability for arbitrary expressive computation over that data in a trustless manner.