💻 computer science

SolAgent: A Specialized Multi-Agent Framework for Solidity Code Generation

SolAgent è un framework multi-agente specializzato che sfrutta un meccanismo di raffinamento a doppio ciclo combinando il compilatore Forge e l'analizzatore statico Slither per superare significativamente gli attuali LLM e strumenti di IA nella generazione di smart contract Solidity sicuri e funzionali, consentendo al contempo la distillazione di traiettorie di alta qualità in modelli open-source più piccoli.

Autori originali: Wei Chen, Zhiyuan Peng, Xin Yin, Chao Ni, Chenhao Ying, Bang Xie, Yuan Luo

Pubblicato 2026-02-02

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Wei Chen, Zhiyuan Peng, Xin Yin, Chao Ni, Chenhao Ying, Bang Xie, Yuan Luo

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il Grande Problema: Costruire Fortezze Digitali con una "Penna Magica"

Immagina di stare costruendo una fortezza digitale (uno Smart Contract) che contiene milioni di dollari. Una volta costruita e chiusa la porta, non potrai mai cambiare nemmeno un singolo mattone. Se commetti un piccolo errore, i ladri possono entrare e rubare tutto.

Recentemente, abbiamo ottenuto una "Penna Magica" (i Large Language Models o LLM) che può scrivere codice per noi istantaneamente. Ma questa penna è come un apprendista molto sicuro di sé ma inesperto. Scrive codice dall'aspetto bellissimo che sembra corretto, ma spesso:

Non funziona: Il codice ha errori nascosti che lo fanno crashare immediatamente (Fallimento della Compilazione).
Non è sicuro: Lascia porte sul retro segrete aperte che gli hacker possono sfruttare.
Si blocca: Tenta di scrivere l'intera fortezza in un colpo solo, viene sopraffatto e si arrende.

Il paper sostiene che chiedere semplicemente alla Penna Magica di "scrivere un contratto sicuro" non sia sufficiente. Abbiamo bisogno di un sistema migliore.

La Soluzione: SolAgent (Il Team di Maestri Costruttori)

Gli autori hanno creato SolAgent, che non è solo un'IA, ma un team di agenti IA specializzati che lavorano insieme. Invece di scrivere il codice una volta sola e sperare nel meglio, SolAgent imita il modo in cui gli esperti umani costruiscono il software: Scrivi, Controlla, Correggi, Ripeti.

Pensa a SolAgent come a un cantiere con due lavoratori principali e un set di strumenti hi-tech:

1. I Due Lavoratori

L'Agente di Codifica (Il Costruttore): Questa IA prende la tua richiesta (es. "Costruisci una cassaforte che si apre solo se hai una chiave") e scrive la bozza iniziale del codice.
L'Agente di Raffinamento (L'Ispettore): Questa IA non si limita a leggere il codice; lo testa attivamente. Esamina il lavoro del Costruttore, trova gli errori e gli dice esattamente come correggerli.

2. Gli Strumenti Hi-Tech (Il Sistema a "Doppio Ciclo")

Il genio di SolAgent risiede nel modo in cui utilizza due strumenti specifici per controllare il lavoro, creando un "doppio ciclo" di controllo qualità:

Il Ciclo Interno (Il Test della "Fucina"):
- Analogia: Immagina una macchina per test di resistenza che cerca di rompere la porta della tua cassaforte.
- Cosa fa: Esegue il codice attraverso un compilatore (Forge) per vedere se funziona davvero. Se il codice crasha o fallisce un test matematico, l'Agente di Raffinamento riceve un rapporto che dice: "Questa riga è rotta", e lo rimanda al Costruttore per la correzione.
- Risultato: Questo assicura che il codice sia funzionale.
Il Ciclo Esterno (La Scansione di Sicurezza "Slither"):
- Analogia: Immagina un esperto di sicurezza con un metal detector che cammina intorno alla cassaforte cercando trappole nascoste o mattoni instabili.
- Cosa fa: Utilizza un analizzatore statico (Slither) per scansionare vulnerabilità di sicurezza note (come un bug di "reentrancy" dove un ladro può ingannare la cassaforte per farle pagare due volte). Se trova un buco, comunica all'Agente di Raffinamento di patcharlo immediatamente.
- Risultato: Questo assicura che il codice sia sicuro.

3. Il File System (La "Tessera della Biblioteca")

Le IA generiche spesso si confondono perché non sanno quali altri file esistano nel progetto. SolAgent è dotato di uno Strumento di File System.

Analogia: Invece di indovinare quali strumenti ci siano nel capanno, l'IA può effettivamente avvicinarsi, aprire la porta del capanno, leggere le etichette sulle scatole e prendere gli strumenti giusti per finire il lavoro. Questo la aiuta a comprendere progetti complessi con molte parti diverse.

Come Funziona: Il Pulsante "Stop"

Potresti pensare: "Non continueranno a correggere il codice all'infinito?"
Il paper introduce un Meccanismo di Arresto Dinamico. È come un timer intelligente che sa quando fermarsi:

