原著者: @IsdrsP、Lido 検証ノード ディレクター
原文翻訳: Nicky、Foresight News
5 月 10 日の早朝、オラクル サービス プロバイダーの Chorus One は、Lido Oracle のホット ウォレットがハッキングされ、1.46 ETH が盗まれたことを明らかにしました。しかし、セキュリティ監査によると、この単発的なインシデントの影響は限定的であり、問題のウォレットは軽量な運用目的のみで設計されていました。
オラクル攻撃は確かにひどいですね。ただし、Lido のアーキテクチャ設計、ステークホルダーの価値観、セキュリティ重視の貢献者文化により、このようなインシデントの影響は極めて限定的であり、オラクルが完全に侵害されたとしても、壊滅的な結果にはなりません。
では、リドにはどんなユニークな点があるのでしょうか?
Lido のオラクルには、コンセンサス レイヤーから実行レイヤーへの情報の送信と、プロトコルのダイナミクスの報告の役割があります。ユーザーの資金は管理しません。 1 つのオラクルに障害が発生しても、軽微な問題が発生するだけで、定足数に違反した場合でも、壊滅的な事態にはなりません。
A) 悪意のあるレポートを送信する(正直なオラクルでは無視されます)。
B) 特定のオラクル アドレスの ETH 残高を使い果たす(運用トランザクションにのみ使用され、ステーカーの資金は保持されません)。
Lido のオラクルとは、本質的に 9 人の独立した参加者 (5/9 のコンセンサスが必要) で構成される分散メカニズムであり、主にプロトコル ステータスのレポートを担当します。現在のコア機能は次のとおりです。
• トークンインフレ報酬の発行(リベース)
• 出金プロセスの処理
• CSM(コミュニティステーキングモジュール)による参照用の検証ノードの終了とパフォーマンス監視
これらのオラクルは、観測されたステータスの「レポート」をプロトコルに送信します。これらのレポートは、毎日の累積報酬またはペナルティを計算し、stETH 残高を更新し、出金リクエストを処理して最終的に確認し、バリデーターの終了リクエストを計算し、バリデーターのパフォーマンスを測定するために使用されます。
本質的に、Lido オラクルは、一般に理解されている「マルチ署名」とは異なります。オラクルにはステーカーやプロトコルの資金へのアクセス権はなく、プロトコル契約のアップグレードを制御することも、自身をアップグレードしたりメンバーシップを管理したりすることもできません。代わりに、Lido DAO は投票を通じてオラクルのリストを管理します。
オラクルの機能は非常に限られており、さまざまなプロトコルの目標に合わせて設計された決定論的、監査済み、オープンソースのアルゴリズムに厳密に従ったレポートのみを送信できます。特定の状況(プロトコルの毎日のリベース操作など)で報告された結果を実装するためにトランザクションを実行します。
9 つのオラクルのうち 5 つが侵害された場合の最悪のシナリオは何ですか?この場合、侵害を受けたオラクルが共謀して悪意のあるレポートを送信する可能性がありますが、どのレポートもチェーン上で強制されるプロトコルの健全性チェックに合格する必要があります。
レポートがこれらの妥当性チェックに違反している場合、レポート内の値は一定の期間(数日または数週間)内に許可される値の範囲に準拠する必要があるため、「クリア」されるまでに時間がかかります(またはクリアされない可能性があります)。
最悪の場合、stETH のようなリベース (プラスかマイナスかに関係なく) が有効になるまでに時間がかかることになり、stETH 保有者に影響が及びますが、誰かが DeFi でレバレッジをかけて stETH を使用していない限り、ほとんどの保有者にはほとんど影響がありません。
他の可能性もあります。悪意のあるオラクルとその共犯者が特定の情報を持っている場合、またはコンセンサス レイヤーで大規模なペナルティ (大規模な没収など) を課す能力がある場合、実行レイヤーでの stETH 更新の遅延を利用して経済的利益を求める可能性があります。たとえば、大規模なスラッシングが発生した場合、ネガティブなリベースが有効になる前に、一部の人々が分散型取引所 (DEX) を通じて stETH の一部を売却する可能性があります。ただし、プロトコルの「バンカーモード」が有効化され、出金プロセスが公平に実行されるため、Lido を通じてユーザーが直接開始した出金には影響しません。
Lido エコシステムのすべての参加者(貢献者、ノード オペレーター、オラクル オペレーターなど)は、最初から最後まで、常に透明性と善意を最優先し、ステーカーの権利の保護とエコシステム全体の健全な発展を優先します。詳細な事後分析を積極的に公開したり、インフラのダウンタイムによるステーク損失を補填したり、予防措置として検証ノードを積極的に終了したり、包括的なインシデントレポートを迅速に公開したりするなど、参加者は常に透明性を最優先事項としています。
Lido は常にテクノロジーの研究開発の最前線に立ち、ゼロ知識証明 (ZK) テクノロジーを使用してオラクル メカニズムのセキュリティと信頼性を向上させることに取り組んでいます。チームは初期段階から、ゼロ知識証明技術によるコンセンサス層データの信頼性のない検証をサポートするために、特別基金に 20 万ドル以上を投資しました。
これらの技術的探求は最終的に、SuccinctLabs チームによって開発された SP1 ゼロ知識オラクル「二重検証」メカニズムにつながり、今年正式にリリースされる予定です。このメカニズムは、検証可能なコンセンサス レイヤー データを通じて、潜在的なネガティブ リベース操作に対する追加のセキュリティ検証レイヤーを提供します。
現在、このタイプのゼロ知識技術はまだ開発段階にあります。関連するゼロ知識仮想マシン(zkVM)は、実際の戦闘テストを受ける必要があるだけでなく、計算速度が遅く、計算コストが高いという制限があり、信頼できるオラクルを完全に置き換えることはできません。しかし、長期的には、このようなソリューションは、既存のオラクルに対する、信頼性が最小限に抑えられた代替手段になる可能性があります。
Oracle テクノロジーは非常に複雑で、DeFi 分野での応用シナリオは多岐にわたります。 Lido プロトコルでは、オラクルがコア コンポーネントとして慎重に設計されており、効果的な分散型アーキテクチャ、職務分離メカニズム、および多層検証システムを通じて、潜在的なリスクの影響が大幅に軽減されます。
BlockBeats の公式コミュニティに参加しよう:
Telegram 公式チャンネル:https://t.me/theblockbeats
Telegram 交流グループ:https://t.me/BlockBeats_App
Twitter 公式アカウント:https://twitter.com/BlockBeatsAsia