Raven:挖掘以太坊防御模式

Research Paper#Blockchain Security, Smart Contract Analysis, Ethereum🔬 Research|分析: 2026年1月3日 19:51
发布: 2025年12月27日 14:47
1分で読める
ArXiv

分析

本文介绍了Raven,一个通过分析回滚交易来识别和分类以太坊智能合约防御模式的框架。它的意义在于,它将“失败”(回滚交易)用作主动防御的积极信号,为安全研究提供了一种新颖的方法。使用基于BERT的模型进行嵌入和聚类不变式是一项关键的技术贡献,并且新不变式类别的发现证明了该方法具有实际价值。
引用 / 来源
查看原文
"Raven uncovers six new invariant categories absent from existing invariant catalogs, including feature toggles, replay prevention, proof/signature verification, counters, caller-provided slippage thresholds, and allow/ban/bot lists."
A
ArXiv2025年12月27日 14:47
* 根据版权法第32条进行合法引用。