Big milestone for us — Valida is now open-source! One of the fastest and most user-friendly zkVMs, now ready for the world to build on.

Start building ⬇️ 🔗 github.com/lita-xyz/valida-r… Blog post: lita.foundation/blog/introdu…

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.

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.

Soundness improvements - Boolean constraints added for opcode flags - Program trace consistency checks - VM enforces last instruction = STOP These checks strengthen correctness across the board.

Faster iteration Our fast-run mode got important fixes, making benchmarks + quick iteration smoother.

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.

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 🧵

next release soon 🤍

📖 Full release notes & vision: lita.foundation/blog/announc… Dive in & contribute.

– Rust & LLVM toolchain updates – Docker for x86 & ARM – Expanded stdlib And introducing ReVa — an Ethereum block prover built in Rust.

🛠️ What’s new in Valida 0.10.0: - Continuations: prove execution in parts - WASM support in the browser - Floating point + memcpy + secp256k1

Releasing Valida Plus — our biggest update yet to the Valida zkVM. From client-side proofs to Ethereum block proving, this release pushes the boundaries of ZK performance and usability. Highlights below 🧵

Valida is now open-source. We started Valida as an open project — and we’ll keep building it in the open. It’s hard to push forward a fundamentally different architecture in a world that rewards short-term wins. But this is who I am, and what this team stands for. So be it. Valida has already made a significant impact across the industry. By open-sourcing it, I hope we can take it further — to serve the wider world that needs trust in computation. Would love to support any teams that want to build on top of Valida!

source code: github.com/lita-xyz/valida-v…

Thanks for the invite! watch the full panel + stream:

Mamy (@m_ratsim) speaking about custom ISA vs RISC-V at @HouseofZK's ETH Proofs Summit.

hiii lita's in berlin! ღゝ◡╹)ノ♡

Nothing but ZK titans on our @eth_proofs Summit stage 🦾 We currently have @jbaylina (Co-founder of @0xPolygon), @BruestleJeremy (Co-founder of @RiscZero), @m_ratsim (Cryptography Engineer at @0xLita), @ks_kulk (Researcher at @SuccinctLabs) and @alexanderlhicks (Researcher at @ethereumfndn) discussing the architectural and hardware bottlenecks to achieving sub-12s proving for Ethereum L1 blocks 🤝

Lita @0xLita team has built a GPU library using NVIDIA’s NVRTC to generate CUDA code from Nim at runtime, leveraging Nim’s metaprogramming to compile a custom CUDA backend. Compared to ICICLE, a CUDA-accelerated cryptography library, their implementation achieved a 5.3x speedup in Merkle tree construction using the Poseidon2 permutation. The project will be open-sourced, with planned support for 64-bit limbs and additional platform targets: lita.foundation/blog/nvrtc-c… The team also published an article explaining how their benchmark analysis tool helps maintain Valida zkVM’s performance by tracking execution time, memory usage, and scaling behavior. The tool analyzes CI benchmarks, detects regressions, and models performance trends. It also quantifies optimization impact and will soon include energy metrics and hardware-normalized results. Future plans involve public dashboards for transparent performance tracking and ecosystem benchmarking: lita.foundation/blog/benchma… In addition, the project has released the first version of its ISA specification. The document offers a clear definition of Valida program semantics to support zkVM and compiler toolchain developers. This milestone marks Valida's move toward becoming an open standard, similar to RISC-V, with contributions from a wide network of collaborators: x.com/0xLita/status/19226222… Finally, Lita at the House of ZK @eth_proofs Summit event will take part in two panels including: 1) @m_ratsim, Cryptography Engineer at @0xLita, will join @jbaylina of @0xPolygon, @BruestleJeremy of @RiscZero, @pumatheuma of @SuccinctLabs and @alexanderlhicks of @ethereumfndn to discuss cutting-edge work on real-time acceleration of ZK proofs: x.com/HouseofZK/status/19305… 2) @carlo_cretino50, Cryptography Engineer at @0xLita along with @sd_eigen of @ProjectZKM, @NorbertVadas of @thezkcloud, @schmiddominik1 of @0xMiden and @alicelingl of @HouseofZK will discuss how evidence evolution and native zkVM interoperability will impact scalability, security and decentralisation of multichain ecosystems: x.com/HouseofZK/status/19320…