We’re releasing Valida zkVM 1.0.0 — our first major milestone. This version brings parallel proving, debugger support, smarter codegen, and stronger soundness checks. Thread 🧵
5
5
5
38
Parallel proving Valida now supports proving multi-segment proofs in parallel. Developers can configure how many segments to prove simultaneously — unlocking big speedups on modern multi-core hardware.

Sep 30, 2025 · 9:08 PM UTC

1
4
Faster iteration Our fast-run mode got important fixes, making benchmarks + quick iteration smoother.
1
4
Soundness improvements - Boolean constraints added for opcode flags - Program trace consistency checks - VM enforces last instruction = STOP These checks strengthen correctness across the board.
1
4
Compiler toolchain - LLDB debugger support (yes, you can step through Valida programs!) - Optimized branching on equality - Operand folding extended across basic blocks More efficient proofs, smaller overhead, easier debugging.
1
4
Special thanks to Hideaki Takahashi (Columbia University) for identifying + fixing three soundness bugs. 🤍 Valida 1.0.0 is a foundation: faster, more secure, more developer-friendly. We’ll keep scaling performance, expanding tooling, and enabling new classes of verifiable apps.
1
6
Start building ⬇️ 🔗 github.com/lita-xyz/valida-r… Blog post: lita.foundation/blog/introdu…

Valida zkVM 1.0.0 Release – Parallel Proving, Debugger Support, and Stronger Soundness

Valida zkVM 1.0.0 is here — bringing parallel proving, LLDB debugger support, optimized codegen, and enhanced correctness checks. This first major release marks a stable foundation for developers and...

lita.foundation
8