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 🤍

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 🧵

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

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

We’re now on @AREdotNA! We’re sharing curated research, team insights, and everything behind what we’re building at Lita - all organized in public channels. 📂Publications, resources, and research 📂 Slide decks from past talks 📂 Design and branding Expect regular updates! Dive in: are.na/lita-engineering/chan…

The Valida ISA Formal Spec (PDF ⬇️) This specification intends to guide implementors of zkVMs and compiler toolchains for Valida. It provides an unambiguous definition of the semantics of Valida programs and may be used as a starting point for formalization efforts.

Bridging the Usability Gap of Custom ISAs RISC-V benefits from native rust support but custom ISA traditionally sacrifices usability - until now. We've built a compiler toolchain for Valida that delivers native ISA performance from C/Rust/WASM code. No new languages to learn. No performance trade-offs.

The Valida ISA Designed from the ground up and optimized for end-to-end ZKP generation. Eliminates unnecessary components like general-purpose registers and incorporates only the essential special-purpose registers, greatly improving performance and efficiency.

Conventional ISAs like RISC-V assume hardware realities that don't exist in ZK: