Valida team Lita Engineering is looking for one top crypto engineer. Based in SF. Needs to be actively working on SNARK optimizations and have deep theory background and engineering experience working with proving system. DM me your CV + code samples if interested.

It's an honor to call you my colleague, Mamy Ratsimbazafy 🦇🔊 ! I am confident that with Lita you will continue to make a huge impact on the ZK proving space, much as you did before at Taiko.eth 🥁 !

Introducing Valida Rust Alpha Compiler.

Try Valida Playground v1.0 valida.dev

Big breakthrough by Lita's compiler team!

ia.cr/2025/118 ....uh oh, rip the ROM!!! provable security in the standard model is notoriously hard. This result shows that complexity restrictions on the circuit/proof system are needed for any standard model security result on a system using Fiat-Shamir.

We’ve been discussing the recent paper —eprint.iacr.org/2025/118 — “How to Prove False Statements: Practical Attacks on Fiat-Shamir” by Khovratovich, Rothblum, and Soukhanov, which highlights a diagonalization attack against certain GKR-based proof systems that embed their own

Valida 0.8.0 Core WASM Support Valida API CPU Runtime Detection and more (↓)

Wow!

😳

Introducing the Keccak Acceleration Chip Accelerating block proving with Valida zkVM.

Introducing Lita Studios 🧵

Introducing the Lita Layer 4: An Interplanetary-Scale Super World Computer.

Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees A Deep Dive: lita.foundation/blog/nvrtc-cud…

Ventali’s Twitter (Ventali ) and Telegram (@ventali08) accounts have been compromised. Please do not engage with any messages from those accounts until further notice. For urgent matters, please reach out through official Lita channels, or email [email protected].

Amazing work!

Custom is Better. The Valida ISA

It's an honor to be able to share with you the Valida ISA spec, version 1.0, after many late nights of writing!

Congrats to the ZKM team on the great results!

I'm excited to share the latest version of Valida! This release greatly expands the capabilities of Valida by enabling it to prove longer executions using multi-segment proofs.