Axiom V2 is live on Ethereum mainnet as of January 22, 2024. Read more here.
New features in Axiom V2 will allow smart contract developers to:
- Read any piece of on-chain data that has appeared in the history of Ethereum, including block headers, accounts, contract storage, and the new additions of transactions and receipts.
- Verify results on-chain in a universal verifier and receive authenticated results in a callback without ZK-specific smart contract deploys.
A beta release of Axiom V2 is live on Goerli testnet today, and we anticipate a mainnet deployment after completing security reviews. To integrate into your application, check out the docs at docs.axiom.xyz, try composing a query in your web browser with AxiomREPL, or fork our quickstart repo. If you have an idea you'd like to discuss, fill out our early partner form or talk with other developers on Telegram.
Integrate Axiom V2 on Goerli Testnet Today
Axiom V2 is currently in audit and should not presently be used in production. We'll have more to share about our mainnet plans in the coming weeks. In the meantime, we have many ideas for apps to build with Axiom, and we'd love to discuss your idea! If you'd like to chat, fill out our early partner form or join our Telegram.
What's new in V2?
Axiom V2 provide developers more access to on-chain data and ZK-verified compute and makes Axiom easier to integrate with smart contract applications. We highlight the main new features below.
On-chain Transaction and Receipt Access
Axiom V2 gives developers ZK-verified access to transaction and receipt data, including calldata and logs (which correspond to events in Solidity). These record important information like token transfers or protocol usage history, but until now, they have never been available for developers to use in their smart contracts. When combined with data accessible in Axiom V1, they make the entirety of the Ethereum history accessible to Axiom. The full set of accessible data types is:
- block headers
- contract storage
- (nested) Solidity mappings
- request authenticated on-chain data using SDK library functions like getHeader, getAccount, getStorage, getTx, getReceipt
- access ZK-verified compute through our library of ZK circuit primitives
The SDK exports a WASM-based client-side ZK prover that can be integrated into a web frontend as a single React component. Developers can use the SDK to specify a query into Axiom V2 by choosing the relevant historic on-chain data and compute over that data in their Axiom client circuit. This allows developers to integrate custom queries into Axiom without the need to deploy ZK proving servers or get permission from Axiom.
To demonstrate the Axiom Client SDK, we developed AxiomREPL, a browser-based REPL for the client SDK. Try it out at repl.axiom.xyz to write your first Axiom client circuit and submit your first test query to Axiom V2 on Goerli testnet in minutes.
Smart Contract Integration Via Axiom Callback
Finally, applications receive results of queries into Axiom on-chain by implementing a smart contract callback. We use a universal aggregation procedure which enables ZK proofs for different Axiom client circuits to be verified with the same on-chain verifier. This means developers can integrate results from Axiom V2 by accepting the callback format below:
After validating the provided query metadata to ensure the callback pertains to their application, developers can read the ZK-verified results from the axiomResults array and use them with the same level of security as data accessed in the EVM. Unlike other ZK integrations, this requires no new verifier contract deployments, allowing developers to access the power of ZK within a standard smart contract interface.
We'll have more to share soon about our path to mainnet and future plans. As a preview, L2 and cross-chain support is in the works, and we will also be adding more ZK primitives accessible to Axiom Client circuits over time. Let us know on Telegram if there are specific primitives you are interested in using, and follow us on Twitter to stay updated.
In the meantime, try your first Axiom query at repl.axiom.xyz and start integrating into Axiom V2 on Goerli testnet today with our developer docs at docs.axiom.xyz. If you have an idea you'd like to discuss, fill out our early partner form or chat with other developers on Telegram. We're excited to see what new applications you come up with!