Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move

Understand

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.