Orbiter Finance 与以太坊基金会及加州大学圣巴巴拉分校合作加强桥接协议的安全模型
发布时间:2025-03-03 编辑:游乐网
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 工具展示了良好的运行时性能,使得高效的分析适用于实时或近实时的应用场景。对安全性的承诺自 2024 年成立以来,Orbiter 一直在安全性方面进行深入探索,致力于成为跨链领域可靠的基础设施。Orbiter Finance 的核心产品 Vizing 技术负责人 Juson Xia 表示:“我们永远不会放弃构建更安全的跨链桥模型。除了通过回测链上数据主动识别潜在的欺诈交易外,我们还将深化与以太坊和加密学家的学术沟通与工程合作。”
点击查看原文链接
相关阅读
MORE
+- Orbiter Finance 与以太坊基金会及加州大学圣巴巴拉分校合作加强桥接协议的安全模型 03-03 胖企鹅”Pudgy Penguins 发币,空投收益超 3 万美元? 03-03
- 解读币安 Launchpool 最新上线项目 Usual:RWA 去中心化稳定币 03-03 Meme进入新时代:GOAT一周千倍,还有哪些最具潜力的meme币? 03-03
- 不为人知的黑暗面:揭秘 Web3.0 中的市场操纵 03-03 Meme日报,一图了解过去24小时热门Meme(2024.10.29) 03-03
- DOGE币在哪交易?如何交易?Gate.io交易所交易狗狗币操作教程 03-03 Vitalik卖币再次成上涨发动机?解读Vitalik持仓与操作规律 03-03
- 火币HTX VIP客户服务负责人Charmaine:将积极推动阿联酋加密事业发展 03-03