¡La IA descubrió un fallo gigantesco en la red cripto más importante y los expertos alertan que los bancos podrían ser los siguientes!

¡Qué onda, banda! Resulta que en Zcash, uno de los rollos más chidos en privacidad en el mundo cripto, salió un bug bien gacho que llevaba cuatro años escondido. ¿Lo más loco? Este error lo detectaron gracias a la inteligencia artificial, usando un modelo nuevo y poderosísimo llamado Opus 4.8, cortesía de Anthropic. Si nadie se daba cuenta, alguien malintencionado podría haber creado tokens falsos de la nada, ¡una locura!

Obvio, la comunidad cripto se puso bien nerviosa y el precio del Zcash cayó casi un 38% en un día. En redes ya comenzaron a soltar frases tipo “la cripto ya valió” y que mejor se hubieran cambiado a la IA. Pero la cosa no para ahí, la pregunta en todos lados es: con la tecnología de IA mejorando tanto, ¿está en peligro la seguridad del mundo cripto?

Aquí entra Dragonfly, una firma súper metida en el rollo cripto y que fue de las primeras en apostar por Zcash. Su socio mayor, Haseeb Qureshi, ve las cosas diferente. Para él que la inteligencia artificial haya encontrado esta falla no es el fin, al contrario, es una oportunidad para corregir el código y hacerlo más firme. Dijo que la IA no solo descubre bugs, sino que también va a ayudar a hacer algo llamado “verificación formal”, que es como un escudo para que las apps sean ultra seguras.

Ben Goertzel, CEO de SingularityNET y experto en IA, explicó que este bug no es exclusivo de Zcash, también podría haber errores semejantes en otras criptomonedas y en la banca tradicional. Acá la cosa es que los sistemas viejitos y muy gigantes usados por los bancos también tienen que ponerse las pilas, porque no están tan blindados como pareciera.

Entonces, ¿cómo se arregla todo este desmadre? La clave parece estar en la “verificación formal”, que no es más que demostrar con matemáticas que el código está bien hecho y sin errores. Vitalik Buterin, el mero mero de Ethereum, dice que con IA esta verificación puede ser el futuro para la seguridad en software.

El detalle es que los programadores no hacen esto tan seguido porque es un chorro de trabajo extra. Además, algunas librerías que usan están hechas con cosas “peligrosas” para la verificación formal, y arreglar eso puede hacer que el software se vuelva lento. Pero hay formas chidas para que eso no pase, como la supercompilación, que ayuda a que todo corra rápido y sin broncas.

Ahora, la cosa está bien complicada porque los hackers usan montones de tokens de IA para encontrar bugs y sacar lana. Las empresas de seguridad tienen que proteger miles de proyectos, entonces no pueden tirar todo su poder en uno solo sin arriesgar todo su presupuesto. Por eso, deben usar escáners automáticos y pruebas matemáticas para detectar y arreglar fallas rápido, sin dejar que los hackers se adelanten.

Al final, lo que importa es cómo hacer que estas vulnerabilidades ya no vuelvan a pasar. El ex CEO de Electric Coin Company, Josh Swihart, lo dice clarito: la mejor forma de evitar que estas cosas sucedan otra vez es la verificación formal. Así que, chavos, la neta, vamos para adelante con IA y matemáticas para que nuestras monedas y sistemas sean más seguros que nunca. ¡No hay que bajar la guardia!