Filter
Exclude
Time range
-
Near
.@0xLita released Valida zkVM 1.0.0. Key features include parallel proving for multi-segment proofs, faster iterations, improved correctness checks, LLDB debugger support, and optimized codegen. 7/
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 🧵
1
2
Yay, that's a big milestone! Congrats team! 🎉
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 🧵
6
Valida is a fascinating piece of zkVM technology. Congrats on the v1.0 milestone! 🎉 I've been wanting to use Valida in @CharmsDev for a while. We are now moving fast towards adopting it.
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 🧵
2
1
3
okay so we've been building valida 0.1 to 0.9 for 3 yrs. now it's finally 1.0!! forgive our (or my, or morgan's?) OCD!!!!! huge thanks to Ivan @imikushin and Hideaki Takahashi for contributing to valida. we will have more updates in the next release <3
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 🧵
2
2
9