原生ロールアップは、L1自身のSTFを使用してアプリケーションレイヤーの状態変換を検証します。