Based rollups—superpowers from L1 sequencing

Yes, “Each block will include the SNARK proof for the previous block” should be removed (not sure what benefit it would have anyway). Doing it fully async would be better probably.