Jonathan Wang ⨇

Excited to announce OpenVM, a new performant and modular zkVM framework built for customization and extensibility. It was very fun contributing to the initial design. This will be the future of zkVM design — user-led customization without forking the core architecture.

crush

Our Formal Verification team led by @PetarMax, with support from @EthereumFndn, has verified in Lean the correctness of the OpenVM RISC-V extension built by @axiom_xyz. This work proves instruction-level correctness and, for the first time, execution and memory consistency. 🧵

We were able to formally verify our RV32IM circuits in Lean - moreover it was done in an extensible way with a framework for Lean constraint extraction that will be reusable for all future circuit designs.

We partnered with @Nethermind with support from @ethereumfndn to formally verify the functional correctness of the OpenVM RISC-V extension using @leanprover. Alongside this, we are introducing provable 100-bit security on the Axiom Proving API with the new OpenVM 1.5.0 release.

We are excited to announce a collaboration with @Lighter_xyz to build Lighter EVM with ZK verification using @openvm_org. Lighter EVM is an EVM-equivalent rollup which can natively access the liquidity of Lighter's perps and spot markets.

We are excited to announce that Axiom is proving Ethereum in real time with OpenVM 2.0. OpenVM 2.0 proves mainnet blocks at a p99 level on 16 GPUs with 100-bit provable security and < 300 kB proofs.

Great to see that hash based proof systems can still have it all!

Build with ZK the way you would any other app, now with multi-GPU distributed proving. Whether you prefer console, CLI, or SDK, we have you covered: any ZK proof is only an API call away.

A lot of hard work went into this one. We explored the full spectrum of computing optimizations, and we're proud to make every performance optimization we developed fully open source -- you can build from source and try it out for yourself!

@leonardoalt You’re not providing enough mentorship

Rust friends, what am I doing wrong, Claude seems horrible for Rust? Tries random greps instead of RA, RA w/ MCP barely works, trips on anything non-trivial, ignores explicit commands, tries to change stuff in dependencies etc etc

Security advisory -- OpenVM v1.1.2 and earlier are affected by a vulnerability in Plonky3: github.com/Plonky3/Plonky… github.com/openvm-org/ope… The new OpenVM v1.2.0 release has been upgraded to reflect a patched version of Plonky3, and all known live deployments have been updated.

powdr did some really interesting work! they worked directly with the OpenVM ISA to auto-optimize code -> circuits. really excited to see how this can further accelerate guest programs

We are excited to announce the v1.0.0 release of @openvm_org. OpenVM is now recommended for production use after a competitive audit by @cantinaxyz. At Axiom, we look forward to working with teams to unlock the power of ZK in production with OpenVM.

After one year of development and a competitive audit by @cantinaxyz, we are excited to release the first production v1.0.0 version of OpenVM. This is the next step in our mission to build a modular zkVM framework giving developers extensibility without tradeoffs on performance.

Last week, Scroll Sepolia underwent its biggest upgrade yet, transitioning from Halo2 to a zkVM. I want to take a moment to highlight the broader benefits of zkVM for the entire technical community. Until now, deploying a custom zkRollup has been nearly impossible for small development teams. zkEVM implementations from Scroll, Polygon, and Linea contain tens of thousands of lines of code that require deep ZK expertise to understand—effectively making them black boxes for most developers, with little room for modification. (1/3)

Great thread explaining how OpenVM's memory architecture works at the STARK level!

OpenVM: Modular ZK, Maximum Flexibility The latest SNARK CHOCOLATE pod just dropped! 🍫 Heads up! This is a technical conversation with Yi Sun (@theyisun) and Jonathan Wang (@jonathanpwang), co-founders of AXIOM (@axiom_xyz), exploring OpenVM (@openvm_org) and its impact on ZK development 🔥 ✅ OpenVM as a modular ZKVM framework – Customize proofs without sacrificing performance. ✅ Rust-based developer experience – A familiar interface for seamless ZK integration. ✅ NoCPU architecture – Eliminates the need for a central processor, enhancing modularity. ✅ Continuations for scalability – Supports unbounded computations with custom opcodes. ✅ Future-proof proving systems – Swappable backends for evolving ZK technology. ✅ Scroll collaboration & industry impact – Building an open and extensible ZK ecosystem. ✅ Axiom’s shift from a ZK coprocessor to OpenVM – The drive for greater flexibility. ✅ Beyond rollups – Enabling verifiable Web2 data and new cryptographic applications. Tune in to explore the latest in ZKVM technology! 🔗 Learn more about OpenVM: openvm.dev 🎧 Listen here: 🔽 Spotify (2nd post) ⏬ Apple Podcasts (3rd post)

Look what just breezed through the doors of the Cantina—an @openvm_org code review competition presented by @axiom_xyz 🪐 OpenVM is a performant and modular zkVM framework built for customization and extensibility. 💰 $100,000 📆 Live now - March 10 🔗 Below

The first competitive security review for OpenVM is now live on @cantinaxyz. Compete for the $100,000 prize pool until March 10 by reviewing the ZK circuits, VM framework, and Rust toolchain for OpenVM.

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.