Raven: Mining Ethereum Defensive Patterns
Research Paper#Blockchain Security, Smart Contract Analysis, Ethereum🔬 Research|Analyzed: Jan 3, 2026 19:51•
Published: Dec 27, 2025 14:47
•1 min read
•ArXivAnalysis
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.
Reference / Citation
View Original"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."