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）的评估发现了多个零日漏洞（zero-day vulnerabilities）。该方法利用一个全面的多模型框架，捕捉个体行为与各组件之间复杂交互的时间属性。同时，为了增强可扩展性，论文引入了通过合同图表示法进行可达性分析。
- 安全模型构建：Scutum 通过合同图的可达性分析来近似时间安全验证，结合程序分析技术。此外，它还采用冲突驱动的细化循环，以消除假阳性，从而提高模型在不同桥接模型中的预测准确性。
- 性能表现：Scutum 工具展示了良好的运行时性能，使得高效的分析适用于实时或近实时的应用场景。
对安全性的承诺
自 2021 年成立以来，Orbiter 一直在安全性方面进行深入探索，致力于成为跨链领域可靠的基础设施。Orbiter Finance 的核心产品 Vizing 技术负责人 Juson Xia 表示：“我们永远不会放弃构建更安全的跨链桥模型。除了通过回测链上数据主动识别潜在的欺诈交易外，我们还将深化与以太坊和加密学家的学术沟通与工程合作。”
点击查看原文链接