Successo: Se il codice supera tutti i test e non ha falle di sicurezza, fermati.
Blocco: Se l'IA continua a commettere lo stesso identico errore ripetutamente (looping), fermati per risparmiare tempo.
Stagnazione: Se il codice non migliora dopo alcuni tentativi, fermati.

I Risultati: Perché è Importante

I ricercatori hanno testato SolAgent su un benchmark difficile chiamato SolEval+ (una collezione di sfide reali di smart contract).

Funziona Molto Meglio:
- L'IA standard (la sola "Penna Magica") ha completato correttamente solo circa il 25% dei contratti al primo tentativo.
- SolAgent ne ha completati il 64,39% al primo tentativo. È più del doppio del tasso di successo.
- Analogia: Se chiedessi a 100 persone a caso di costruire una cassaforte, 25 potrebbero costruirne una funzionante. SolAgent è come assumere un architetto esperto che costruisce 64 casseforti funzionanti su 100.
È Più Sicuro:
- Rispetto al codice scritto dagli umani, SolAgent ha ridotto le vulnerabilità di sicurezza di quasi il 40%.
- Analogia: Ha trovato e corretto le trappole nascoste che anche gli esperti costruttori umani a volte trascurano.
È Più Economico (Il Trucco della "Distillazione"):
- Far girare un team di agenti IA è costoso. Per questo motivo, gli autori hanno preso le "conversazioni di alta qualità" (la traiettoria) tra il Costruttore e l'Ispettore e le hanno usate per istruire un modello di IA più piccolo e meno costoso (Qwen3-8B).
- Analogia: Hanno preso gli appunti di un grande chef in cucina e hanno insegnato a un cuoco junior come preparare lo stesso piatto perfetto. Il cuoco junior (il modello piccolo) ha imparato a cucinare quasi altrettanto bene del grande team, ma molto più velocemente e a costi inferiori.

Riassunto

SolAgent è un nuovo modo per usare l'IA per scrivere codice blockchain. Inve di fidarsi di una singola IA affinché faccia tutto bene al primo colpo, crea un team che scrive il codice, lo testa con un compilatore, lo scansiona per falle di sicurezza e corregge gli errori finché non è perfetto. Il risultato è un codice significativamente più affidabile e sicuro di quanto tipicamente producano l'attuale IA o persino gli esperti umani.

Riepilogo Tecnico: SolAgent

Definizione del Problema

Gli smart contract fungono da spina dorsale del web decentralizzato, gestendo miliardi in asset digitali. Tuttavia, la loro natura immutabile significa che qualsiasi vulnerabilità può portare a perdite finanziarie catastrofiche. Sebbene i Large Language Models (LLM) abbiano dimostrato competenza nella generazione di codice generale, essi faticano significamente con i rigorosi requisiti dello sviluppo in Solidity. Gli attuali LLM general-purpose e i framework multi-agente spesso producono codice che è sintatticamente plausibile ma funzionalmente errato ("allucinazioni") o che contiene sottili vulnerabilità di sicurezza. Inoltre, gli esistenti framework di agenti mancano tipicamente dell'integrazione con strumenti di verifica specifici per il dominio e non riescono a gestire le complesse strutture di dipendenza dei progetti Solidity del mondo reale, portando ad elevati tassi di fallimento della compilazione e a garanzie di sicurezza inadeguate.

Metodologia

Gli autori propongono SolAgent, un framework multi-agente specializzato e potenziato da strumenti, progettato per imitare il flusso di lavoro degli esperti umani nello sviluppo di smart contract. SolAgent affronta i limiti della generazione a singolo passaggio attraverso un meccanismo di raffinamento a doppio ciclo e l'integrazione di strumenti specializzati.

Architettura Core

