Raven: Mining Ethereum Defensive Patterns
Analysis
This paper introduces Raven, a framework for identifying and categorizing defensive patterns in Ethereum smart contracts by analyzing reverted transactions. It's significant because it leverages the 'failures' (reverted transactions) as a positive signal of active defenses, offering a novel approach to security research. The use of a BERT-based model for embedding and clustering invariants is a key technical contribution, and the discovery of new invariant categories demonstrates the practical value of the approach.
Key Takeaways
- •Raven is a framework for identifying and categorizing defensive patterns in Ethereum smart contracts.
- •It uses reverted transactions as a signal of active on-chain defenses.
- •It employs a BERT-based model for embedding and clustering invariants.
- •The framework discovered six new invariant categories.
- •The research demonstrates the practical utility of the approach through a case study.
“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.”