Orbiter Finance 与以太坊基金会、加州大学圣巴巴拉分校，Nubit 创始人合作，加强了其桥接协议的安全模型

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. 可扩展验证器：对主流跨 Rollup 桥（包括 Orbiter Finance）的 Scutum 评估发现多个零日漏洞（zero-day vulnerabilities）。该方法利用一个全面的多模型框架，捕捉个体行为和各组件之间复杂交互的时间属性。为了增强可扩展性，论文引入了通过合同图表示法进行可达性分析；
2. 安全模型构建：Scutum 通过合同图表示法的可达性分析来近似时间安全验证，利用程序分析技术。此外，它还结合冲突驱动的细化循环来消除假阳性，提高模型在不同桥模型中的预测准确性；
3. 性能表现：Scutum 工具展示了良好的运行时性能，使得高效分析适用于实时或近实时应用。

0 黑客事件与模块质押

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