Nuevas Herramientas Buscan Hacer el ‘Vibe Coding’ de IA Más Seguro para Cripto

La inteligencia artificial está comenzando a redactar el código que gestiona el dinero en las blockchains. La Alianza de Superinteligencia Artificial y la plataforma de desarrollo Matterhorn han afirmado su intención de garantizar que dicho código sea seguro.

Matterhorn y la Alianza ASI anunciaron el pasado viernes una nueva iniciativa centrada en la «programación vibe», una característica de su plataforma que permite a los desarrolladores describir una aplicación en lenguaje sencillo, mientras que la IA genera instantáneamente el código completo para el contrato inteligente. Aunque esta técnica acelera el desarrollo y facilita la creación de aplicaciones, también introduce el riesgo de que la IA genere un código defectuoso o inseguro que pueda ser explotado por atacantes.

«Estamos en el inicio de un mundo donde las aplicaciones descentralizadas (dApps) se convierten en ‘aplicaciones comunes’, tan frecuentes como los sitios y aplicaciones que usamos hoy», afirmó la empresa en un comunicado. «Cada otra herramienta en este espacio está intentando lanzar código más rápidamente. Creemos que esa no es la carrera adecuada. Los desarrolladores que crean dApps que manejan dinero real y usuarios reales necesitan una plataforma en la que puedan confiar, y esta alianza es la manera de construirla.»

Para mitigar esta amenaza, Abhinav Ramesh, fundador de Matterhorn, indicó que la compañía está colaborando 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.

“Colaboramos con empresas de auditoría de seguridad que pueden ofrecer servicios de auditoría a través de Matterhorn para los desarrolladores en nuestra plataforma”, explicó Ramesh. “También disponemos de agentes de IA que realizan auditorías, pero no recomendamos usar solamente eso para aplicaciones en mainnet.”

La plataforma de desarrollo Matterhorn está diseñada para integrarse con ASI:Chain, una red blockchain desarrollada por la Alianza de Superinteligencia Artificial. Esta es una colección de IA descentralizada que incluye a Fetch.ai, SingularityNET y CUDOS, proporcionando a los desarrolladores un entorno único para construir, auditar e implementar aplicaciones descentralizadas.

“Facilitamos a los usuarios la conexión con MCPs, la construcción y uso de habilidades, el desarrollo de dApps y la implementación desde una única plataforma”, afirmó Ramesh. “Estamos colaborando con el equipo de ASI en ‘plantillas bendecidas’ 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, aunque Matterhorn afirma que su plataforma acelera el desarrollo, no garantiza la seguridad.

“Somos un facilitador poderoso para quienes desean crear en Web3”, concluyó Ramesh. “No hay garantías de ningún tipo por parte del equipo de Matterhorn en cuanto a la seguridad.”

Ramesh agregó que Matterhorn y la Alianza ASI están desarrollando «plantillas bendecidas» para asistir a los desarrolladores en la creación de contratos inteligentes más seguros, integrando ASI:Cloud para proporcionar la potencia de cálculo necesaria para los sistemas de IA que generan y analizan código para MeTTa, el lenguaje de programación de ASI:Chain.

Esta colaboración surge en un momento en el que los agentes de IA están adentrándose cada vez más en la industria de las criptomonedas, donde los desarrolladores experimentan con sistemas que pueden gestionar billeteras, ejecutar operaciones y llevar a cabo tareas financieras en cadena, lo que ha dado lugar a nuevas herramientas e investigaciones orientadas a controlar los riesgos cuando esos sistemas autónomos manejan criptomonedas.

Khellar Crawford, director de innovación de SingularityNET, comentó que gran parte de la industria blockchain se basa en un enfoque de “parchear y esperar”, escribiendo contratos inteligentes en lenguajes poco adecuados para la concurrencia compleja y dependiendo de los auditores para detectar fallas, mientras que F1R3FLY y ASI:Chain utilizan lo que él denomina una arquitectura “correcta por construcción” basada en el cálculo Rho.

“No hacemos suposiciones sobre si una aplicación es segura, lo demostramos matemáticamente usando tipos de comportamiento espacial”, explicó Crawford a Decrypt. “Antes de que cualquier línea de código toque la red activa, las matemáticas garantizan que no habrá bloqueos, explotaciones por condiciones de carrera ni fondos filtrados.”