The ZK Coprocessor
for EthereumTrustlessly compute over the history of Ethereum from your smart contract.
Access transactions and receipts on-chain.
Access transactions and receipts on-chain.
π Axiom V2 is live on testnet! Read theΒ launch postΒ andΒ developer docsΒ to integrate today. π



Read
Trustlessly access on-chain data
Axiom supports reading any data from archive node, usable on-chain. This includes ZK proofs for block headers, accounts, contract storage, transactions, and receipts.
Axiom supports reading any data from archive node, usable on-chain. This includes ZK proofs for block headers, accounts, contract storage, transactions, and receipts.
Compute
Run verified computations in ZK
Axiom allows developers to specify ZK-verified computations over historic data in Javascript. Access our library of compute primitives including arithmetic, cryptography, and more, all trustlessly verified by ZK proofs in your smart contract.
Axiom allows developers to specify ZK-verified computations over historic data in Javascript. Access our library of compute primitives including arithmetic, cryptography, and more, all trustlessly verified by ZK proofs in your smart contract.
Verify
Verify query results on-chain
Axiom verifies query results with a ZK proof on-chain and sends results to your smart contract via a callback interface. Integrate ZK-verified results from Axiom to build truly trustless smart contract applications.
Axiom verifies query results with a ZK proof on-chain and sends results to your smart contract via a callback interface. Integrate ZK-verified results from Axiom to build truly trustless smart contract applications.

Read
Trustlessly access on-chain data
Axiom supports reading any data from archive node, usable on-chain. This includes ZK proofs for block headers, accounts, contract storage, transactions, and receipts.
Axiom supports reading any data from archive node, usable on-chain. This includes ZK proofs for block headers, accounts, contract storage, transactions, and receipts.

Compute
Run verified computations in ZK
Axiom allows developers to specify ZK-verified computations over historic data in Javascript. Access our library of compute primitives including arithmetic, cryptography, and more, all trustlessly verified by ZK proofs in your smart contract.
Axiom allows developers to specify ZK-verified computations over historic data in Javascript. Access our library of compute primitives including arithmetic, cryptography, and more, all trustlessly verified by ZK proofs in your smart contract.

Verify
Verify query results on-chain
Axiom verifies query results with a ZK proof on-chain and sends results to your smart contract via a callback interface. Integrate ZK-verified results from Axiom to build truly trustless smart contract applications.
Axiom verifies query results with a ZK proof on-chain and sends results to your smart contract via a callback interface. Integrate ZK-verified results from Axiom to build truly trustless smart contract applications.
Applications
On-chain Accounting
Trustlessly evaluate and pay protocol participants. Punish and slash for bad validator behavior without trusting centralized oracles. Operate your protocol truly autonomously.
Dynamic DeFi
Update protocol parameters intelligently based on historic on-chain data. Adapt AMM fees, lending protocol rates, and structured product pricing to how the market is trading.
Trustless Oracles
Settle blockspace markets, underwrite using NFT floor prices, and read consensus-level randomness, all without unnecessary trust.
Governance and Identity
Make trustless governance and identity a reality. Determine voting weights, tally votes, and implement governance decisions without trusting a third party. Compute eligibility for token-airdrops and use on-chain credit scores without referencing oracles.
Work with us
Join us in unleashing the power of ZK for blockchain applications.