We're building Valida - the most performant zkVM. Supporting Rust, C, WASM and client-side proving
San Francisco
Joined August 2024
- Tweets 184
- Following 18
- Followers 2,850
- Likes 457
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 the benchmark CI for every 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.
Hear from Carlo (@carlo_cretino50) on
risc v or not risc v ?
at @ZuBerlinCity
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 without overhead, 6x improvement 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
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…
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
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/optimiz…
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.
Compounding Efficiency Gains
Each architectural improvement in the ISA delivers compounding gains for the prover's efficiency.
“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™
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
Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees
A Deep Dive:
lita.foundation/blog/nvrtc-c…
Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees
A Deep Dive:
lita.foundation/blog/nvrtc-c…
“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™
📺 Recording:
Ethproofs Call #1 | zkVMs piped.video/4E-yaX-F7Qw?feature… via @YouTube
📊 Presentation Slides:
drive.google.com/drive/folde…
Re: @VitalikButerin’s proposal
Why we think Custom ISA > RISC-V for Ethereum’s future.
lita.foundation/blog/optimiz…