OpenVM
@openvm_org
A performant and modular zkVM framework built for customization and extensibility. Learn more at
0 Following 1.2K Followers
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
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
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 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