Collaborazione Multi-Agente: Il sistema impiega un'architettura a due agenti:
- Coding Agent: Genera l'implementazione iniziale in Solidity basata sui requisiti dell'utente.
- Refining Agent: Migliora iterativamente il codice analizzando il feedback di strumenti esterni e modificando l'implementazione per correggere bug e ottimizzare l'uso del gas.
Raffinamento Potenziato da Strumenti (Doppio Ciclo):
- Ciclo Interno (Correttezza ed Efficienza): Utilizza Forge (Foundry) per compilare il codice ed eseguire unit test. L'agente riceve feedback su fallimenti di compilazione, errori di asserzione nei test e stack trace per garantire la correttezza funzionale.
- Ciclo Esterno (Sicurezza): Sfrutta Slither, un analizzatore statico, per rilevare vulnerabilità di sicurezza (categorizzate per severità). L'agente utilizza questo feedback per rimediare a problemi come reentrancy o overflow di interi.
- Consapevolezza del Contesto: Gli agenti sono dotati di strumenti di file system (List Directory, Read File) per esplorare le strutture dei progetti, risolvere le dipendenze e comprendere il contesto del codebase, una capacità spesso assente negli agenti general-purpose.
Meccanismo di Arresto Dinamico: Per prevenire loop infiniti o degradazione, il framework impiega un algoritmo di arresto dinamico. Il raffinamento cessa se:
- Tutti i test passano e non rimangono vulnerabilità critiche (Successo).
- Il tasso di successo ristagna per $N$ round consecutivi.
- La similarità del feedback tra round consecutivi supera una soglia (indicando che l'agente è bloccato in un loop).
Distillazione del Flusso di Lavoro: Per democratizzare l'accesso e ridurre i costi computazionali, gli autori distillano le traiettorie di interazione di alta qualità generate da SolAgent in un modello open-source più piccolo (Qwen3-8B). Utilizzano due strategie di dati:
- Full-Context: Utilizzando requisiti dettagliati e etichettati da esseri umani.
- Compressed-Context: Utilizzando requisiti funzionali riassunti per migliorare l'efficienza dei token.
  Il modello distillato è addestrato per produrre codice sicuro e corretto in un singolo passaggio, "comprimendo" efficacemente l'intelligenza multi-agente.

Contributi Chiave

Framework Multi-Agente Potenziato da Strumenti: SolAgent è presentato come il primo framework che integra strumenti di compilazione specifica del dominio (Forge) e di analisi statica (Slither) direttamente in un flusso di lavoro end-to-end di generazione e raffinamento di smart contract.
Meccanismo di Raffinamento a Doppio Ciclo: Il documento introduce un meccanismo che ottimizza simultaneamente la correttezza funzionale e la sicurezza, affrontando il "triangolo impossibile" della generazione a singolo passaggio dove i modelli spesso sacrificano l'uno per l'altro.
Valutazioni Estensive e Distillazione: Gli autori stabiliscono un nuovo stato dell'arte sul Benchmark SolEval+ (derivato da progetti reali di alta qualità) e dimostrano che le traiettorie generate da SolAgent possono distillare efficacemente le capacità in modelli open-source più piccoli.

Risultati Sperimentali

Gli esperimenti sono stati condotti sul Benchmark SolEval+, composto da 81 file e 1.188 casi di test eseguibili.

Correttezza Funzionale: SolAgent ha raggiunto un tasso Pass@1 del 64,39% (utilizzando Claude-Sonnet-4.5 come base), superando significativamente i LLM vanilla (~25%), gli IDE AI come GitHub Copilot e gli esistenti framework di agenti (es. MetaGPT, Qwen-Agent). Ha inoltre mantenuto un tasso di compilazione superiore al 90%, rispetto al ~30-45% dei baseline.
Sicurezza: Rispetto ai baseline scritti da umani, SolAgent ha ridotto le vulnerabilità di sicurezza fino al 39,77% (specificamente con GPT-5-Mini). L'integrazione del feedback di Slither si è rivelata critica, poiché la sua rimozione aumentava significativamente le vulnerabilità nell'analisi "Min-Vuln".
Efficienza del Gas: SolAgent ha mantenuto un'efficienza del gas competitiva, con rapporti di media troncata vicini a 1.0 rispetto ai baseline, indicando che il focus su correttezza e sicurezza non è avvenuto a scapito di un eccessivo consumo di gas.
Efficacia della Distillazione: Il modello distillato Qwen3-8B (SolAgent-tracker-v2) ha raggiunto un Pass@1 dell'1,31%, eguagliando le prestazioni del modello molto più grande Qwen3-32B, dimostrando l'efficacia del trasferimento delle traiettorie degli agenti a modelli più piccoli.

Significato e Rivendicazioni

Il documento afferma che SolAgent rappresenta un avanzamento significativo nella generazione automatizzata di smart contract, colmando il divario tra le capacità generative degli LLM e i rigorosi requisiti di correttezza e sicurezza dello sviluppo blockchain.

Affidabilità: Mimando i flussi di lavoro degli esperti umani attraverso il raffinamento iterativo e l'uso di strumenti, SolAgent produce codice che non è solo sintatticamente corretto, ma anche funzionalmente robusto e sicuro.
Accessibilità: I risultati della distillazione suggeriscono che i processi di ragionamento di alta qualità dei complessi sistemi multi-agente possono essere trasferiti a modelli open-source più piccoli, rendendo la generazione di smart contract sicuri più accessibile e conveniente per le piccole organizzazioni e i singoli sviluppatori.
Specializzazione del Dominio: Il lavoro evidenzia la necessità di soluzioni per il "disallineamento del dominio" (domain mismatch), sostenendo che gli agenti general-purpose falliscono in ambienti ad alto rischio come Solidity senza cicli di verifica specializzati e integrazione di strumenti consapevoli del contesto.

Gli autori concludono che, sebbene SolAgent stabilisca un nuovo stato dell'arte, il lavoro futuro si concentrerà sull'estensione del framework per supportare sistemi multi-contract complessi e sull'integrazione di strumenti di verifica formale per garanzie di sicurezza ancora più forti.