オプティミスティックロールアップにおける不正行為の証拠とは何ですか?

楽観的ロールアップにおける不正行為の証拠を理解する

1. オプティミスティック ロールアップは、レイヤー 2 ネットワークにポストされたすべてのトランザクションがデフォルトで有効であるという想定に基づいて動作します。この楽観的なアプローチにより、オンチェーン検証と比較して処理が高速化され、コストが削減されます。ただし、悪意のある状態遷移や不正な状態遷移を検出して修正するためのメカニズムが存在する必要があります。

2.不正証明は、無効な状態の更新に異議を唱えるために使用される暗号化メカニズムです。バリデーターまたはウォッチャーが、提案された状態と、トランザクション データに基づいて発生するはずだった状態との間の不一致を検出した場合、不正行為の証拠をレイヤー 1 ブロックチェーンに送信できます。

3. 不正行為の証拠には、不正な状態のルート、関係するトランザクションのセット、エラーが発生した場所を示す段階的な計算トレースなどの特定のデータが含まれます。このトレースにより、メインチェーンは計算の係争部分のみを再実行できるようになり、オーバーヘッドが最小限に抑えられます。

4. 不正行為の証拠が送信されると、レイヤー 1 コントラクトは、提供された実行トレースを使用して関連するトランザクションを再生することにより、それを検証します。証明によって状態遷移が実際に無効であることが確認された場合、ロールアップは最後の正しい状態に戻り、欠陥のあるバッチを送信した悪意のある攻撃者がペナルティを受けます。

5. セキュリティ モデルは、チェーンを監視する少なくとも 1 つの正直なノードに依存します。 1 人の参加者が状態更新の有効性をチェックし、証拠を提出できる限り、システムは不正行為に対して安全なままです。

不正行為の証明と有効性の証明の違い

1. 有効性証明 (zk-SNARK など) を使用して受け入れ前に積極的に正しさを証明するゼロ知識ロールアップとは異なり、オプティミスティック ロールアップは検証を延期します。そうでないことが証明されるまでは誠実であると仮定し、最初の投稿時の計算負荷を軽減します。

2.不正証明はエラーを事後的に特定します。つまり、ブロックが公開された後に紛争が発生します。これにより、チャレンジ期間として知られる遅延 (通常は 7 日間) が発生し、この期間中は誰でもバッチにコンテストを行うことができます。

3. 有効性の証明には、トランザクション バッチごとに複雑な暗号計算が必要となり、オペレータのコストと技術的障壁が増大します。不正行為の証明は、紛争が生じない限り、この負担を回避します。

4. 不正行為の証明は事後対応的な性質を持っているため、分散型の参加が容易になります。ユーザーは、ブロックを監視してチャレンジするために、特殊なハードウェアや暗号に関する深い知識を必要としません。

5. 有効性証明は即時最終決定を提供しますが、不正証明はスピードと引き換えに分散化と運用コストの削減を実現し、許可のない参加というイーサリアムの精神に沿っています。

ウォッチャーの役割とインセンティブ

1. ウォッチャーは、シーケンサーによって発行された状態のコミットメントを継続的に監視する任務を負ったオフチェーン ノードです。これらのエンティティは、ロールアップ データをダウンロードし、状態遷移を再計算し、結果と要求された結果を比較します。

2. 経済的インセンティブが不正検出への参加を促進します。検証された不正行為の証拠を提出することに成功した人は誰でも報酬を受け取りますが、その資金は多くの場合、不正シークエンサーによって差し出された保証金の一部を切り崩すことで賄われます。

3. スパムを防止し説明責任を確保するために、異議申し立て者は通常、紛争を開始するときに担保を賭ける必要があります。彼らの請求が無効な場合、彼らはこのデポジットを失います。

4. 複数の独立した監視者がいると、不正行為を早期に発見する可能性が高まります。たとえほとんどの攻撃者が共謀したり、オフラインになったとしても、セキュリティを維持するには 1 人の誠実な参加者がいれば十分です。

5. プロジェクトは、インセンティブ層を実装するか、分散型ウォッチドッグ ネットワークなどのサードパーティ サービスを統合して、ロールアップ チェーンに対する永続的な監視を確保します。

不正行為の証拠に関するよくある質問

参加者がチャレンジ ウィンドウ内に不正証明を提出しない場合、バッチはレイヤー 1 で最終処理されます。これは、アクティブな監視の必要性を強調します。少なくとも 1 人の正直で用心深い観察者がいないと、システムは無効な状態を受け入れる危険があります。

詐欺の証拠は偽造または悪用される可能性がありますか?

不正行為の証明には、厳格なオンチェーン検証が行われます。間違った証明や不正な証明は再実行中に失敗し、挑戦者は絆を失うことになります。この経済的阻害要因により、軽薄な、または悪意のある挑戦が阻止されます。

オプティミスティックロールアップの出金に遅延があるのはなぜですか?

不正行為の証拠を提出する時間を確保するため、引き出しは遅れています。ユーザーが出金を開始すると、チャレンジ期間中は資金がロックされたままになるため、不正行為が検出された場合は資金が凍結または取り消される可能性があります。

すべての取引に不正行為の証明が必要ですか?

いいえ。不正証拠は、矛盾が見つかった場合にのみ生成されます。ほとんどのトランザクションは問題なく進行し、シ​​ステムは異議が唱えられない限り有効であるという前提の下でスムーズに動作します。