Securing the Multi-Chain Ecosystem: A Unified, Agent-Based Framework for Vulnerability Repair in Solidity and Move

DOI arXiv PDF
BibTeX Citation
@article{karanjai2025multi,
  title={A multi-agent framework for automated vulnerability detection and repair in solidity and move smart contracts},
  author={Karanjai, Rabimba and Blackshear, Sam and Xu, Lei and Shi, Weidong},
  journal={arXiv e-prints},
  pages={arXiv--2502},
  year={2025}
}
Copied to clipboard
Read Paper Download PDF

Abstract

The rapid growth of the blockchain ecosystem and the increasing value locked in smart contracts necessitate robust security measures. While languages like Solidity and Move aim to improve smart contract security, vulnerabilities persist. This paper presents Smartify, a novel multi-agent framework leveraging Large Language Models (LLMs) to automatically detect and repair vulnerabilities in Solidity and Move smart contracts. Unlike traditional methods that rely solely on vast pre-training datasets, Smartify employs a team of specialized agents working on different specially fine-tuned LLMs to analyze code based on underlying programming concepts and language-specific security principles. We evaluated Smartify on a dataset for Solidity and a curated dataset for Move, demonstrating its effectiveness in fixing a wide range of vulnerabilities. Our results show that Smartify (Gemma2+codegemma) achieves state-of-the-art performance, surpassing existing LLMs and enhancing general-purpose models’ capabilities, such as Llama 3.1. Notably, Smartify can incorporate language-specific knowledge, such as the nuances of Move, without requiring massive language-specific pre-training datasets. This w

Type Conference Paper
Venue ACM AIWare 2025
Date Nov 2025
Blockchain Security Smart Contracts First Author Agents