欧易OKX

欧易数字货币交易所，更快、更好、更强！

官网注册

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 表示：“我们始终致力于构建更安全的跨链桥模型。除了通过回测链上数据主动识别潜在的欺诈交易外，我们还将继续深化与以太坊和加密学家的学术沟通与工程合作。”