spec: Draft streaming prover approaches#642

RobinJadoul wants to merge 2 commits into

spec/mainyetanotherco/lambda_vm:spec/mainfrom

spec/streamingyetanotherco/lambda_vm:spec/streamingCopy head branch name to clipboard