Gno.land, la plataforma de contratos inteligentes basada en Go desarrollada por NewTendermint, ha presentado Dora, un sistema autónomo de seguridad con IA que examina de forma continua la base de código de la plataforma y sus contratos inteligentes, conocidos como realms.

A diferencia de las herramientas de seguridad convencionales, que marcan código potencialmente vulnerable para una investigación posterior, Dora está diseñada para determinar si una debilidad sospechosa puede explotarse realmente. Antes de que cualquier hallazgo llegue a un revisor humano, el sistema reproduce el supuesto exploit contra un nodo activo de Gno.land, en un enfoque destinado a reducir falsos positivos y detectar antes vulnerabilidades accionables.

El lanzamiento refleja un cambio más amplio entre los proyectos de blockchain hacia la inteligencia artificial agéntica para la supervisión continua de la seguridad, en lugar de depender principalmente de auditorías periódicas o de vulnerabilidades reportadas mediante programas de recompensas por errores. La magnitud de ese cambio se refleja en los datos de pérdidas del sector: rastreadores de seguridad como Chainalysis e Immunefi han informado pérdidas anuales multimillonarias por ataques cripto en los últimos años, con vulnerabilidades en contratos inteligentes entre las causas recurrentes. Las auditorías tradicionales también son evaluaciones puntuales, y el código que cambia después de una auditoría puede permanecer sin revisar hasta la siguiente intervención, una brecha que la supervisión continua busca reducir.

Gno.land fue fundada por Jae Kwon, co-creador de Cosmos y Tendermint. La plataforma utiliza Gno, una variante interpretada y determinista de Go, y está diseñada para permitir a los desarrolladores escribir contratos inteligentes legibles y componibles mientras exige que el código fuente permanezca disponible públicamente en la cadena. Esa arquitectura pretende mejorar la transparencia y hacer que los contratos sean más fáciles de inspeccionar para desarrolladores e investigadores de seguridad. NewTendermint, dirigida por Kwon, desarrolla infraestructura para sistemas descentralizados, incluidos Tendermint2 y Gno.land, y actúa como mantenedor principal del protocolo de Gno.land y de GnoVM, respaldando infraestructura de código abierto destinada a aplicaciones sin permisos.

El proceso de siete agentes apunta a vulnerabilidades explotables

La necesidad de verificación continua ha aumentado a medida que la inteligencia artificial ha facilitado la identificación de código sospechoso. Las herramientas asistidas por IA pueden localizar rápidamente secciones potencialmente problemáticas del software, pero determinar si esos problemas representan vulnerabilidades reales y explotables sigue siendo más difícil, y esas mismas capacidades son cada vez más accesibles tanto para los equipos de seguridad como para posibles atacantes.

Para las redes blockchain, las consecuencias de un defecto de software no detectado pueden ser significativas. Un panic en un componente crítico podría interferir con el consenso, un comportamiento no determinista podría hacer que los validadores diverjan y los errores aritméticos podrían afectar potencialmente las transferencias de activos.

Dora aborda este desafío mediante un flujo de trabajo de agentes en siete etapas que cubre reconocimiento, planificación de vulnerabilidades, deduplicación, verificación, revisión adversaria, desarrollo de parches y validación final de la corrección.

El agente de reconocimiento mapea el código relevante, mientras que el agente de planificación desarrolla posibles escenarios de vulnerabilidad. Una etapa de deduplicación elimina los problemas que ya son conocidos. Luego, el verificador crea y ejecuta una prueba en vivo contra un nodo real de Gno.land para determinar si la debilidad sospechada puede reproducirse.

Un revisor independiente evalúa el resultado desde una perspectiva adversaria. Si el problema sigue siendo válido, un agente reparador prepara un parche, seguido de otra revisión para determinar si la corrección propuesta resuelve la vulnerabilidad sin introducir otro problema. Solo los hallazgos que superan el proceso completo se envían a revisores humanos.

Gno.land amplía las herramientas de desarrollo centradas en IA

Dora forma parte del esfuerzo más amplio de Gno.land por integrar la inteligencia artificial tanto en los procesos de desarrollo como de seguridad. La plataforma también ha lanzado gnomcp, un servidor de código abierto diseñado para conectar agentes de codificación con IA, como Claude Code y Cursor, directamente con Gno.land.

A través de esa integración, los agentes de IA pueden interactuar con Gno.land para leer, escribir e implementar realms usando flujos de trabajo de desarrollo familiares para ingenieros de software. El uso de contratos inteligentes basados en Go y legibles para humanos también busca hacer que su código sea más accesible para los sistemas de IA en comparación con arquitecturas en las que la lógica de aplicación se representa principalmente como bytecode compilado.

Dora es actualmente una herramienta interna de seguridad, y Gno.land aún no ha completado una auditoría integral de toda su base de código, aunque las pruebas dirigidas ya han generado hallazgos reproducibles con relativamente poco ruido.

La empresa planea ampliar la cobertura de Dora y publicar resultados adicionales a medida que el sistema se despliegue de forma más amplia. La iniciativa podría proporcionar a Gno.land una capa de seguridad continua que complemente las auditorías tradicionales y la investigación de vulnerabilidades liderada por humanos, al tiempo que permite abordar los problemas confirmados antes de que sean descubiertos externamente.

The post Gno.land Launches AI Agent to Proactively Prove Smart Contract Bugs appeared first on CoinTrust .