BOLD 検証プロトコルの分析: Arbitrum をより分散化するにはどうすればよいですか?

著者: @francescoweb3 / 出典:

翻訳: Huohuo/現地語でのブロックチェーン

**Arbitrum は分散化を進めており、許可のない検証には太字を使用しています。 **これは BALD のような名前の週ではないかもしれませんが、これは Arbitrum のデザインの大幅なアップデートです ⬇️

太字はBounded Liquidity Delayの略で、その名前が示すように、Arbitrumにパーミッションレス検証機能を提供する「紛争プロトコル」です。

1. なぜ太字が必要なのでしょうか?

簡単に言えば、すべての楽観的なロールアップはイーサリアム上でその状態を解決します。 **トランザクションが有効であることをどのようにして確認しますか?いわゆる不正防止システムを通じて。 **

実際には、これはバリデータと呼ばれる一連のエンティティを通じて行われます。これらのバリデーターは、L2 の状態に関するステートメントを発行し、スマート コントラクトを通じてこれらのステートメントが正しいことを確認します。

その後、他のバリデーターが実際にこれらの申し立てに異議を申し立てることができる 7 日間の異議申し立て期間 (またはクールダウン期間) があり、矛盾がある場合は紛争解決プロセスが開始されます。

主張が確認された場合、L2 状態は正しいとみなされ、イーサリアム上での決済が完了します。

Arbitrum と Ethereum ⏰ 間のネイティブ ブリッジングに最大 7 日間の遅延を引き起こすのは、不正行為の証明による検証プロセスです。

紛争プロトコルには、L2 トランザクションの有効な結果を決定するために、当事者がイーサリアムに不正行為の証拠を提出することが含まれます。

**何が問題ですか？現在、Arbitrum One と Nova の両方で、不正証明による検証には許可が必要です。 **

この理由は、紛争プロトコルをサービス拒否攻撃から保護するためです。悪意のあるバリデーターが主張の確認を防ぐために資金を使い続けた場合、イーサリアムへの L2 出金はブロックされ、十分な資金がある間、このプロセスはほぼ長期間継続する可能性があります。

これは遅延攻撃と呼ばれ、「結果の確認を阻止または遅延させようとする」ことで、ロールアップ プロトコルの進行を停止させようとします。この攻撃は、バリデーターが不正な証明を提出するのを防ぐように設計されており、L2 状態が確認されてイーサリアムに解決されないようにします。

実際、パーミッションレス検証に移行するには、BOLD のような遅延攻撃に耐性のあるプロトコルが必要です。

太字は、新しいパーミッションレス L2 検証方法です。

これにより、Arbitrum は次のことが可能になります。

• 💓 チェーンの安全性と活性性を保証します
• 🛰️ 州の決済の遅延を最小限に抑える
• ✋ 不正な当事者が誠実な当事者のコストを増加させることを防ぎます。

実際、BOLD は遅延攻撃の影響を受けない「固定の 7 日間の追加遅延確認」を提供することで、Arbitrum チェーンの分散化に役立ちます。

これは、効率的な「全対全紛争」を可能にすることで実現されており、たとえ 1 人の誠実なバリデータであっても、悪意のある申し立てがいくつあっても紛争に勝つことができます。

したがって、BOLD は、これまでの 1 対 1 の課題に依存することなく、複数の当事者間の紛争を 1 つのプロセスで効率的に解決できます。

太字は特定の声明を支持するすべての当事者に「チームとして」共に戦うよう求めている。

したがって、太字の紛争は、特定の利害関係者やエンティティではなく、L2 状態の「決定論的」実行に関連しています。

これは、ある国家に同意する人は誰でも、単一の矛盾点を見つける前にそれを正当化できることを意味します。

したがって、太字の紛争はチーム全体の一部として行われるため、チームを代表して取られる合意された行動はすべての誠実なチームメンバーによって支持されます。

正しい L2 状態の決定論的な性質は、悪意のある当事者がトランザクション実行の証拠を偽造できないため、正直な当事者が参加すれば常に勝つことを意味します。

この設計は、各当事者が「意図的に挑戦に失敗することを心配することなく、自分の立場を代表するために他の当事者に静かに依存する」ことができるため、より効率的です。

BOLD についての深い理解⬇️

BOLD プロトコルは、異なる当事者間のチャレンジ プロトコルとして見なされるのではなく、参加者の目標が正しいエッジを勝者として選択することである「エッジ」間の競争として理解されるべきです。

このプロセスはバックグラウンドでどのように機能するのでしょうか?

1. 「エッジ」はチャレンジプロトコルの主要なデータ構造です。
2. BOLD の目的は、正しい計算に対応するエッジを確認し、誤ったエッジが確認されるのを防ぐことです。
3. 太字はエッジの状態を追跡しますが、エッジを特定のパーティに結び付けません。
4. エッジは、正しい実行との関係に従って分類されます。
5. プロトコルはエッジがどのカテゴリに属しているかを知りませんが、正直な参加者はそれを知ることができます。
6. エッジには「開始履歴コミットメント」と「終了履歴コミットメント」があります。
7. エッジは、その開始と終了の両方が真の場合に証明可能であり、開始のみが真の場合は逸脱しており、両方が偽の場合は無関係です。
8. プロトコルを正当化するには: 8.1 セキュリティ定理: マージンからの逸脱は確認できません。 8.2 完了時間定理: 正直なエッジは、ある期限までに確認できます。

大胆なインフラストラクチャ

2. 結論

BOLD は、結果を確認する際に最適な遅延限界を達成し、また、敵対者によって没収された利益に関して、誠実な当事者が必要とする作業を線形に制限します。