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 橋接的安全性。研究團隊強調了三個關鍵點：

1. 可擴展驗證器：Scutum 對主流跨 Rollup 橋（包括 Orbiter Finance）的評估發現了多個零日漏洞（zero-day vulnerabilities）。該方法利用一個全面的多模型框架，捕捉個體行為與各組件之間複雜交互的時間屬性。同時，為了增強可擴展性，論文引入了通過合同圖表示法進行可達性分析。
2. 安全模型構建：Scutum 通過合同圖的可達性分析來近似時間安全驗證，結合程序分析技術。此外，它還採用衝突驅動的細化循環，以消除假陽性，從而提高模型在不同橋接模型中的預測準確性。
3. 性能表現：Scutum 工具展示了良好的運行時性能，使得高效的分析適用於實時或近實時的應用場景。

對安全性的承諾

自 2021 年成立以來，Orbiter 一直在安全性方面進行深入探索，致力於成為跨鏈領域可靠的基礎設施。Orbiter Finance 的核心產品 Vizing 技術負責人 Juson Xia 表示："我們永遠不會放棄構建更安全的跨鏈橋模型。除了通過回測鏈上數據主動識別潛在的欺詐交易外，我們還將深化與以太坊和密碼學家的學術溝通與工程合作。"

點擊查看原文鏈接