Raven：基于语义交易回滚不变量类的以太坊防御性模式挖掘
密码学与安全
2025-12-30 v1
摘要
我们将以太坊交易回滚的不变量-require(<不变量>)/assert(<不变量>)/if (<不变量>) revert 语句视为主动链上防御的积极信号。尽管如此，这些交易中的防御模式仍未被发现且在安全研究中未得到充分利用。我们提出 Raven 框架，将回滚交易与导致回滚的不变量对齐到智能合约源代码中，使用我们基于 BERT 的微调模型嵌入这些不变量，并按语义意图聚类，以挖掘以太坊上的防御性不变量类别。评估 20,000 笔回滚交易后，Raven 实现了具有团队性和有意义性的交易-回滚不变量聚类。对挖掘的 19 个语义聚类进行的专业人员手动审阅揭示了六个新的不变量类别，这些类别在现有的不变量目录中不存在，包括功能开关、重放防护、证明/签名验证、计数器、调用方提供的滑价阈值以及允许/禁止/机器人列表。为演示此不变量目录挖掘管道的实际效用，我们使用其中一个新发现的不变量类别作为模糊测试 oracle 来检测真实世界攻击中的漏洞。因此，Raven 能够映射以太坊的成功防御。这些不变量类别使安全研究人员能够基于从智能合约工作防御中提取的数据驱动安全 oracle 开发分析工具。
引用
@article{arxiv.2512.22616,
title = {Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories},
author = {Mojtaba Eshghie and Melissa Mazura and Alexandre Bartel},
journal= {arXiv preprint arXiv:2512.22616},
year = {2025}
}