📺
YouTube · Black Hat
1.2k YouTube-Aufrufe
To fortify this multi-billion dollar foundation, we propose a novel, specification-driven differential testing framework that synergizes classical software engineering with modern AI. Unlike traditional fuzzers, our approach leverages Large Language Models (LLMs) to bridge the gap between abstract specifications and complex reality. We utilize LLMs not only to generate diverse, semantically valid test inputs (covering both EVM opcodes and Client APIs) but also to act as intelligent filters that distinguish genuine bugs from harmless semantic variations. This "dual-engine" approach allows us to identify deep logic flaws with high precision while minimizing false positives.
Our comprehensive evaluation across 11 distinct clients uncovered 98 previously unknown bugs, even including critical errors within the official Ethereum specifications themselves. The impact of our work is immediate and far-reaching: developers confirmed our findings with a greater than 90% acceptance rate, 4 vulnerabilities were assigned CNVD IDs, and our methodology has received official endorsement from the Ethereum Foundation, with specific findings escalated to core protocol management meetings. We provide not just a bug-finding approach, but a crucial safeguard for the stability of the decentralized economy.
Jie Ma | Eng.D Candidate, Beihang University; Zhongguancun Laboratory
Ningyu He | Research Assistant Professor, The Hong Kong Polytechnic University; Amber Group
Chiachih Wu | Partner & Head of Web3 Security, Amber Group
Haoyu Wang | Professor, Huazhong University of Science and Technology
Ying Gao | Associate Professor, Beihang University; Zhongguancun Laboratory
Yinliang Yue | Professor, Zhongguancun Laboratory
https://blackhat.com/asia-26/briefings/schedule/?#fortifying-the-foundation-llm-empowered-differential-testing-for-the-ethereum-infrastructure-50238
Vollständiger Original-Bericht
Ausführliche Details, Code-Beispiele & Hersteller-Stellungnahme auf youtube.com.
SOCIAL SHARE CARD GENERATOR