LambdaVM: Status Update
Introduction
lambda_vm is an open-source zkVM that proves correct execution of RISC-V (RV64IM_Zicclsm) programs. It is built on STARKs over the Goldilocks field with LogUp lookup arguments, it is transparent (no trusted setup) and post-quantum secure. Our goal is proving Ethereum execution: taking blocks produced