En Resumen
- Matterhorn y la ASI Alliance anunciaron una iniciativa para auditar contratos inteligentes generados por IA mediante "vibe coding" antes de su implementación.
- La plataforma integra auditores externos y agentes de IA, aunque Matterhorn aclaró que no ofrece ninguna garantía de seguridad a los desarrolladores.
- SingularityNET indicó que ASI:Chain usa verificación matemática para garantizar que el código no tenga exploits ni filtre fondos antes de tocar la red.
La inteligencia artificial está comenzando a escribir el código que mueve dinero en blockchains. La Artificial Superintelligence Alliance y la plataforma de desarrollo Matterhorn afirman que quieren asegurarse de que ese código sea seguro.
Matterhorn y la ASI Alliance anunciaron el viernes una nueva iniciativa centrada en el "vibe coding"—una función de la plataforma Matterhorn que permite a los desarrolladores describir una aplicación en lenguaje sencillo, y la IA genera instantáneamente el código completo del contrato inteligente. Si bien esta técnica acelera el desarrollo y reduce la barrera para construir aplicaciones, también introduce el riesgo de que la IA genere código defectuoso o inseguro que los atacantes puedan explotar.
"Estamos en los inicios de un mundo donde las dApps se convierten en 'simplemente Apps', tan comunes como los sitios web y aplicaciones que usamos hoy", señaló la empresa en un comunicado. "Todas las demás herramientas en este espacio compiten por enviar código más rápido. Creemos que esa es la carrera equivocada. Los desarrolladores que construyen dApps que manejan dinero real y usuarios reales necesitan una plataforma en la que puedan confiar, y esta asociación es cómo la construimos".
Para mitigar esta amenaza, el fundador de Matterhorn, Abhinav Ramesh, afirmó que la empresa trabaja con auditores de seguridad externos y herramientas automatizadas para ayudar a los desarrolladores a revisar los contratos inteligentes generados por IA antes de su implementación.
"Nos asociamos con empresas de auditoría de seguridad que pueden ofrecer servicios de auditoría a través de Matterhorn para los constructores en Matterhorn", agregó Ramesh a Decrypt. "También contamos con agentes de IA que realizan auditorías agénticas, pero absolutamente no recomendamos hacer solo eso para aplicaciones en mainnet".
La plataforma de desarrollo Matterhorn está diseñada para integrarse con ASI:Chain, una red blockchain desarrollada por la Artificial Superintelligence Alliance, un colectivo descentralizado de IA que incluye a Fetch.ai, SingularityNET y CUDOS, ofreciendo a los desarrolladores un entorno único para construir, auditar e implementar aplicaciones descentralizadas.
"Facilitamos que los usuarios conecten MCPs, construyan/usen skills, desarrollen dApps y realicen implementaciones desde una sola plataforma", señaló Ramesh. "Estamos trabajando con el equipo de ASI en 'plantillas certificadas' para facilitar la construcción de contratos más seguros, específicamente para lenguajes basados en verificación formal".
La empresa indicó que los desarrolladores pueden conectarse con auditores externos a través de la plataforma antes de lanzar contratos en una blockchain activa. Sin embargo, si bien Matterhorn afirmó que su plataforma acelera el desarrollo, no garantiza la seguridad.
"Somos un habilitador importante para los desarrolladores que quieren construir en Web3", afirmó Ramesh. "No hay absolutamente ningún tipo de garantía por parte del equipo de Matterhorn en materia de seguridad".
Ramesh señaló que Matterhorn y la ASI Alliance están desarrollando "plantillas certificadas" para ayudar a los desarrolladores a construir contratos inteligentes más seguros, al tiempo que integran ASI:Cloud para proporcionar la potencia de cómputo para los sistemas de IA que generan y analizan código en MeTTa, el lenguaje de programación de ASI:Chain.
La asociación llega en un momento en que los agentes de IA se adentran cada vez más en la industria cripto, donde los desarrolladores experimentan con sistemas capaces de gestionar billeteras, ejecutar operaciones y llevar a cabo tareas financieras on-chain, lo que impulsa el desarrollo de nuevas herramientas e investigaciones orientadas a controlar los riesgos cuando esos sistemas autónomos manejan criptomonedas.
Khellar Crawford, director de innovación de SingularityNET, afirmó que gran parte de la industria blockchain se apoya en un enfoque de "parchear y rezar"—escribiendo contratos inteligentes en lenguajes mal adaptados para la concurrencia compleja y dependiendo de auditores para detectar fallas—mientras que F1R3FLY y ASI:Chain utilizan lo que denominó una arquitectura de "corrección por construcción" basada en el cálculo Rho.
"No adivinamos si una aplicación es segura, lo probamos matemáticamente usando tipos de comportamiento espacial", dijo Crawford a Decrypt. "Antes de que una sola línea de código toque la red activa, las matemáticas por sí solas garantizan que no habrá bloqueos, exploits de condición de carrera ni fondos filtrados".