オプティミスティック・ロールアップは、基盤ブロックチェーンの外で取引を実行し、状態の再構築に必要なデータを基盤チェーンに公開します。提案された状態の主張は、更新ごとの妥当性証明を添えず、暫定的に受け入れられます。出金などの保護対象の操作に使えるようになる前に、誤った主張へ異議を申し立てる仕組みがあります。
異議申立てにデータが必要な理由
独立した参加者は公開取引を再実行し、提案された状態と結果を比較できます。一致しなければ、フォールトプルーフまたは不正証明の手続きで、プロトコルのルールに従って計算の争点を解決します。成功した申立ては誤った主張を無効にしますが、取引履歴を必ず再編成するわけではありません。
この方式は、データ可用性、機能する紛争処理コントラクト、期限内に異議を申し立てられる誠実な参加者に依存します。提案・異議申立ての権限、担保金、緊急権限は実装によって異なります。
確認と出金は別の段階
シーケンサーは、取引データが基盤チェーンに届く前に素早い確認を出す場合があります。そのデータのファイナリティとブリッジ出金の待機期間は別の段階です。
標準の出金には通常、異議申立てに伴う待機時間があります。流動性を利用した早期退出には固有の手数料と依存先があります。コントラクト、更新、運営者のリスクは残り、「異議がない」こと自体は計算の正しさを示す暗号学的証明ではありません。