💻 computer science

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

SolAgent es un marco de trabajo multiagente especializado que aprovecha un mecanismo de refinamiento de doble bucle combinando el compilador Forge y el analizador estático Slither para superar significativamente a los LLM y herramientas de IA existentes en la generación de contratos inteligentes de Solidity seguros y funcionales, al tiempo que permite la destilación de trayectorias de alta calidad en modelos de código abierto más pequeños.

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

Publicado 2026-02-02

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

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

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

El Gran Problema: Construir Fortalezas Digitales con un "Lápiz Mágico"

Imagina que estás construyendo una fortaleza digital (un Contrato Inteligente o Smart Contract) que contiene millones de dólares. Una vez que la construyes y cierras la puerta, nunca más podrás cambiar un solo ladrillo. Si cometes un error minúsculo, los ladrones pueden entrar y robarlo todo.

Recientemente, obtuvimos un "Lápiz Mágico" (Modelos de Lenguaje Extensos o LLMs) que puede escribir código por nosotros al instante. Pero este lápiz es como un aprendiz muy seguro de sí mismo pero sin experiencia. Escribe código que se ve hermoso y que parece correcto, pero a menudo:

No funciona: El código tiene errores ocultos que hacen que falle inmediatamente (Fallo de Compilación).
Es inseguro: Deja puertas traseras secretas abiertas que los hackers pueden explotar.
Se queda atascado: Intenta escribir toda la fortaleza de una sola vez, se siente abrumado y se rinde.

El artículo argumenta que simplemente pedirle al Lápiz Mágico que "escriba un contrato seguro" no es suficiente. Necesitamos un sistema mejor.

La Solución: SolAgent (El Equipo de Maestros Constructores)

Los autores crearon SolAgent, que no es solo una IA, sino un equipo de agentes de IA especializados trabajando juntos. En lugar de escribir el código una vez y esperar lo mejor, SolAgent imita cómo los expertos humanos construyen software: Escribir, Revisar, Corregir, Repetir.

Piensa en SolAgent como una obra de construcción con dos trabajadores principales y un conjunto de herramientas de alta tecnología:

1. Los Dos Trabajadores

El Agente de Codificación (El Constructor): Esta IA toma tu solicitud (por ejemplo, "Construye una bóveda que solo se abra si tienes una llave") y escribe el borrador inicial del código.
El Agente de Refinamiento (El Inspector): Esta IA no solo lee el código; lo prueba activamente. Revisa el trabajo del Constructor, encuentra errores y le dice al Constructor exactamente cómo corregirlos.

2. Las Herramientas de Alta Tecnología (El Sistema de "Doble Bucle")

La genialidad de SolAgent es cómo utiliza dos herramientas específicas para revisar el trabajo, creando un "doble bucle" de control de calidad:

El Bucle Interno (La Prueba de la "Forja"):
- Analogía: Imagina una máquina de pruebas de estrés que intenta romper la puerta de tu bóveda.
- Qué hace: Ejecuta el código a través de un compilador (Forge) para ver si realmente funciona. Si el código falla o falla una prueba matemática, el Agente de Refinamiento recibe un informe que dice: "Esta línea está rota", y lo devuelve al Constructor para que lo arregle.
- Resultado: Esto asegura que el código sea funcional.
El Bucle Externo (El Escaneo de Seguridad de "Slither"):
- Analogía: Imagina a un experto en seguridad con un detector de metales caminando alrededor de la bóveda buscando trampas ocultas o ladrillos sueltos.
- Qué hace: Utiliza un analizador estático (Slither) para escanear vulnerabilidades de seguridad conocidas (como un error de "reentrada" donde un ladrón puede engañar a la bóveda para que pague dos veces). Si encuentra un agujero, le dice al Agente de Refinamiento que lo parchee de inmediato.
- Resultado: Esto asegura que el código sea seguro.

3. El Sistema de Archivos (La "Ficha de la Biblioteca")

Las IA generales suelen confundirse porque no saben qué otros archivos existen en el proyecto. SolAgent está equipado con una Herramienta de Sistema de Archivos.

Analogía: En lugar de adivinar qué herramientas hay en el cobertizo, la IA puede caminar hacia allá, abrir la puerta del cobertizo, leer las etiquetas de las cajas y tomar las herramientas adecuadas que necesita para terminar el trabajo. Esto le ayuda a comprender proyectos complejos con muchas partes diferentes.

Cómo Funciona: El Botón de "Parar"

Podrías pensar: "¿No seguirán corrigiendo el código para siempre?".
El artículo introduce un Mecanismo de Parada Dinámica. Es como un temporizador inteligente que sabe cuándo detenerse:

Éxito: Si el código pasa todas las pruebas y no tiene vulnerabilidades de seguridad, detener.
Atascado: Si la IA sigue cometiendo el mismo error una y otra vez (en un bucle), detener para ahorrar tiempo.
Estancamiento: Si el código no mejora después de varios intentos, detener.

