Lambda VM: continuations
A STARK prover holds the whole execution in memory, and an Ethereum block does not fit. How RISC Zero, OpenVM, SP1 and ZisK get around it, and the two ways we tried in Lambda VM, built with LambdaClass and 3MI Labs: epochs, running today, and prove-and-retire, still an experiment.
