Aligned

Watch the full talk from the Main Stage at zkSummit14 in Rome here: youtube.com/watch?v=zCY-YH… 2/

.@diego_aligned explains the philosophy behind LambdaVM: our minimalistic RISC-V zkVM with fewer dependencies and a small codebase that is easier to audit, understand, and formally verify. 1/

if you could simplify one thing about building on ethereum, what would it be?

alignment awaits inside

believeth

banks processing your wire transfer.

scalable backend. all on ethereum. that's aligned. @rj_aligned

banks close on weekends. ethereum doesn't. the future isn't waiting.

building the future of finance on ethereum. tap to see how.

how i walk knowing that the future of finance will run on @ethereum

money keeps evolving. the next step is onchain.

what was your 'aha moment' with @ethereum?

the birth of a new financial era.

if @ethereum is the financial backend, why are wallets still the bottleneck? we made it invisible ↓

> Proof System • Goldilocks field, cubic extension, 128 bits of provable security • FRI as polynomial commitment scheme • Fully post-quantum, no elliptic curves > Status • ~27,000 lines today, targeting ~35,000. • Performance is competitive with state-of-the-art zkVMs. • A GPU version and proof-size optimizations are in progress. • @ethrex_client integration is done. Full talk from the Main Stage at zkSummit14 in Rome: youtube.com/watch?v=zCY-YH… 2/

LambdaVM at zkSummit14: A Talk on Our Minimalistic and Performant RISC-V zkVM At zkSummit14 in Rome, @diego_aligned (Co-founder and Head of Research at @alignedlayer) presented LambdaVM, a RISC-V zkVM built collaboratively by @class_lambda, @alignedlayer, and @3milabs. The goal is to make the zkVM easy to understand and easy to audit, using the same philosophy behind @ethrex_client, the execution client developed by @class_lambda. > The Problem Most zkVMs have hundreds of thousands of lines of code, creating huge attack surfaces. Strong cryptographic arguments on paper don't guarantee secure implementations. Supply-chain attacks, subtle dependency bugs, and unnecessary abstractions have repeatedly shown that large, hard-to-audit codebases are fragile by design. > Our Approach Performance through clarity: • Written in Rust • Minimal dependencies, few generics • Code maps 1-to-1 to spec, enabling formal verification 1/

don't trust. verify.

one stack. fully integrated. built for ethereum. @rj_aligned

Why Ethereum?

building on @ethereum shouldn't be complicated. we are working to make sure that is not the case.