Los Resultados: Por Qué Importa

Los investigadores probaron SolAgent en un benchmark difícil llamado SolEval+ (una colección de desafíos de contratos inteligentes del mundo real).

Funciona Mucho Mejor:
- La IA estándar (el "Lápiz Mágico" solo) solo logró que el 25% de los contratos fueran correctos al primer intento.
- SolAgent logró que el 64.39% fueran correctos al primer intento. Eso es más del doble de la tasa de éxito.
- Analogía: Si le pidieras a 100 personas al azar que construyan una caja fuerte, 25 podrían construir una que funcione. SolAgent es como contratar a un maestro arquitecto que construye 64 cajas fuertes funcionales de cada 100.
Es Más Seguro:
- En comparación con el código escrito por humanos, SolAgent redujo las vulnerabilidades de seguridad en casi un 40%.
- Analogía: Encontró y reparó las trampas ocultas que incluso los constructores humanos experimentados a veces pasan por alto.
Es Más Barato (El Truco de la "Destilación"):
- Ejecutar un equipo de agentes de IA es costoso. Por ello, los autores tomaron las "conversaciones de alta calidad" (la trayectoria) entre el Constructor y el Inspector y las usaron para enseñar a un modelo de IA más pequeño y económico (Qwen3-8B).
- Analogía: Tomaron las notas de la cocina de un maestro chef y le enseñaron a un cocinero principiante cómo hacer el mismo plato perfecto. El cocinero junior (el modelo pequeño) aprendió a cocinar casi tan bien como el gran equipo, pero mucho más rápido y barato.

Resumen

SolAgent es una nueva forma de usar la IA para escribir código de blockchain. En lugar de confiar en una sola IA para que lo haga bien a la primera, establece un equipo que escribe código, lo prueba con un compilador, lo escanea en busca de fallos de seguridad y corrige los errores hasta que es perfecto. El resultado es un código significativamente más confiable y seguro de lo que la IA actual o incluso los expertos humanos suelen producir.

Resumen Técnico: SolAgent

Declaración del Problema

Los contratos inteligentes sirven como la columna vertebral de la web descentralizada, gestionando miles de millones en activos digitales. Sin embargo, su naturaleza inmutable significa que cualquier vulnerabilidad puede derivar en pérdidas financieras catastróficas. Aunque los Modelos de Lenguaje Extensos (LLM) han demostrado competencia en la generación de código general, tienen dificultades significativas con los rigurosos requisitos del desarrollo en Solidity. Los LLM de propósito general actuales y los marcos de trabajo multi-agente suelen producir código que es sintácticamente plausible pero funcionalmente incorrecto ("alucinaciones") o que contiene vulnerabilidades de seguridad sutiles. Además, los marcos de agentes existentes suelen carecer de integración con herramientas de verificación específicas del dominio y no logran manejar las complejas estructuras de dependencias de los proyectos reales de Solidity, lo que conduce a altas tasas de fallo de compilación e insuficientes garantías de seguridad.

Metodología

Los autores proponen SolAgent, una herramienta especializada de marco de trabajo multi-agente aumentada con herramientas, diseñada para imitar el flujo de trabajo de los expertos humanos en el desarrollo de contratos inteligentes. SolAgent aborda las limitaciones de la generación de una sola pasada mediante un mecanismo de refinamiento de doble bucle y la integración de herramientas especializadas.

Arquitectura Central

Colaboración Multi-Agente: El sistema emplea una arquitectura de dos agentes:
- Agente de Codificación (Coding Agent): Genera la implementación inicial de Solidity basada en los requisitos del usuario.
- Agente de Refinamiento (Refining Agent): Mejora iterativamente el código analizando la retroalimentación de herramientas externas y modificando la implementación para corregir errores y optimizar el uso de gas.
Refinamiento Aumentado por Herramientas (Doble Bucle):
- Bucle Interno (Corrección y Eficiencia): Utiliza Forge (Foundry) para compilar el código y ejecutar pruebas unitarias. El agente recibe retroalimentación sobre fallos de compilación, errores de aserción de pruebas y trazas de pila para asegurar la corrección funcional.
- Bucle Externo (Seguridad): Aprovecha Slither, un analizador estático, para detectar vulnerabilidades de seguridad (categorizadas por severidad). El agente utiliza esta retroalimentación para remediar problemas como la reentrada o el desbordamiento de enteros.
- Conciencia de Contexto: Los agentes están equipados con herramientas de sistema de archivos (Listar Directorio, Leer Archivo) para explorar las estructuras de los proyectos, resolver dependencias y comprender el contexto del código base, una capacidad que suele faltar en los agentes generales.
Mecanismo de Parada Dinámica: Para evitar bucles infinitos o degradación, el marco emplea un algoritmo de parada dinámica. El refinamiento cesa si:
- Todas las pruebas pasan y no quedan vulnerabilidades críticas (Éxito).
- La tasa de éxito se estanca durante $N$ rondas consecutivas.
- La similitud de la retroalimentación entre rondas consecutivas supera un umbral (indicando que el agente está atrapado en un bucle).
Destilación de Flujo de Trabajo: Para democratizar el acceso y reducir los costes computacionales, los autores destilan las trayectorias de interacción de alta calidad generadas por SolAgent en un modelo más pequeño y de código abierto (Qwen3-8B). Utilizan dos estrategias de datos:
- Contexto Completo (Full-Context): Utilizando requisitos detallados y etiquetados por humanos.
- Contexto Comprimido (Compressed-Context): Utilizando requisitos funcionales resumidos para mejorar la eficiencia de los tokens.
  El modelo destilado está entrenado para producir código seguro y correcto en una sola pasada, "comprimiendo" efectivamente la inteligencia multi-agente.

