New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.

Loading player…

Proving Ethereum in Real Time with OpenVM 2.0 | Yi Sun (Axiom) at ETHConf

ETHGlobalThu, Jul 9, 2026, 12:00 AM

In this talk, Yi Sun, co-founder and CEO of Axiom, presents how zero knowledge proofs are becoming ready for production and serving as the key to forward looking Ethereum scaling. He frames the institutional moment Ethereum is having in 2026 around payments, tokenization, and trading, all gravitating to Ethereum for its security, neutrality, and reasonable scalability. The core scaling challenge is that naively raising the gas limit forces validators to take on higher hardware requirements, eroding the very decentralization that makes Ethereum attractive. Every validator currently has to re-execute every transaction, and Ethereum's unique answer is to prove execution with zero knowledge proofs so validators only verify proofs at constant cost rather than re-executing entire blocks. This decouples gas limits from validator hardware requirements. Yi explains the ZK virtual machine breakthrough of the last two to three years, which abstracts away cryptographic complexity and lets developers verify execution of arbitrary programs written in normal programming languages. He walks through Axiom's OpenVM across three institutional pillars: performance, security, and generality. On performance, OpenVM now proves Ethereum block execution in real time, with an average of 4.7 seconds across a full day of blocks (well within the 12 second slot time), and general purpose computation at 964 MHz, meaning if your application runs on a 1GHz processor it can be proven. Performance is also scaling rapidly, with OpenVM today being 75x faster than at the start of last year. On security, Axiom built a new proof system called Swirl with provable security based on mathematical theorems rather than conjectures, with post quantum design, 100 bits of provable security today, and 128 bits expected by year end. They've layered defense including audits with Cantina and ZK Security, a continuous AI auditor scanning updates for vulnerabilities, and formal verification in the Lean theorem checker as the only way to get correctness guarantees that cannot be hacked by AI. He closes with applications including the Lighter EVM partnership combining a high performance ZK verified perpetuals exchange with Ethereum programmability, and Scroll becoming a Type 1 ZK rollup through OpenVM integration. 00:00 Introduction 00:12 Ethereum's Institutional Moment in 2026 00:40 Why Institutions Choose Ethereum 01:18 The Validator Re-Execution Bottleneck 01:46 Ethereum's Unique Road to ZK Proven Execution 02:24 How ZK Decouples Gas Limits from Validator Hardware 02:50 The ZK Virtual Machine Breakthrough 03:26 Why ZKVMs Make ZK Accessible to Developers 03:53 ZK Becoming Institutional Ready 04:17 OpenVM's Three Pillars: Performance, Security, Generality 04:41 Proving Ethereum in Real Time 05:06 4.7 Second Average Proving Time 05:33 General Purpose Computation at 964 MHz 06:08 75x Performance Gains in One Year 06:35 How ZK Performance Translates to Ethereum Throughput 07:01 Why Security Matters More Than Performance Now 07:23 Swirl: A Proof System With Provable Security 07:46 Post Quantum Foundations 08:14 100 Bits Today, 128 Bits by Year End 08:46 Defending Against AI Powered Attacks 09:18 Continuous AI Auditor and Lean Formal Verification 09:50 Applications of OpenVM 10:19 Partnership: Lighter EVM 10:40 The Best of Both Worlds for Programmability 10:40 Powering Scroll as a Type 1 ZK Rollup 11:17 Why Developers Can Focus on Logic, Not Cryptography 11:51 Institutional Use Cases: Trading, Bridging, Rollups 11:51 Privacy: Confidential Payments and Identity 12:48 Two Takeaways _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ *ETHConf 2026* ETHConf is a 3 day event for founders, industry leaders, and builders who are excited about the possibilities of building on top of Ethereum. Connect with 2,000+ top innovators in crypto, finance, technology, and policy at our inaugural three-day event packed with showcases, demos, partnerships, and conversations shaping the future of the global economy. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ ✅ *Follow ETHConf* X: https://x.com/ethconf Website: https://ethconf.com _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 🎟️ Get your early bird tickets for ETHConf 2027: https://ethconf.com/2027#tickets 🎤 View the full ETHConf 2026 Speaker Schedule: https://ethconf.com/schedule _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

