A performant and modular zkVM framework built for customization and extensibility. Learn more at openvm.dev.
Joined December 2024
- Tweets 58
- Following 0
- Followers 1,196
- Likes 5
13 Photos and videos
Pinned Tweet
Apr 15
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.
2
4
21
2,384
Apr 15
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.
2
4
21
2,384
Apr 15
6/ On Ethereum mainnet block 21,000,000, proving time has dropped to 3.5s, continuing a trend of 25% month-over-month reduction throughout the 15 months since the v0.1 release of OpenVM.
1
1
202
Apr 15
7/ OpenVM 2.0 Beta is now available under MIT and Apache 2.0 dual-license in pre-production preview. To try it out, check out:
Preview docs: docs-preview.openvm.dev
GitHub: github.com/openvm-org
Dev chat: t.me/openvm
Full announcement: blog.openvm.dev/2.0-beta
3
195
OpenVM retweeted
Mar 17
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!
π
7
14
99
15,896
Feb 10
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.
3
5
24
2,047
Feb 10
5/ OpenVM is also making a broader move towards provable security. OpenVM 1.5.0 is available with 100 bits of provable security on GitHub under MIT / Apache 2.0 dual-license, and the upcoming OpenVM 2.0 will also feature 100 bit security. We are actively working towards 128 bits.
1
1
239
Feb 10
6/ Together, these efforts push OpenVM towards a future where the strength and correctness of its security are backed by formal methods.
β’ The full report is here: github.com/openvm-org/openvmβ¦
β’ Read the full announcement: blog.openvm.dev/fv
2
205
Jan 29
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.
7
12
87
7,052
Jan 29
5/ On the industry standard CoreMark benchmark for embedded CPUs, OpenVM 2.0 scales from proving speeds of 11.4 MHz on a single 5090 GPU to 139 MHz on 16 5090 GPUs, reaching speeds near those of physical processors.
Learn more about CoreMark here: github.com/eembc/coremark
1
7
523
Jan 29
6/ OpenVM 2.0 will be supported shortly in preview on the @axiom_xyz Proving API. To learn more about OpenVM 2.0 and SWIRL, check out:
* SWIRL Whitepaper: openvm.dev/swirl.pdf
* Technical developer chat: t.me/openvm
or read the announcement:
blog.openvm.dev/2.0
8
624