Orbiter Financeは、イーサリアム財団およびカリフォルニア大学サンタバーバラ校と協力して、ブリッジプロトコルのセキュリティモデルを強化します。

Orbiter Finance は、イーサリアムエコシステムへの統合を積極的に推進しています。最近、同社はイーサリアム財団の Kyle Charbonnet、カリフォルニア大学サンタバーバラ校の教授、そして Nubit の創設者 Feng Yu（@captain8299）と共同で、クロスチェーンブリッジのセキュリティに関する研究を発表しました。タイトルは「Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction」です。この論文は、イーサリアムエコシステムのセキュリティ分野の専門家と学術教授によって共同執筆され、数学モデルを提案し、Orbiter ブリッジの過去 2-3 年のオンチェーンデータをバックテストしました。目的は、モデル化を通じて詐欺取引を事前に特定することです。この協力は、Orbiter の Maker システムに理論的支援と実践的指導を提供することを目指しています。

研究論文の核心内容

この論文は、スケーラブルな検証システムを通じてクロス Rollup ブリッジのセキュリティを評価する方法を深く探求しています。研究チームは、3つの重要なポイントを強調しています：

1. スケーラブルな検証者：Scutum は、主流のクロス Rollup ブリッジ（Orbiter Finance を含む）の評価で複数のゼロデイ脆弱性を発見しました。この方法は、個々の行動と各コンポーネント間の複雑な相互作用の時間属性を捉える包括的なマルチモデルフレームワークを利用しています。また、スケーラビリティを強化するために、論文は契約グラフ表現を用いた到達可能性分析を導入しています。
2. セキュリティモデルの構築：Scutum は、契約グラフの到達可能性分析を通じて時間的セキュリティ検証を近似し、プログラム分析技術を組み合わせています。さらに、衝突駆動の細分化ループを採用し、偽陽性を排除することで、異なるブリッジモデルにおけるモデルの予測精度を向上させています。
3. パフォーマンスの実績：Scutum ツールは優れた実行時性能を示し、高効率の分析がリアルタイムまたは準リアルタイムのアプリケーションシナリオに適用可能であることを示しています。

セキュリティへのコミットメント

2021 年の設立以来、Orbiter はセキュリティに関する深い探求を行い、クロスチェーン分野で信頼できるインフラストラクチャを目指しています。Orbiter Finance のコア製品 Vizing 技術責任者 Juson Xia は次のように述べています。「私たちは、より安全なクロスチェーンブリッジモデルの構築を決してあきらめません。オンチェーンデータをバックテストすることで潜在的な詐欺取引を積極的に特定するだけでなく、イーサリアムや暗号学者との学術的なコミュニケーションとエンジニアリングの協力を深めていきます。」

クリックして原文リンクをご覧ください。