Transcript

Okay, my name is Yi. I am one of the founders and CEO of Axiom. Today I will tell you about how zero- disclosure proofs are getting ready for production and how they are key to the future scaling of Ethereum. So, first of all, the reason we're all here together in New York today is because Ethereum is experiencing an institutional moment in 2026. So, there are a number of important use cases for institutions that are gaining momentum.

Payments, tokenization and trading. And all these institutions choose Ethereum for the reason that Ethereum has the best security, neutrality, and normal scalability to support these financial applications. And so as these use cases grow, Ethereum really needs to scale throughput while maintaining the core properties of security and neutrality that these use cases actually bring to the blockchain. And the main problem here is that if we just naively scale the gas limits, then what happens is that validators will have much higher hardware requirements and will start to affect decentralization, and therefore the security and neutrality of the blockchain. And the main problem here is that in the current design of Ethereum and, in fact, all blockchains, each validator must re- execute every transaction on the chain.

And so the only way to get around this scaling problem is to solve this bottleneck by eliminating the need for re-execution when checking the chain. Now, Ethereum's roadmap to achieve this goal, and this is unique among blockchains, is to prove execution with zero- disclosure proofs, so that validators only need to verify proofs, rather than re- executing entire blocks. Now, to dive a little deeper into how this works, a zero- disclosure proof is a piece of cryptography that allows anyone to prove that a program, in this case the Ethereum state transition function, was executed correctly, so that anyone else can verify that proof very cheaply. This allows Ethereum consensus to prove Ethereum execution once and then verify it with a constant value by all validators. And the main thing this gives Ethereum is the ability to separate gas limits from validator hardware requirements.

And this will allow Ethereum to scale without compromising the decentralization and neutrality that are so important. Okay, so how do we actually achieve this in ZK? The main innovation in zero- disclosure proofs over the last two to three years is the introduction of the so- called ZK virtual machine. It is a technology that abstracts the cryptographic complexity of zero- disclosure proof deployment and allows developers to verify the execution of arbitrary computer programs. In particular, for Ethereum clients, this allows for direct proof of existing state transition functions that have been tested in a production environment for years, under zero- disclosure conditions.

And for other Ethereum-based applications, it allows developers to write the logic of their applications in a regular programming language and directly test it in a zero- disclosure environment. The implication of this is that ZK virtual machines make zero- disclosure proofs available to both Ethereum and applications on Ethereum. We're in New York now, so I think the broader trend in zero- disclosure over the last few years is that ZK is now becoming institutionally ready institutionally ready . And that's why at Axiom we're developing a ZK virtual machine called Open VM. And we believe that the key characteristics important for institutions to rely on this type of cryptography are performance, security, and versatility.

So by the end of the conversation, I'll tell you how we're doing on each of these fronts and how we're meeting the highest institutional standards. When it comes to performance, one of the most important milestones for ZKVM, and OpenVM in particular, is the ability to keep up with Ethereum itself. This means proving the execution of an Ethereum block within the Ethereum block time, namely in real time. And with OpenVM, I'm happy to say that we're now comfortably within that timeframe. What you see here is a histogram of how long it takes OpenVM to verify the execution of Ethereum blocks for an entire day.

You can see that the verification time ranges from just over 1 second to a maximum of 10 seconds. And the average value is 4.7 seconds, which is quite consistent with the 12- consistent with the 12- second Ethereum slot time. So in OpenVM we are quite confident in testing Ethereum. But we believe ZK can do more.

In fact, OpenVM is capable of performing general- purpose computing, and we have benchmarked general-purpose computer processors. In this benchmark, OpenVM is capable of performing calculations at a frequency of 964 MHz. So for developers, this means that if you can run something on your CPU, and if it was good enough to run your application on a GHz CPU, it's good enough to be proven with OpenVM. This means that performance is no longer a bottleneck for deploying zero- disclosure proofs in production. Moreover, this performance scales quite quickly.

