AI Agent Smart Contract Exploit Generation
Arthur Gervais, Liyi Zhou

TL;DR
This paper introduces A1, an AI agentic system that transforms large language models into autonomous exploit generators for smart contracts, achieving high success rates and significant financial gains in real-world evaluations.
Contribution
The paper presents A1, a novel system that converts LLMs into end-to-end exploit generators with domain-specific tools and validation, improving automated vulnerability discovery in smart contracts.
Findings
A1 achieves 63% success on the VERITE benchmark.
Successful exploits can yield up to $8.59 million.
Immediate vulnerability detection has an 86-89% success probability.
Abstract
Smart contract vulnerabilities have led to billions in losses, yet finding actionable exploits remains challenging. Traditional fuzzers rely on rigid heuristics and struggle with complex attacks, while human auditors are thorough but slow and don't scale. Large Language Models offer a promising middle ground, combining human-like reasoning with machine speed. Early studies show that simply prompting LLMs generates unverified vulnerability speculations with high false positive rates. To address this, we present A1, an agentic system that transforms any LLM into an end-to-end exploit generator. A1 provides agents with six domain-specific tools for autonomous vulnerability discovery, from understanding contract behavior to testing strategies on real blockchain states. All outputs are concretely validated through execution, ensuring only profitable proof-of-concept exploits are reported.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdversarial Robustness in Machine Learning · Security and Verification in Computing · Advanced Malware Detection Techniques
