We are excited to announce that we have formally verified @openvm_org's Keccak and SHA-2 circuits using @leanprover, proving that each circuit constrains exactly the hashing algorithm specified by @NIST for every possible input.
Here's what we proved and why we did it:
Show more
Excited to see agentic security spread from crypto to the broader software landscape. Congrats to @gf_256 and @ret2jazzy on the raise!
We are excited to release OpenVM 2.1 Preview, an early look at OpenVM's performance trajectory.
OpenVM now proves Ethereum mainnet blocks in real time on only 4 5090 GPUs, delivering a p99 time of 9.7s while cutting hardware requirements in half from OpenVM 2.0.
Show more
Our AI auditor for ZK found a soundness vulnerability in stwo-cairo, the zero-knowledge proof system securing @Starknet.
Starting from a general prompt, it autonomously found the vulnerability and created a PoC forging a proof accepted by both the Rust and recursive verifiers.
Show more
We're excited to announce the production release of OpenVM 2.0, featuring state-of-the-art performance and enterprise-ready security.
OpenVM 2.0 proves Ethereum in real time on 8 GPUs and is secured by a combination of human review, formal verification, and continuous AI audits.
Show more
We are announcing OpenVM 2.0.0, the first production release of OpenVM 2.0.
This release is externally audited with expanded formal verification and proves Ethereum mainnet in real time on as few as 8 GPUs. Proving times are down 95x since the first release 18 months ago.
Show more
A big advantage of using ZK for security is the ability to aggressively optimize the sequencer for latency while maintaining cryptographic integrity guarantees. Cool to see a deep dive into how @Lighter_xyz does the former!
Show more
We’ve been iterating on devnets with early integration partners over the last few months to ensure smooth developer flows for stablecoins, bridges, and vaults.
We expect to launch a public testnet soon and are excited to work with the developer community to use Lighter EVM for easier user onboarding and new composable financial products on Lighter!
Show more
We are excited to release OpenVM 2.0 Beta, which features substantial performance gains over the OpenVM 2.0 Alpha release in January.
OpenVM 2.0 now proves mainnet Ethereum blocks in a p99 time of 7.9s on 16 5090 GPUs and has 964 MHz RISC-V throughput on 64 GPUs.
Show more
Today we're releasing OpenVM 2.0 Beta, which proves Ethereum mainnet blocks in a p99 time of 7.9s on 16 GPUs and hits 964 MHz RISC-V throughput on 64 GPUs, making it the fastest zkVM on @eth_proofs.
Here's what's new and what's next:
Show more
Excited to discuss Lighter EVM with the community on Friday!
We are starting to roll out the Lighter EVM devnet to developers!
Join us for a Q&A on Friday with our founder, lead architect, and @theyisun from @axiom_xyz, our partners in building Lighter EVM.
Show more
Real-time Ethereum proving just became reality, and Yi Sun (@theyisun) is showing us how OpenVM 2.0 makes it possible at the Applied Cryptography track.
This changes everything for blockchain verification speed and scalability.
Show more
Excited to see a WASM zkVM built on @openvm_org.
Our vision for OpenVM has been to support a diverse set of ISA frontends on top of a uniform backend, and it's been impressive to see @powdr_labs prove the thesis by shipping WASM and even integrating Geth!
Show more
Announcing powdr-wasm!
powdr-wasm is an optimized zkVM for WASM, built on top of @openvm_org and the novel 𝑐𝑟𝑢𝑠ℎ ISA.
Early benchmarks already show 1.5x fewer trace cells & faster proof times compared to RISC-V (OpenVM).
It also supports Go guests via WASI!
👇
Show more
Excited to use this as part of our development workflow at @axiom_xyz
V12 is now live for open beta. It can:
- Find valuable bugs
- Generate working, runnable PoC
- Generate patch and test the PoC against it
In our testing during audits at Zellic, Zenith, and Code4rena we've been consistently impressed.
Best of all: it's free. (Don't abuse it!)
Show more
The functional correctness of the OpenVM RV32IM extension has been formally verified using @leanprover by @Nethermind with support from @ethereumfndn.
This marks a major step in incorporating formal methods into OpenVM's development process that we will maintain going forward.
Show more
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.
Show more
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.
🧵
Show more
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.
Show more
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.
Show more
We are excited to announce OpenVM 2.0 and the SWIRL proof system.
On 16 5090 GPUs, OpenVM 2.0 proves Ethereum mainnet blocks in real time at a p99 level and reaches 139 MHz on general RISC-V workloads. It supports 100 bits of provable security and < 300 kB proofs.
Show more
