Orbiter Finance携手以太坊与UCSB提升桥接协议安全

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 桥接的安全性。研究团队强调了以下几个关键点：

可扩展验证器：Scutum 对包括 Orbiter Finance 在内的主流跨 Rollup 桥进行了评估，发现了多个零日漏洞。他们的方法使用了一个全面的多模型框架，来捕捉个体行为与各组件之间复杂的时序交互。为了提升可扩展性，论文还引入了通过合同图表示法进行的可达性分析。

安全模型构建：Scutum 通过合同图的可达性分析来近似时间安全验证，同时结合了程序分析技术。此外，它还采用了冲突驱动的细化循环，以消除假阳性，从而提高模型在不同桥接模型中的预测准确性。

性能表现：Scutum 工具展示了良好的运行时性能，使得高效的分析适用于实时或近实时的应用场景。

对安全性的承诺

自 2021 年成立以来，Orbiter 一直致力于在安全性方面进行深入探索，努力成为跨链领域可靠的基础设施。Orbiter Finance 的核心产品 Vizing 技术负责人 Juson Xia 表示：“我们永远不会放弃构建更安全的跨链桥模型。除了通过回测链上数据主动识别潜在的欺诈交易外，我们还将深化与以太坊和加密学家的学术沟通与工程合作。”