Principales Contribuciones

Marco Multi-Agente Aumentado por Herramientas: SolAgent se presenta como el primer marco que integra herramientas de compilación específicas del dominio (Forge) y de análisis estático (Slither) directamente en un flujo de trabajo de generación y refinamiento de contratos inteligentes de extremo a extremo.
Mecanismo de Refinamiento de Doble Bucle: El artículo introduce un mecanismo que optimiza simultáneamente la corrección funcional y la seguridad, abordando el "triángulo imposible" de la generación de una sola pasada donde los modelos suelen sacrificar uno por el otro.
Evaluaciones Extensas y Destilación: Los autores establecen un nuevo estado del arte en el Benchmark SolEval+ (derivado de proyectos reales de alta calidad) y demuestran que las trayectorias generadas por SolAgent pueden destilar eficazmente las capacidades en modelos más pequeños y de código abierto.

Resultados Experimentales

Los experimentos se realizaron en el Benchmark SolEval+, que consta de 81 archivos y 1,188 casos de prueba ejecutables.

Corrección Funcional: SolAgent logró una tasa Pass@1 del 64.39% (usando Claude-Sonnet-4.5 como base), superando significativamente a los LLM de base (~25%), a los IDE de IA como GitHub Copilot y a los marcos de agentes existentes (por ejemplo, MetaGPT, Qwen-Agent). También mantuvo una tasa de compilación superior al 90%, en comparación con el ~30-45% de los modelos de referencia.
Seguridad: En comparación con las líneas de base escritas por humanos, SolAgent redujo las vulnerabilidades de seguridad hasta en un 39.77% (específicamente con GPT-5-Mini). Se demostró que la integración de la retroalimentación de Slither es crítica, ya que eliminarla aumentó significativamente las vulnerabilidades en el análisis "Min-Vuln".
Eficiencia de Gas: SolAgent mantuvo una eficiencia de gas competitiva, con ratios de media recortada cercanos a 1.0 respecto a las líneas de base, lo que indica que el enfoque en la corrección y la seguridad no se produjo a expensas de un consumo excesivo de gas.
Eficacia de la Destilación: El modelo destilado Qwen3-8B (SolAgent-tracker-v2) alcanzó un Pass@1 de 1.31%, igualando el rendimiento del modelo mucho más grande Qwen3-32B, demostrando la eficacia de transferir las trayectorias de los agentes a modelos más pequeños.

Significado y Reivindicaciones

El artículo afirma que SolAgent representa un avance significativo en la generación automatizada de contratos inteligentes al cerrar la brecha entre las capacidades generativas de los LLM y los rigurosos requisitos de corrección y seguridad del desarrollo blockchain.

Fiabilidad: Al imitar los flujos de trabajo de los expertos humanos mediante el refinamiento iterativo y el uso de herramientas, SolAgent produce código que no solo es sintácticamente correcto, sino también funcionalmente robusto y seguro.
Accesibilidad: Los resultados de la destilación sugieren que los procesos de razonamiento de alta calidad de los sistemas multi-agente complejos pueden transferirse a modelos más pequeños y de código abierto, haciendo que la generación de contratos inteligentes seguros sea más accesible y rentable para organizaciones pequeñas y desarrolladores individuales.
Especialización de Dominio: El trabajo destaca la necesidad de soluciones para el "desajuste de dominio", argumentando que los agentes de propósito general fallan en entornos de alto riesgo como Solidity sin bucles de verificación especializados e integración de herramientas conscientes del contexto.

Los autores concluyen que, si bien SolAgent establece un nuevo estado del arte, el trabajo futuro se centrará en extender el marco para soportar sistemas de múltiples contratos complejos e integrar herramientas de verificación formal para obtener garantías de seguridad aún más fuertes.