Pinned Tweet
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.
Congrats @0xLita for open-sourcing Valida VM 🎉
Only Valida and Miden target Ethproofs in 2025 with custom zk-friendly ISAs—high risk, high reward 💪
9
11
93
16,813
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 🧵
This version brings parallel proving, debugger support, smarter codegen, and stronger soundness checks.
Thread 🧵
6
5
39
5,907
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.
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
0
8
761
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 🧵
From client-side proofs to Ethereum block proving, this release pushes the boundaries of ZK performance and usability.
Highlights below 🧵
9
4
42
6,648
– Rust & LLVM toolchain updates
– Docker for x86 & ARM
– Expanded stdlib
And introducing ReVa — an Ethereum block prover built in Rust.
– Docker for x86 & ARM
– Expanded stdlib
And introducing ReVa — an Ethereum block prover built in Rust.
1
0
5
777
Lita retweeted
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!
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!
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.
4
7
58
5,347
Mamy (@m_ratsim) speaking about custom ISA vs RISC-V at @HouseofZK's ETH Proofs Summit.
3
2
42
1,952
Thanks for the invite! watch the full panel + stream:
x.com/HouseofZK/stat…
x.com/HouseofZK/stat…
House of ZK's Ethproofs Summit x.com/i/broadcasts/1…
0
0
4
749
Lita retweeted
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 ng the architectural and hardware bottlenecks to achieving sub-12s proving for Ethereum L1 blocks 🤝
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 ng the architectural and hardware bottlenecks to achieving sub-12s proving for Ethereum L1 blocks 🤝
1
6
58
3,936
Lita retweeted
@RiscZeroL@ethereumh@ProjectZKMG@MyntUSDr@SuccinctLabsA@monad_xyzo@megaethe@zksynco@powdr_labs @axiom_xyz, lever@0xLitaim’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 plannembs and additional platform targets: lita.foundation/blog/nvrtc-cud…
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/benchmark…
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/…
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/stat…
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/stat…
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/benchmark…
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/…
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/stat…
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/stat…
What does the future look like when proofs become liquid and zkVMs interoperable by default?
Join us at our @eth_proofs Summit for this visionary panel on proof markets, protocol architecture, and cross-chain zkVM interoperability 🤝
🗓 June 10th, 4.30pm
📍 House of Music, qzyxrykZWk
Featuring:
🔹 @carlo_cretino50, Cryptography Engineer at @0xLita
🔹 @sd_eigen, CTO of @ProjectZKM
🔹 @NorbertVadas, Head of Product at @thezkcloud
🔹 @schmiddominik1, Co-founder of @0xMiden
🔹 @alicelingl, Host at @HouseofZK
1
1
12
651