Axiom
@axiom_xyz
Followers
25K
Following
173
Media
31
Statuses
426
Building ZK-enabled infrastructure with @OpenVM_org. Dev docs: https://t.co/Ev1ePWb22Q Join us: https://t.co/mrpRyqbQq0
Joined October 2022
We're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. OpenVM introduces a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system in one unified framework.
13
56
268
We're excited to announce we've raised $20 million led by @paradigm and @standardcrypto, with participation from @robotventures and @etherealvc. We are building infrastructure to give smart contract developers access to more data on-chain.
98
172
834
Weβre thrilled to announce Axiom V2 is now live on Ethereum mainnet!. Axiom V2 allows smart contracts to trustlessly compute over the entire history of Ethereum, including transactions and receipts. Learn more below π
91
215
693
We are announcing Axiom, the ZK coprocessor for Ethereum: Axiom provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it. Like GPUs do for CPUs, Axiom augments blockchain consensus with zero-knowledge proofs.
45
185
690
We're excited to announce the Axiom mainnet alpha release: Axiom is the first ZK coprocessor scaling data-rich applications on Ethereum. Try on mainnet today.
18
169
447
We're announcing the next evolution of Axiom, live on Goerli today: Axiom V2 allows smart contracts to trustlessly compute over the entire history of Ethereum, including transactions and receipts. Make your first query in minutes:
10
50
259
Today we are releasing a browser-based REPL that allows developers to write ZK circuits in Javascript. halo2-repl packages circuit generation and proving in a really easy-to-use way:.* abstracts away the hard details of using a ZK proving library:.
5
40
240
We're announcing that Axiom is coming to @base -- Axiom V2 is now live on Base Sepolia testnet, and a Base mainnet deploy will follow after a testing period. We've heard from developers about the low fees and growing ecosystem on Base and are excited to bring Axiom there.
13
33
160
We're announcing the second cohort of the Axiom ZK Intensive. This is a 5 week program for smart contract developers interested in building ZK-enabled on-chain applications. Applications open today and close Feb 7. The program will start the week of Feb 20. To apply, see π
53
55
159
The team at @standardcrypto built a VSCode extension for Axiom. Try it at:. You can use it to manage circuits written in the Axiom SDK through compilation, proving, and query submission to Axiom. We were impressed by how much VSCode can do!.
10
27
120
ZK coprocessors are a new class of blockchain infrastructure allowing developers to statelessly prove offchain computation over on-chain data. In our new post, we explain what they are, what they offer to developers, and considerations for building them:.
4
31
130
We are announcing the second iteration of the Axiom Open Source Program: This is an accelerated program to get you from ZK basics to building ZK circuit primitives _and applications_ in halo2 in 8 weeks. Apply by July 28 at:
5
24
130
Last call to apply to this iteration of our ZK Intensive program -- if you're a Solidity dev interested in building on-chain applications powered by ZK, apply by EOD today at:.
We're announcing the second cohort of the Axiom ZK Intensive. This is a 5 week program for smart contract developers interested in building ZK-enabled on-chain applications. Applications open today and close Feb 7. The program will start the week of Feb 20. To apply, see π
10
12
91
We're hosting a joint event with @Scroll_ZKP in NYC at 5p on Tue Sep 19th for devs interested in the future of ZK dApps. If youβre an engineer interested in learning about using ZK in your smart contracts, weβd love to have you! Register here:
3
16
84
Axiom's ZK circuits are built with a new framework on top of the halo2 proof system. Today, we are open-sourcing our circuits (MIT license): Let's dive into the contents, which will be a tour of elliptic curve cryptography and Ethereum data structures. .
1
17
92
We're excited to work with @worldcoin to make ZK-verified human identity more meaningful on-chain! βͺοΈ.
5
10
86
After open-sourcing our ZK circuits, we are announcing the Axiom Open-Source Program: We are offering mentorship on ZK circuit development in a 12-week, part-time remote program to build a ZK circuit primitive. Apply by Feb 28 at
1
15
84
We're excited to partner with @VesselFinance on their upcoming ZK orderbook exchange launch. With the Axiom SDK, @VesselFinance was able to develop the scalable and performant ZK circuits underlying Vessel. Stay tuned for more updates on our continuing collaboration!.
5
18
50
Check out @theyisun walking through our contracts which let you compute over the history of Ethereum on-chain!. If youβre interested in building these types of on-chain systems with us, we are hiring across smart contracts and ZK β DM to learn more!.
Episode #23 is out now!. @theyisun walks us through the @axiom_xyz contracts. Axiom gives you the ability to compute over the entire history of Ethereum.
3
4
62
We excited to announce the Axiom ZK Intensive Program!. This is a 4 week program for smart contract developers with an interest in ZK. Applications open today, and the program will start the week of October 9. Apply here by Sep 18:
4
9
66
Axiom is heading to Istanbul for DevConnect π₯. The team is hosting a workshop on cryptographic identity + participating in many ZK-focused events throughout the week. Hereβs whatβs happening π
5
3
68
7/ Our Uniswap TWAP demo was supported by a @UniswapFND grant, and our RanDAO demo was inspired by the recent work of the @paradigm Engineering team on on-chain randomness from ZK blockhash oracles
1
7
60
Today we are releasing a new demo of checkpoint-free Uniswap v3 TWAP oracles via Axiom: This enables users to prove the TWAP price for the ETH-USDC Uniswap v3 0.3% or 0.05% pools between **any** two historic blocks.
6
11
59
Excited to share the universal batch verification solution for World ID weβve been working on for @worldcoin. Batch verification allows multiple World ID operations to be done in a single cheaper transaction, reducing onchain congestion and cost.
1/ Exciting news! We're thrilled to announce the successful completion of our Wave1 grant with @axiom_xyz for universal batch verification of World ID proofs!
4
10
54
10/ We have some exciting things in the works for on-chain developers in the coming weeks and months. In the meantime, check out:. * our jobs page: * our V2 mainnet announcement: * our funding announcement:
5
5
49
We are blown away by your response to our announcement and are working hard to keep our demo up. Some of you may have noticed your accounts are "very special" and unsupported by our Account Age demo. We've deployed a new Account Age contract to fix this. Thread:.
3
5
52
6/ To illustrate Axiom, we are launching 4 demo apps These allow users to:. * Prove their account age.* Prove Uniswap v2 TWAP prices between two historic blocks.* Access Consensus Layer randomness.* Access arbitrary slots in historic account storage.
1
2
48
We recently concluded the first Axiom Open Source Program with 12 participants who went from little to no background in ZK to implementing ZK primitives in 12 weeks. We are highlighting the work of a few participants over the next couple of weeks, starting with Wentao (@DCMMCC).
1
4
47
9/ We are at an inflection point in taking ZK from research to production, and with this funding we are growing our team to make it a reality. If you share our belief in a world of data-rich on-chain apps powered by ZK, we are hiring across all roles:
3
1
38
We're excited to work with @hashialliance to reduce costs for cross-chain @safe and enable users to control Gnosis Safe wallets on different chains with the same set of keys!.
[1/4] π Exciting news for the Smart Account Interoperability scene!. We're thrilled to share an update on Cross-chain Safe!. Together with @safe and @axiom_xyz, we are working to enhance its security and make it at least 2x cheaper thanks to ZK! π₯
5
6
42
MEVictim Rebate used Axiom to prove that a user lost money in a sandwich attack and give access to a special @Uniswap pool! Really cool to see the team implement a non-trivial sandwich criterion end-to-end in ZK with no prior experience and get everything working in their app.
this weekend, @0xnavage @hua_annie oscar and I built token-gated privileges for certified victims of MEV attacks (and won @ETHGlobal nyc!) .
2
6
43
2/ We are building Axiom to bridge this gap. Smart contract developers query Axiom for functions of historic on-chain data like they currently use oracles. Axiom answers queries trustlessly on-chain, allowing developers to enhance their apps with ZK without writing ZK circuits.
1
0
39
11/ Building Axiom required writing RLP encoding, Merkle-Patricia trie inclusion, and non-native elliptic curve arithmetic in ZK. We benefited from collaborations with members of the @PrivacyScaling and @Scroll_ZKP teams and were inspired by early prototypes supported by @0xPARC.
1
0
38
We are speaking several times at DevCon, come listen!. * 10/10: Optimizing and Securing ZK Circuits for Elliptic Curve Operations β ZK House * 10/13: ZK Circuits for Elliptic Curve Operations in Halo2 β Applied ZK Workshop
3
8
35
Axiom Open Source Project Spotlight!. Ayush @0xa9a implemented ZK circuits for verifying ed25519 signatures, which are an instantiation of the EdDSA signature scheme commonly used as SSH signatures.
1
5
34
9/ Some early use cases for Axiom we envision include:. * Trustlessly paying protocol participants for on-chain behavior.* Updating DeFi parameters based on historic data.* Trustlessly enforcing off-chain governance votes.* Making oracle queries for on-chain data trustless.
1
1
32
Axiom gives smart contracts trustless access to historical on-chain data not accessible in the EVM. Today we break down how this works: This will require us to understand the structure of raw Ethereum data structures and how to process them in ZK. .
1
5
33
1/ The trustless computation provided by zero-knowledge proofs is one of the most powerful ways to enable richer user experiences for blockchain applications. However, ZK remains forbidding for developers to implement and use, meaning its promise has yet to be realized at scale.
1
1
34
Check out @theyisun explaining how Axiom can allow smart contracts to compute over the full history of Ethereum works on the @NEARProtocol Whiteboard Series!. Try it for yourself at:
Ep 52 of Whiteboard Series: Director of NEAR, @BowenWang18, joins @theyisun, cofounder of @axiom_xyz. Explore Axiom, an @ethereum ZK coprocessor leveraging zero-knowledge proofs for devs to compute on otherwise infeasible historical data. Dive in!
3
2
23
We got a bunch of creative submissions for our puzzle. Feel free to post your solution and approach in this thread!.
Who tried to solve @axiom_xyz 's Variable Length Subarray Puzzle? I guess since the challenge is over we can start sharing our solutions. I'm not particularly proud of my result but I am curious to see others' solutions π. I got to 3.1M constraints.
9
4
32
12/ In that spirit, we are open-sourcing our circuits for these primitives (and many others like ECDSA, MSM, and elliptic curve pairing) at We'll have more to share here soon -- for now, check out our code and contribute. We are open to PRs!.
1
1
31
We look forward to continuing work on cost, scalability, and user experience for on-chain identity via ZK β stay tuned for more updates!. Check out the open-sourced code:
0
3
29
15/ Finally, if you've always wanted to access historic data or do complex compute on-chain, we'd love to supercharge your dapp with Axiom. And we're looking for great engineers to solve cutting-edge technical problems and bring the power of ZK to developers. Reach out by DM!.
2
0
29
3/ Axiom works in three steps: Read, Compute, and Verify. Read: Axiom uses ZK to trustlessly read block headers, states, transactions, and receipts from any Ethereum block. This gives smart contracts access to all archive node data, most of which is not accessible to the EVM.
2
0
30
We are hosting a workshop tomorrow on cryptographic identity in Istanbul πΉπ· with speakers from @Clique2046 and @zkemail. If youβre a builder interested in identity, weβd love to have you at this developer-focused event. Spots are limited, register here:
2
6
32
4/ The Axiom ZK Intensive will be conducted remotely via Zoom and is totally free! The program will start the week of Feb 20. Apply by Feb 7 here: Read more about the program here:
2
2
25
4/ Compute: After ingesting data, Axiom applies verified compute to it. This includes operations like analytics (sum, count, max), cryptography (signature verification, key aggregation), and machine learning (decision trees, neural network inference) too big for blockchain VMs.
1
0
28
8/ As these demos suggest, Axiom reads raw Ethereum data, meaning Axiom can be used to scale dapps without requiring them to move state to a rollup. In addition, compute on Axiom is not shared between dapps, meaning Axiom can support computations too large for any on-chain VM.
1
1
27
1/ Developers can query Axiom for block headers, accounts, or storage values from the entire history of Ethereum. To start using Axiom, check out our developer docs at and submit your first query on mainnet or Goerli today!.
3
2
28
This release will allow smart contracts on Base to compute over the history of Base, including receipts, transactions, and contract storage. Developers can query this history in Typescript with the Axiom SDK and receive ZK-verified results on-chain.
1
3
23
Excited to see history-based @Uniswap v4 hooks in the wild this weekend at @ETHGlobal! Hooks and other defi primitives are much more expressive when they have access to more data, and at Axiom weβre empowering developers to explore this new design space.
hookers running rampant in NYC this weekend π«£. for ETHGlobal I teamed up with @andrew_forman to showcase trustless LP rebalancing using @axiom_xyz . "allow anyone to modify your LP, as long as market conditions are met"
1
2
24
10/ The first version of Axiom gives self-serve access to historic data, and we are looking to collaborate with protocols or dapps to integrate ZK-powered custom compute. DM to brainstorm with us, or let us know at to meet at @EthereumDenver.
1
0
25
Check out our work on making @Uniswap TWAP oracles more flexible by computing over historic on-chain data with ZK. To incorporate these types of techniques into your on-chain app, make your first query at
π Grants Spotlight: @axiom_xyz's Checkpoint-free TWAP Oracles. Today, we're highlighting an enhancement in oracle technology, supported by a grant from the Uniswap Foundation. Axiom has developed a novel way to access Uniswap v2 & v3 TWAP oracles. π
2
1
19
Want to claim you are an OG on-chain? Better show the (ZK-based) receipts!.
I just generated a ZeroKnowledge proof of my Ethereum account's age with only a couple clicks, using @axiom_xyz's demo of Ethereum ZK Co-processing: Cool stuff. I'd post the Proof here but it obliterates Twitter's character limit.
3
2
24
5/ Verify: Every Axiom query result is accompanied with a ZK validity proof that the on-chain data inputs were read correctly and all computation was done correctly. The Axiom smart contract verifies the proof and makes the result trustlessly available for downstream apps.
1
0
25
Axiom Open Source Project Spotlight!. @rkm0959 implemented the ZK circuits for verification of Poseidon2 hashes and AES-ECB encryption. Combining these two primitives, he was able to implement a proof of concept of a verifiable encryption scheme.
1
2
24
We've been reading applications for the Axiom Open-Source Program and are excited about your application ideas!. If you'd like to learn how to build modern ZK circuits and applications -- reminder to read and apply at by July 28!.
2
4
25
We will be at @EthGlobal Istanbul this weekend with $10,000 in prizes! Check out our workshop at 4:40p Friday at the ICC. Access Transactions and Receipts On-chain. We'll show you how to write ZK circuits in Javascript and leverage historic on-chain data in your hack!.
3
4
23
8/ Axiom V2 is live today on Ethereum mainnet and Sepolia testnet for production and test deploys. Our smart contracts and ZK circuits were audited by @SpearbitDAO @zellic_io @trailofbits and is fully open-sourced with commits specified at:.
3
3
19
11/ The ZK circuits and smart contracts in the Axiom mainnet alpha are fully open-source with permissive licenses and were audited by @trailofbits and @zellic_io. Deployed repos: ZK circuits:
1
1
24
With this release, Axiom is shifting focus to building with and supporting OpenVM. In the coming months, we will release ZK-enabled products using OpenVM and develop OpenVM to a production-ready state. To try OpenVM today, check out the dev docs at
1
1
24
The Axiom Open Source Program final showcase is this Thursday Oct 12th from 11am-1:30pm EST. Participants will present on a range of projects such as verifying x509 Certificates in ZK, recursively verifying Protostar, and a ZK VectorDB. Register here:
0
4
22
2/ Surprisingly, prior to Axiom there was no simple way for smart contracts to trustlessly access historic on-chain data. The EVM can only access the current state and not historic data, transactions, receipts, or consensus data, all of which are critical for on-chain apps.
1
2
24
Check out this implementation of SVD in-circuit by @goforashutosh @zhengxun_wu and Guillaume Remy β lots of tricks necessary to get this working!.
As part of the @axiom_xyz's Open Source Program v2, Guillaume, Zhengxun and I developed Halo2-svd, a library which provides functionalities to verify the singular value decomposition (SVD) of a matrix and perform basic linear algebra operations in Halo2. (1/5).
0
0
15
5/ To illustrate integrating Axiom into your application, we created 4 demos: These allow users to:.* Prove their account age.* Prove historic Uniswap v3 TWAP prices.* Access Consensus Layer randomness.* Make arbitrary queries into Axiom.
2
0
24
1/ We'll be at ETH Denver next week! We are running a workshop on Fri 3/3, 2:00p to 5:00p for you to build an app with Axiom! Bring your ideas or brainstorm new ones with us. Register at space limited!. Also find us at our talks + panels, details below:.
2
5
24
Hi Paris! We are hosting a last minute hands on dev workshop **tomorrow** July 20, 2:00p - 4:00p:. Bring your laptops to try using the sparkling new Axiom SDK to build an end-to-end dApp that lets users generate their own proof of identity!.
2
3
22
Weβll be at ProgCrypto presented by @0xPARC and @PrivacyScaling tomorrow! Check us out at:. * 4:00p: @theyisun will present βScaling data and compute on Ethereum with Axiomβ.* 5:00p: Panel on βZK and Blockchainsβ with @jbaylina @zac_aztec @jasonmorton @theyisun.
2/ Yi Sun @theyisun, co-founder of @axiom_xyz, will discuss how Axiom gives smart contracts trustless access to the entire history of Ethereum and custom verified compute over it. He will discuss the foundational ZK building blocks enabling this, including SNARK aggregation,
1
2
21
We are also directly supporting teams building with OpenVM. If youβd like to explore how Axiom can enable your application with implementation support or hands-on OpenVM customization, get in touch:. See the full announcement:
0
1
24
gm NYC! We are running workshops and events throughout this week for @ETHGlobal New York with @Scroll_ZKP and @EspressoSys. Join us for ideas, discussions, and hacking with ZK (for up to $10k in prizes!). Here's our full schedule:.
1
4
23
3/ The program will be hands-on. Our team will mentor you through building an end-to-end smart contract project of your choice leveraging the power of ZK. For examples of projects we'd be excited to mentor, see:.
2
1
20
Our co-founder @theyisun is on the @zeroknowledgefm podcast this week to talk about our ZK coprocessor for Ethereum:. Check out the episode to hear more about how we are giving on-chain applications new superpowers by scaling data access and compute!.
ποΈThis week, @AnnaRRose and @theyisun chat about @axiom_xyz and what it means to be a ZK coprocessor for Ethereum. They explore how ZKPs are used to help bring historic data onchain and the new use cases this enables.
0
2
21
3/ Axiom introduces a new way to access data and compute on-chain based on cryptography. All results returned by Axiom are verified on-chain by zero-knowledge proofs, meaning smart contracts can use them without additional trust assumptions.
1
0
22
7/ Axiom can create new trustless oracles for on-chain data:. * Gas price oracles to settle blockspace markets. * Trust-minimized price and volatility oracles for arbitrary assets on top of Uniswap liquidity. * Settlement prices for exotic derivatives or structured products.
2
0
21
13/ This initial Axiom release is only the first step in our mission to unleash the power of ZK for crypto applications. We believe blockchain applications have unlimited appetite for data and compute, and we will empower developers by serving it at greater and greater scale.
1
0
21
9/ Learn more at our announcement: If you'd like to integrate, reach out at: To join our dev chat, join our Telegram: Try your first query on Axiom V2 today using our dev docs:
2
1
18
8/ Axiom enables new types of on-chain coordination:. * Proof of Sandwich -- Trustlessly slash builders for blocks containing harmful MEV. * On-chain asset management with performance evaluated based on a function of the full portfolio trajectory.
1
1
20
14/ In the coming weeks, we will share more about how Axiom works, the ZK technology underlying Axiom, and everything else we have in the works. Follow us and join our Discord to stay updated.
1
0
20
4/ To start building with Axiom:. * Send an on-chain query with the Axiom SDK: * Check your query status on the Axiom Explorer: * Read about the protocol on our docs:
1
0
21
Excited to see projects like GasLockR building on Axiom at @EthereumBeijing. Axiom allows GasLockR to trustlessly access historic on-chain gas prices with our ZK Coprocessor! Looking forward to seeing what else developers can build with it.
2
3
18
Our DevCon talk recordings are now live:. * ZK Circuits for Elliptic Curve Operations in Halo2 * Scaling up Trustless Neural Network Inference with Zero-Knowledge Proofs * ZK Application Design Patterns
1
2
18
Gm Paris! We are running workshops throughout the week to build an app with the Axiom mainnet alpha! Bring your ideas or brainstorm with us:. See our full schedule at or below:.
1
1
18
6/ We are excited about new types of trust minimized applications Axiom enables. A few ideas in identity are:. * Off-chain governance enforced and enacted on-chain without the help of a multisig. * On-chain loyalty systems trustlessly rewarding a protocols most valuable users.
2
0
20
We had a great time at zkSummit9 this week -- if you weren't able to make it, check out our talk on how Axiom is adding reflection to the EVM:. Thanks to @zeroknowledgefm and @AnnaRRose for putting on a great event!.
0
3
19
1/ Two days til @ETHGlobal Lisbon! We came up with ideas to help you win $275K from @0xPolygon @OptimismFND @UniswapFND @LineaBuild_Evm @Scroll_ZKP. Here's how to win by supercharging your hack with ZK using Axiom. Hint: we did the heavy lifting for you π.
1
2
19
Really excited to see @backaes and @yurikonishijima bring together FHE and ZK in our open-source program. Check out their work!.
1. I'm happy to share with you zk-fhe, a joint work with @yurikonishijima to achieve Verifiable Fully Homomorphic Encryption. The circuit was built within @axiom_xyz Open Source Program. Prover time is less than 10s on a M2 Pro!.
0
2
16
9/ Axiom can provide new types of delegated async compute:. * ZK ML based parameter adjustments for DeFi protocols with trustless historic on-chain data inputs. * Trustless order matching for a batch-auction based dex. Reach out by DM if you are interested in any of these!.
1
0
19
Come check us out at zkDay today!. Our co-founder @theyisun will be on a panel titled ZK Applications: Programmability and Privacy at 2:50p moderated by @_weidai and with:. @shumochu (@mantanetwork).@adiprinzio_ (@AleoHQ).@jonwu_ (@aztecnetwork).
1
0
18
Thanks to @SpearbitDAO for hosting us for this explainer of how our smart contract interface for Axiom V2 works! . If youβre interested in building on-chain systems like these interfacing with the cutting edge of ZK, we are hiring for smart contract and ZK engineers. Check out.
We have released our seminar with @theyisun from @axiom_xyz on:. β΅ Exploring Ethereum History using ZK β΄. Yi highlights how to cache Ethereum block hashes back to genesis in a Merkle mountain range on-chain and verify proofs against this cache and much more!. (Video Below)
1
0
15
1/ We are running a showcase for the Axiom Open-Source Program this Thursday June 15, 12p-2:30p ET. Participants from across the world spent the last few months developing open-source ZK circuits in halo2. Most had not touched halo2 or even Rust before!.
2
5
18
Check it out at .
@axiom_xyz received a grant to research & produce a prototype of Checkpoint-free v2 and v3 TWAP oracles. This work may reduce the risk of oracle manipulation & increase usage of trustless on-chain based oracles in DeFi applications which are reliant upon oracles.
1
1
18
Check out all the cool stuff built on halo2! And shout out to @therealyingtong and the @ElectricCoinCo for their work building and maintaining the core library!.
a community-maintained directory of resources related to halo2, and its many variants!. (heavily inspired by @adria0's awesome-halo2)
0
0
17
10/ This mainnet alpha release is the first step towards our goal of empowering developers to build a new class of data-rich applications combining the rich interactions of traditional webapps with the security of Ethereum.
2
0
17
We are on the @zeroknowledgefm podcast with @daniel_d_kang this week to talk about proving valid neural network inference in ZK: Check out the episode to hear our thoughts on scaling up ZK ML, making image edits privately, and possible applications!.
1
1
14
Also huge shout out to @antimatter15 for building @zkREPL which makes sharing these circuits infinitely easier.
1
6
18