El CEO de Helius Labs, Mert Mumtaz, ha advertido que las criptomonedas están entrando en una nueva era de seguridad en la que la IA, la verificación formal y estándares de software más elevados podrían separar a los equipos de infraestructura serios de los protocolos frágiles. En una publicación ampliamente vista en X, argumentó que las criptomonedas están “a punto de entrar en la era espacial”, con código financiero inmutable que exige cada vez más el rigor de las industrias aeroespacial, de fabricación de chips y otras que no toleran fallos.
El argumento central de Mumtaz es que históricamente la mayoría del software ha tolerado un nivel de descuido que las criptomonedas ya no pueden permitirse. En los negocios de internet convencionales, un error puede causar tiempo de inactividad, pérdida de ingresos o una interrupción embarazosa, pero los operadores centralizados suelen poder intervenir, parchear el sistema, revertir cambios o compensar a los usuarios. Escribió que las criptomonedas son estructuralmente diferentes porque su promesa central depende de una ejecución irreversible en entornos adversarios.
“El código financiero inmutable es como una nave espacial que abandona la Tierra y sobre la que no tienes más control. Debe funcionar, o habrá una catástrofe”, dijo Mumtaz. “Esta crisis ha surgido antes. A finales de la década de 1960, una conferencia de la OTAN declaró una ‘crisis del software’, ya que la industria del software se estaba volviendo cada vez más descuidada y nadie podía razonar realmente sobre estos sistemas a gran escala”.
Las criptomonedas deben alcanzar un nivel de seguridad de vuelo espacial
Conectó esa crisis de software anterior con las raíces intelectuales de la verificación formal, citando a Edsger Dijkstra y el argumento de larga data de que las pruebas pueden mostrar la presencia de errores, pero no su ausencia. Para los sistemas donde la corrección importa, dijo Mumtaz, el software debe tratarse menos como un producto de consumo iterativo y más como un objeto matemático sobre el que se puede razonar y demostrar.
Ese marco es especialmente relevante para las criptomonedas porque los sistemas de blockchain manejan miles de millones de dólares en activos a través de un código que es público, inmutable y constantemente sondeado por atacantes. Mumtaz argumentó que la industria a menudo ha adoptado el perfil de riesgo de la aviación o los vuelos espaciales mientras retiene la cultura de desarrollo de las aplicaciones web. En sus palabras, las criptomonedas caen en la categoría de industrias de software de bajo margen de error, sin embargo, “la mayor parte de la industria se ha construido utilizando los estándares descuidados de los antiguos sistemas intervenibles por humanos”.
El CEO de Helius Labs también apuntó a lo que describió como la “fachada de descentralización” que ha suavizado la urgencia percibida del problema. Las claves de administración, los conjuntos de validadores controlados, la coordinación social y las intervenciones de emergencia, argumentó, han creado una sensación de comodidad a corto plazo. Pero esos mecanismos también difuminan la distinción entre sistemas genuinamente autónomos y sistemas que aún pueden ser rescatados por operadores humanos cuando algo falla.
Mumtaz espera que esa distinción sea más difícil de ignorar a medida que la IA mejore. En lugar de ver a la IA solo como un vector de amenaza, la enmarcó como una fuerza que hará que las prácticas rigurosas de software sean más accesibles. La escritura de especificaciones, asistencia en pruebas, razonamiento simbólico, fuzzing, auditorías, verificación de invariantes y flujos de trabajo de verificación formal, dijo, podrían volverse dramáticamente más fáciles de usar a gran escala.
“La parte positiva es que la IA agilizará enormemente el proceso de verificación formal y de hacer los programas más rigurosos. Lo que antes era extremadamente manual y costoso ahora se volverá manejable a gran escala: la escritura de especificaciones, la asistencia en pruebas, el razonamiento simbólico, el fuzzing, las auditorías, la verificación de invariantes y los flujos de trabajo de verificación formal serán todos dramáticamente más accesibles”, escribió. “Este conjunto de circunstancias conducirá a que las criptomonedas alcancen su máximo potencial, pero sospecho que solo a través del fuego de la prueba”.
Ese “fuego de la prueba” es el meollo de su advertencia. Mumtaz dijo que ya ha comenzado un “mecanismo agresivo de selección natural” y puede continuar durante varios años. En su opinión, los equipos fuertes emergerán con sistemas más resilientes, mientras que las arquitecturas más débiles fallarán bajo expectativas de seguridad más altas y herramientas adversarias cada vez más capaces.
Tuvo cuidado de no enmarcar esos fracasos puramente como maliciosos o negligentes. “Los equipos serios emergerán más fuertes que nunca, mientras que las casas de paja colapsarán”, escribió Mumtaz, añadiendo que esto último no debe leerse necesariamente como un insulto porque estos sistemas son genuinamente difíciles de construir.
La implicación más amplia es que el próximo ciclo competitivo de las criptomonedas puede no estar definido solo por el rendimiento, los incentivos de liquidez o la distribución, sino por la corrección demostrable. El estado final que vislumbra Mumtaz es una industria donde la seguridad, el rigor y la privacidad vuelven a ser preocupaciones de primer nivel, permitiendo que las criptomonedas se conviertan en “demostrablemente más seguras, más robustas y más Lindy que cualquier sistema financiero centralizado”. Su frase final fue contundente: “Estoy largo en matemáticas y estoy largo en criptomonedas”.
El momento de la publicación de Mert es notable porque se produjo justo después del lanzamiento del 9 de junio de Anthropic de Claude Fable 5 y Claude Mythos 5, un despliegue que subrayó la rapidez con la que la IA se está adentrando en la investigación de seguridad ofensiva y defensiva. Anthropic dijo que Fable 5 es su modelo generalmente disponible más capaz, pero añadió salvaguardas en torno a consultas de ciberseguridad porque las mismas capacidades podrían ser mal utilizadas; Mythos 5, la versión menos restringida, se está limitando inicialmente a ciberdefensores y proveedores de infraestructura seleccionados a través del Proyecto Glasswing en colaboración con el gobierno de los EE. UU.
Para DeFi, esa es la parte incómoda de la historia. Si los modelos pueden razonar cada vez más a través de grandes bases de código, identificar fallos lógicos sutiles y ayudar a convertir vulnerabilidades en exploits funcionales, entonces los contratos inteligentes públicos se convierten en un objetivo natural para la búsqueda de errores asistida por IA. La advertencia de las “casas de paja” de Mumtaz, por lo tanto, no es abstracta: la IA puede comprimir drásticamente el tiempo que tardan tanto auditores como atacantes en encontrar el próximo invariante roto, suposición insegura o caso límite explotable en el código financiero de las criptomonedas.
Al cierre de esta edición, la capitalización total del mercado de criptomonedas se situaba en 2,12 billones de dólares.
