Glossary
Axiom
A ZK coprocessor for Ethereum — lets smart contracts cryptographically query any historical block, transaction, or receipt with a SNARK-proven result.
Axiom indexes Ethereum's full state and exposes a ZK-verified query interface. A contract specifies a computation over historical state (e.g. "average ETH balance of this address over the last 1000 blocks"); Axiom proves the result and posts a SNARK that the consumer contract verifies.
The model gives contracts cheap, trustless access to history they couldn't otherwise afford to query on-chain. Use cases include trust-minimized governance attestations, lending against historical position data, and reward distributions over usage.