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 对主流跨 Rollup 桥（包括 Orbiter Finance）的评估发现了多个零日漏洞。该方法利用一个全面的多模型框架，捕捉个体行为与各组件之间复杂交互的时间属性。为了增强可扩展性，论文引入了通过合同图表示法进行可达性分析。

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

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

对安全性的承诺

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