CONSTRAINTDIAL mutates protocols to build smart contract security tasks
Original title: Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation
From 203 public cases it builds 3,045 detect, exploit, and patch tasks that copied answers solve less often.
The paper proposes CONSTRAINTDIAL, a framework that reconstructs smart contracts locally and mutates required calls or inputs so a known attack fails while exploitability, the security objective, and normal behavior remain. Execution checks guide those revisions, and new incidents and audit findings can enter the same procedure. Across detect, exploit, and patch, protocol mutation cuts success with supplied public answers by 10.9 percentage points on average versus reconstruction alone.
Unconfirmed: The $38.6 billion loss figure is SlowMist's reported estimate, not independently verified here.
- The authors construct 3,045 task inputs from 203 public cases.
- Tasks cover detect, exploit, and patch.
- Copying online answers succeeds on 9.3 points fewer tasks.
- SlowMist is cited for about $38.6 billion in broader blockchain losses.
- Products
- CONSTRAINTDIAL
- Organizations
- SlowMist
From the original article
1 min read at arxiv.orgAI agents can inspect code and run tests to support smart contract security. SlowMist reports about $38. 6 billion in losses across the broader blockchain ecosystem.
By Zifan Peng · arxiv.org
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.