Have your L3 on top of L2
Split a proof in subproof to augment throughput
Prove you solved a puzzle without broadcasting your solution
Generate a proof on your phone for private txs
All of that,and more. Sooner than you think.
Recursive STARKs: in addition to proving the correctness of transaction execution, we also can prove (off-chain), the correct execution of a STARK verifier that verified the proof. The on-chain verifier running time is now shorter by orders of magnitude.
h/t
@OhadBarta