visiting princeton physics for 3 days if anyone is around!

Is anyone working on open source autoregressive image models?

more and more people are trying WASM-Valida from bitcoin communities, gaming engines and new L1s etc. use cases are getting more diverse than block provers it seems! keep building

do more with less, lean team is more important than ever

One of Valida’s visions was to make prover accessible on consumer devices. It runs on your phones, laptops, and in future AR glasses and wearables etc. But if people are asking for Valida on more powerful machines, we’ll do it. Excited to share our PoC and join the party

back in sf, would love to cowork / grab coffee with founders! :)

🥰

Custom is better. Valida ISA + Compiler Toolchain

If the goal of this eth proposal is both efficiency and developer productivity, then a custom ISA like Valida with LLVM / WASM compiler toolchain should be one of the top choices. The beauty of this space is always challenging status quo and inventing new technologies, isn't it?

what ultimately matters to end users / developers is - cheaper - with familiar developer toolchain - secure risc-v or valida or risc-10, it doesn't matter eth needs to focus on the end, not the means

valida

I would also question the choice of risc-v as the native instruction set for a blockchain. - if we need something thatis as zk-friendly as possible, we can do much better than risk-v (i.e., no need to care about registers). So, something like Lita's approach would work

Whoops holidays and back with ZK on fire following vitalik.eth post on replacing EVM exec with Risc-V On proof generation side, the discussion so far has been missing the biggest cost contributors to ZKVM, ISA calling conventions and addressing mode. ethereum-magicians.org/t/long-term-l1…

Re: vitalik.eth’s proposal Why we think Custom ISA > RISC-V for Ethereum’s future. lita.foundation/blog/optimizin…

why we think zk-optimized ISA > risc-v for eth's future lita.foundation/blog/optimizin…

“Optimizations in the ISA are multiplicative with improvements on the prover" Mamy Ratsimbazafy 🦇🔊 presented Valida and our latest roadmap updates at Ethproofs Call #1 (1:29:55 - 1:34:10) Valida ISA formal spec™

Valida ISA 📄

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