At the beginning of last year, we were over 75 times slower than OpenVM is today. And we see a very direct rhythm of performance improvement in the coming months. The bottom line for Ethereum is that with Ethereum’s current scaling roadmap, the performance improvements of zero-disclosure proofs directly translate into improvements in Ethereum’s throughput. So we at Axiom are very excited to start implementing increased gas limits for Ethereum. Historically, zero disclosure has been associated with performance issues.

It was simply too slow and too expensive. Now that this issue is resolved, we can turn to something that is perhaps even more important for institutions, namely security. So, at Axiom, we believe that the best zero- disclosure proof systems to be used in production should be built on extremely rigorous mathematical and cryptographic foundations. That's why we took a vertical approach to developing Open VM. We started with a new zero- disclosure evidence system called Swirl.

The proof system has proof- security, meaning that the cryptographic foundations depend only on mathematical theorems and not on theorems and not on any hypotheses, some of which have actually been proven false over the past year. Additionally, as many have seen, there is a rapid development of quantum computing that threatens certain cryptographic primitives. We designed Swirl as a post-quantum system at its core. This means that we only use the assumption that hash the assumption that hash functions are random oracles. And this is the most minimal cryptographic assumption that can be made that is expected to remain robust under quantum computing.

And finally, we strive for a strict level of security. Open VM has 100 bits of proof security today. And we expect to reach 128-bit security by the end of the year. Now, in addition to this foundation, as men, even if you have good math, you can still be broken by artificial intelligence. Therefore, we believe that anyone who creates cryptographic technology needs to innovate in defensive security in today's environment.

We take a multi-layered approach to actually securing Open VM. Of course, we have traditional internal and external security audits through our partners at Cantina and ZK Security. But we are also starting to innovate in new methods of protecting the system. First, we developed a continuous AI auditor that runs internally and scans all system updates to detect security vulnerabilities before they even enter our production process. And second, we begin to formally validate every element of OpenVM using Lean theorem testing.

We believe this is the only way to obtain fundamental guarantees of program correctness that cannot be broken by AI. So everyone has different myths related to both DeFi and basic cryptographic primitives. At OpenVM, we are excited to innovate to protect against them. So, now that we’ve covered performance and security as the core features that the ZK system can provide , we’re excited to talk about some of the applications we think it will bring to Ethereum. Fortunately for application developers, the maturity of ZK allows developers to take advantage of the same performance characteristics as Ethereum L1.

Through our partnership with Lighter, we are working to develop the Lighter EVM, an on- chain equivalent of EVM that can leverage the vast liquidity and markets available on Lighter’s spot and perpetual platforms. And we believe this can offer users the best of both worlds between Ethereum L1 and the Lighter exchange. Lighter is a ZK-verified, ultra-high-performance perpetual options exchange. We are also adding programmability to Lighter by adding an Ethereum virtual machine environment. Perhaps more traditionally, we also support, um, more universal collapsing, such as Scroll.

Where, by integrating with OpenVM, Scroll can become a ZK type 1 rollup and include EVM updates while writing them in regular Rust code. And in both of these use cases, the key feature that we find exciting is that the developers of these projects were able to focus more on the logic and features of their applications, and less on implementing them both productively and securely in ZK. So, with the advent of productive and secure ZK systems and secure ZK systems , we truly believe that this year is the year that zero- disclosure evidence will be ready for institutional use cases. We see the benefits they can provide to security institutions for scaling on- scaling on- chain applications that inherit Ethereum security to modalities such as trading, bridging, and aggregation hosted on Ethereum L1. Incorporating more privacy into apps for confidential payments or identity verification.

And also expanding the scope of cryptographic verification beyond what can traditionally be considered blockchain applications. So, in our opinion, zero-disclosure evidence is finally reaching institutional maturity. And at Axiom, we’re excited to help institutions actually deploy them. So in conclusion, there are two important conclusions that I want you to draw from this report. First, zero- disclosure ZK virtual machines are now one of the main drivers of Ethereum scaling, both securely and neutrally.

And with OpenVM at Axiom, we offer the benefits of institutional use of ZK value around Ethereum and even beyond the blockchain. So if you want to know more, you can visit our visit our website or email me directly. Thank you.

Automatic transcript — names and jargon may be misspelled.