We are excited to announce OpenVM, a novel open-source zkVM framework prioritizing modularity and extensibility across the ISA, toolchain, ZK circuits, and proof system. OpenVM is built for the future of zkVMs, where developers seek customization and exte

How to get the bugs out of SNARKs so they can fulfill their promise of unparalleled scalability and enhanced privacy

Announcing the release of powdrVM 0.1, a significant milestone in our journey to build a future-proof, high-performance zkVM.

Following our initial exploration of zkVMs in our previous blog post [1],

Demystify zkVM design and trade-offs that shape a zero-knowledge virtual machine.

Succinct Processor 1 (SP1) is a zkVM that that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 targets an order of magnitude performance improvement vs. existing zkVMs, and its alpha release is already up to 30x faster…