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

点击查看原文链接