Orbiter Financeは、イーサリアムエコシステムへの統合を積極的に推進しています。最近、同社はイーサリアム財団のKyle Charbonnet、カリフォルニア大学サンタバーバラ校の教授、およびNubitの創設者であるFeng Yu（@captain8299）と共同で、クロスチェーンブリッジの安全性に関する研究を発表しました。題名は（Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction）です。この論文は、イーサリアムエコシステムの安全分野の専門家と学術教授によって共同執筆され、数学モデルを提案し、Orbiterブリッジの過去2-3年のオンチェーンデータをバックテストし、モデリングによって詐欺取引を事前に特定することを目指しています。このコラボレーションは、OrbiterのMakerシステムに理論的支援と実践的指導を提供することを目的としています。
研究論文のコアコンテンツ
この論文は、スケーラブルな検証システムを通じてクロスロールアップブリッジの安全性を評価する方法を深く探究しています。研究チームは、3つの重要なポイントを強調しています：
スケーラブルな検証者：Scutumは、主流のクロスロールアップブリッジ（Orbiter Financeを含む）の評価で複数のゼロデイ脆弱性を発見しました。この方法は、個々の行動と各コンポーネント間の複雑な相互作用の時間属性を捉える包括的なマルチモデルフレームワークを利用しています。同時に、スケーラビリティを強化するために、契約グラフ表現を通じて到達可能性分析を導入しています。
安全モデル構築：Scutumは、契約グラフの到達可能性分析を通じて時間安全検証を近似し、プログラム分析技術を組み合わせています。さらに、偽陽性を排除するために衝突駆動のリファインメントループを採用し、異なるブリッジモデルにおけるモデルの予測精度を向上させています。
パフォーマンス：Scutumツールは良好なランタイムパフォーマンスを示し、リアルタイムまたは近リアルタイムのアプリケーションシナリオに効率的な分析を適用可能にします。
安全性へのコミットメント
2021年の設立以来、Orbiterは安全性に関して深く探求し、クロスチェーン分野で信頼できるインフラストラクチャになることを目指しています。Orbiter FinanceのコアプロダクトVizingの技術責任者であるJuson Xiaは、「私たちは常により安全なクロスチェーンブリッジモデルの構築を諦めません。オンチェーンデータを使ったバックテストを通じて潜在的な詐欺取引を積極的に特定するだけでなく、イーサリアムや暗号学者との学術的なコミュニケーションとエンジニアリングコラボレーションを深めていきます。」と述べています。