跳到正文
原文
arXiv cs.CR· Yuying Wang (Institute of Computing Technology, Chinese Academy of Sciences, China, University of Chinese Academy of Sciences, China), Yi Guo (Institute of Computing Technology, Chinese Academy of Sciences, China), Jiachi Chen (The State Key Laboratory of Blockchain,Data Security, Zhejiang University, Hangzhou High-Tech Zone), Hanwen Zhang (Institute of Computing Technology, Chinese Academy of Sciences, China, University of Chinese Academy of Sciences, China), Yi Sun (Institute of Computing Technology, Chinese Academy of Sciences, China, University of Chinese Academy of Sciences, China)·· 5 小时前AI 评分65

基于588份审计报告的研究发现跨链验证漏洞模式及现有LLM检测工具的局限性

Understanding Verification Vulnerabilities in Cross-chain Bridges: An Empirical Study

AI 摘要

该论文首次对跨链桥接中的跨链验证漏洞(CVVs)进行了系统性实证研究,通过分析36个真实项目的588份安全审计报告,归纳出11种CVV模式并构建包含830个实例的数据集。研究发现,当前主流检测工具对这些特定模式的覆盖度有限,且评估的四个大语言模型中仅有两个的表现优于29.3%的宏观F1值常数基线,最佳模型也仅为51.2%,表明通用LLM在处理跨链验证语义时存在显著不足。

证据细节显示,研究者构建了包含审计报告、源代码版本、受影响文件及模式标签映射的完整数据集,并据此量化了现有方法的失效边界。文中明确指出,现有的自动化工具缺乏针对跨链验证逻辑的文档化覆盖,而LLM在识别此类涉及外部链状态证明、发送者身份和签名验证的复杂逻辑时,未能展现出超越简单基线的稳定能力。

推断认为,随着异构区块链生态的扩张,依赖通用LLM进行跨链安全审计将产生大量漏报,行业需转向专门针对跨链验证语义的检测方法。事实层面确认了CVV作为一类独立于单链合约漏洞的安全类别已存在且规模庞大;猜测层面在于未来专用检测框架是否会成为基础设施标准,但这取决于后续工具开发进度而非本文结论。

来源:arXiv cs.CR · arxiv.org