Vitalik proposes an "extremely streamlined chain" solution. The verifier submits STARK every day to prove that the status storage is compressed to 6 bytes