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
Lita retweeted
1/ At @0xLita, we've built an automated benchmarking system that rigorously tracks Valida zkVM's execution time, memory efficiency, and scaling behavior. Our custom Nim-based analyzer (@Vindaar🥷) processes CI runs to detect performance regressions or improvements.
By running ery pull request and every release version of Valida, we can track how performance changes over time, without having to rely on sporadic benchmark runs. It makes it so that we can directly pinpoint (and hopefully avoid) performance regressions when working on new features for example. Or vice versa to quantify the kind of performance improvements a change in the code yields.
For developers building with Valida, this represents a new standard in performance transparency.
By running ery pull request and every release version of Valida, we can track how performance changes over time, without having to rely on sporadic benchmark runs. It makes it so that we can directly pinpoint (and hopefully avoid) performance regressions when working on new features for example. Or vice versa to quantify the kind of performance improvements a change in the code yields.
For developers building with Valida, this represents a new standard in performance transparency.
3
3
32
2,803
A glimpse into @ZuBerlinCity cryptography agenda: the snapshot of the most hot and sharp topics inhabiting blockchain
--> 'risc v or not risc v' a panel with @leonardoalt from @powdr_labs, @levs57 (online) from @alloc_init_, @carlo_cretino50 from @0xLita and more
--> 'FHE withouent to Zama and Duality performance' by Ilya Rososhek from Mathlock
--> 'Is folding dead?' with @liameagen from @AlpenLabs
--> 'Google's zkID: is it zk adoption we hoped for so long?' a panel with
@therealyingtong from Ethereum Foundation, @madztheo from @ZKPassport and @olkurbatov from @Rarimo_protocol
--> '25 zkVMs: Too few or too many?' a panel with @ETazou from @KakarotZkEvm, @jimpo_potamus from @IrreducibleHW, and @Zac_Aztec from @aztecnetwork
--> 'co-snarks: technology evolution and where we are heading to' by Franco Nieddu from @TACEO_IO
--> 'Can we ever zk-prove LLMs' by @CamutoDante from @ezklxyz
--> 'iO: hopes and doubts' by @backaes from @PrivacyScaling @machina__io
--> 'ZK-VM fuzzing' by @codytouchgrass from Ethereum Foundation
--> 'Lattice-based snarks' by @KhanhCrypto from @KingsCollegeLon
--> 'zkTLS: is it real?' a panel by @sylvechv from @hyli_org, @Mojtek from @vlayer_xyz and more
--> 'ZK formal verification' by @hackerdocc
--> 'Emulating OP RAND in Bitcoin' by @olkurbatov
--> 'zkLinux' by @stskeeps from Zippie
--> 'Deep dive into FFTs' by Matan Prasma from Ethereum Foundation
And your bonus sessions:
--> 'How to stay sane in crypto' a fireside chat by @hudsonjameson and me
--> 'Technical education in 2025: tech writing, twitter, tiktok and what not' by @DAppaDanDev and @portport255 from @zksync
Several more talks TBA (Poseidon hash, state of quantum cryptography, state of art ZK, real world crypto, etc)
The last but not the least: it is still one month till ZuBerlin happens – you have enough time to change the plans :P
Apply here >>> join.zuberlin.city/apply
2
0
15
1,473
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! ABbK3dNos
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! ABbK3dNos
5
0
44
7,872
Lita retweeted
After 3 years of design and engineering, we’ve stabilized the Valida architecture and published the first version of the ISA spec.
This is our first step toward making Valida an open standard—like what RISC-V did for general-purpose computing.
We’re deeply grateful to everyone who’s been part of this journey—whether through code, feedback, late-night brainstorms, or connecting us to the right people. Your support shaped Valida, and we truly couldn’t have done it without you.
Appreciate our core contributors: our team @0xLita, @dlubarov, @maxgillett, @_weidai and support from: @drakefjustin, @alexanderlhicks, @sandeepnailwal and many many others
This is our first step toward making Valida an open standard—like what RISC-V did for general-purpose computing.
We’re deeply grateful to everyone who’s been part of this journey—whether through code, feedback, late-night brainstorms, or connecting us to the right people. Your support shaped Valida, and we truly couldn’t have done it without you.
Appreciate our core contributors: our team @0xLita, @dlubarov, @maxgillett, @_weidai and support from: @drakefjustin, @alexanderlhicks, @sandeepnailwal and many many others
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.
1
4
46
10,614
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.
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.
7
12
64
9,357
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. fs.
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. fs.
1
0
5
265
Custom ISA for Ethereum?
We argue: ZK implementations at scale demand VMs with purpose-built ISA.
We wrote about why this matters for Ethereum:
lita.foundation/blog/optimizin…
We argue: ZK implementations at scale demand VMs with purpose-built ISA.
We wrote about why this matters for Ethereum:
lita.foundation/blog/optimizin…
0
0
7
431
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 ventali@lita.foundation.
For urgent matters, please reach out through official Lita channels, or email ventali@lita.foundation.
0
8
28
10,223
⊝ Nim-to-CUDA Mini Compiler ⊝
Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees
A Deep Dive: lita.foundation/blog/nvrtc-cud…
0
0
15
944
Lita retweeted
Spicy take. @nim_lang will be the best language for code generating high performance GPU kernels for AMD, Metal. Nvidia, OpenCL, Vulkan. And those macros ☄️🔥 forum.nim-lang.org/t/12868
Only ~1000 LOC for a compile-time macro-based Cuda codegenerator to compile Nim to Cuda
Only ~1000 LOC for a compile-time macro-based Cuda codegenerator to compile Nim to Cuda
Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees
A Deep Dive: lita.foundation/blog/nvrtc-cud…
0
5
29
2,138
Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees
A Deep Dive: lita.foundation/blog/nvrtc-cud…
A Deep Dive: lita.foundation/blog/nvrtc-cud…
1
11
66
11,325
“Optimizations in the ISA are multiplicative with improvements on the prover"
@m_ratsim presented Valida and our latest roadmap updates at @eth_proofs Call #1 (1:29:55 - 1:34:10)
Valida ISA formal spec™
@m_ratsim presented Valida and our latest roadmap updates at @eth_proofs Call #1 (1:29:55 - 1:34:10)
Valida ISA formal spec™
📺 Recording:
Ethproofs Call #1 | zkVMs youtu.be/4E-yaX-F7Qw?fe… via @YouTube
📊 Presentation Slides:
drive.google.com/drive/folders/…
3
1
31
4,798
Re: @VitalikButerin’s proposal
Why we think Custom ISA > RISC-V for Ethereum’s future.
lita.foundation/blog/optimizin…
Why we think Custom ISA > RISC-V for Ethereum’s future.
lita.foundation/blog/optimizin…
9
15
117
17,836