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.
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