OpenVM

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.

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! 👇

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/ope… • Read the full announcement: blog.openvm.dev/fv

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.

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.

@BrianRetford One core at a time...

@openvm_org Impressive! Wen multi-core?

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.

@PGrinaway50448 It does not yet support zero-knowledge at the SWIRL level, but it can be added via a SNARK wrapper.

@openvm_org Sweet! Does it support zero-knowledge? If not, how complex would you estimate adding that capability to be?

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

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

To try out the new release, check out: * Updated developer docs at: book.openvm.dev * The v1.4.1 release on Github: github.com/openvm-org/ope… Read the full announcement at: blog.openvm.dev/openvm-v1.4.1

Today we are releasing OpenVM v1.4.1 with substantial performance improvements in the GPU prover relating to memory optimizations. OpenVM now proves average-case Ethereum mainnet blocks in less than 12 seconds and for as low as $0.0001 per transaction.

7/ To learn more about OpenVM v1.4.0, check out: * Github: github.com/openvm-org/ope… * Updated developer docs: docs.openvm.dev * Technical developer chat: t.me/openvm or read the full announcement: blog.openvm.dev/openvm-gpu

6/ To try out OpenVM on GPU, get started at the updated developer book: docs.openvm.dev/book/getting-s… Day 1 hosted proving support is also available through @axiom_xyz on the Axiom Proving API.

We are excited to release GPU proving today in OpenVM v1.4.0, which also includes a new execution system running at 150 MHz and orchestration for distributed proving on hundreds of GPUs. This release substantially improves performance and is MIT / Apache 2.0 licensed.