La inteligencia artificial está empezando a escribir el código que mueve dinero en las blockchains. La Artificial Superintelligence Alliance y la plataforma de desarrolladores Matterhorn dicen que quieren asegurarse de que ese código sea seguro. Matterhorn y la ASI Alliance anunciaron el viernes la 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 que la IA genere al instante el código completo del contrato inteligente. Si bien esta técnica acelera el desarrollo y reduce la barrera para crear aplicaciones, también introduce el riesgo de que la IA genere código defectuoso o inseguro que los atacantes pueden aprovechar. “Estamos en el comienzo de un mundo en el que los dApps se convierten en ‘solo Apps’, algo común como los sitios web y las aplicaciones que usamos hoy”, dijo la empresa en un comunicado. “Cada una de las demás herramientas en este espacio está compitiendo por enviar código más rápido. Creemos que esa es la carrera equivocada. Los creadores 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 lo construimos.”
Para mitigar esta amenaza, el fundador de Matterhorn, Abhinav Ramesh, dijo que la empresa está trabajando con auditores de seguridad externos y herramientas automatizadas para ayudar a los desarrolladores a revisar contratos inteligentes generados por IA antes del despliegue. “Nos asociamos con empresas de auditoría de seguridad que pueden ofrecer servicios de auditoría a través de Matterhorn para los creadores en Matterhorn”, le dijo Ramesh a Decrypt. “También tenemos agentes de IA que hacen auditorías agentic, 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 Fetch.ai, SingularityNET y CUDOS, lo que brinda a los desarrolladores un entorno único para construir, auditar y desplegar aplicaciones descentralizadas.
“Lo hacemos fácil para que los usuarios conecten MCPs, construyan/usen habilidades, construyan dApps y desplieguen desde una sola plataforma”, dijo Ramesh. “Estamos trabajando con el equipo de ASI en ‘blessed templates’ para facilitar la construcción de contratos más seguros específicamente para lenguajes basados en verificación formal.” La empresa dijo que los desarrolladores pueden conectarse con auditores de terceros a través de la plataforma antes de lanzar contratos en una blockchain en vivo. Sin embargo, aunque Matterhorn dijo que su plataforma acelera el desarrollo, no garantiza la seguridad. “Somos un habilitador sólido para los creadores que quieren construir sobre Web3”, dijo Ramesh. “No hay absolutamente ninguna garantía de ningún tipo por parte del equipo de Matterhorn sobre la seguridad o la seguridad informática.” Ramesh dijo que Matterhorn y la ASI Alliance están desarrollando “blessed templates” para ayudar a los desarrolladores a construir contratos inteligentes más seguros, mientras integran ASI:Cloud para proporcionar el poder de cómputo para los sistemas de IA que generan y analizan código para MeTTa, el lenguaje de programación de ASI:Chain. La asociación llega en un momento en el que los agentes de IA se están adentrando cada vez más en la industria cripto, donde los desarrolladores están experimentando con sistemas que pueden gestionar carteras, ejecutar operaciones y realizar tareas financieras en cadena, lo que impulsa nuevas herramientas e investigación orientadas a controlar los riesgos cuando esos sistemas autónomos manejan criptomonedas. Khellar Crawford, director de innovación de SingularityNET, dijo que gran parte de la industria blockchain se basa en un enfoque de “patch-and-pray” (parchear y rezar): escribir contratos inteligentes en lenguajes que no están bien adaptados para una concurrencia compleja y confiar en que los auditores detecten fallos; mientras que F1R3FLY y ASI:Chain emplean la que él llamó una arquitectura “correct-by-construction” basada en el cálculo de 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 en vivo, la propia matemática garantiza que no habrá interbloqueos, exploits de condiciones de carrera ni fondos filtrados.”