#Cardano El fundador Charles Hoskinson ha reaccionado ante el supuesto robo de 4.000 Bitcoin desde la billetera de la federación de la red Liquid.
Liquid confirmó el incidente en una publicación de X ayer, indicando que los hackers desviaron aproximadamente 4.000 Bitcoin, valorados en 320 millones de dólares, desde su billetera de la federación. Según la red, los atacantes movieron los fondos a través del servicio de SideSwap Peg-out Authorization Key (PAK).
Sin embargo, Liquid y SideSwap indicaron que el propio PAK no se vio comprometido. En cambio, SideSwap señaló que el L-BTC involucrado en la transacción se originó en una vulnerabilidad en Elements, el software derivado de Bitcoin que impulsa la sidechain de Liquid.
Después del incidente, Liquid deshabilitó sus nodos puente y pausó la actividad de la red mientras los miembros de la federación investigaban la brecha. Mientras tanto, las bolsas recibieron notificaciones y comenzaron a pausar, o a preparar la pausa de, los depósitos y retiros de L-BTC.
La transacción también incluía un mensaje OP_RETURN, en el que los atacantes, que afirmaron ser “white hats”, solicitaron contacto en cadena.
Hoskinson advierte sobre los riesgos de ciberseguridad impulsados por IA
Tras el incidente, Hoskinson utilizó la brecha para resaltar lo que ve como una amenaza de ciberseguridad en crecimiento por parte de la inteligencia artificial.
Argumentó que los métodos formales pueden ofrecer una de las defensas más sólidas frente a los ataques cada vez más capaces impulsados por IA. A medida que los sistemas de IA se vuelven mejores para analizar código fuente, identificar vulnerabilidades y automatizar ataques sofisticados, los desarrolladores de blockchain se enfrentan a una ventana cada vez más estrecha entre el descubrimiento de una debilidad de software y su explotación.
La IA ya ha comenzado a cambiar el panorama de la seguridad en las criptomonedas al ayudar a los atacantes a identificar posibles objetivos, analizar código complejo y automatizar campañas de phishing e ingeniería social. El hack reportado de Coldcard, que implicó el robo de 130 millones de dólares en Bitcoin, ha intensificado aún más las preocupaciones sobre cómo las herramientas avanzadas de IA podrían hacer más fáciles de identificar y explotar las vulnerabilidades difíciles.
En este contexto, Hoskinson sostiene que las pruebas convencionales por sí solas ya pueden no proporcionar una protección suficiente. En cambio, señala los métodos formales, que utilizan especificaciones matemáticas y pruebas para establecer si el software se comporta de acuerdo con el diseño previsto.
El énfasis de Cardano en la verificación formal
La advertencia de Hoskinson también se alinea con el énfasis de larga data de Cardano en el desarrollo de blockchains con rigor matemático.
La filosofía de desarrollo de Cardano incorpora investigación académica, revisión por pares y verificación formal como componentes importantes de su enfoque de seguridad. Su protocolo de consenso Ouroboros, por ejemplo, surgió de investigación académica formal, mientras que el ecosistema en general ha hecho énfasis en demostrar propiedades críticas de los protocolos y el software, en lugar de depender exclusivamente de pruebas experimentales.
Este enfoque respalda el argumento de Hoskinson porque la verificación formal busca demostrar matemáticamente que se cumplen propiedades especificadas. Como resultado, los desarrolladores pueden potencialmente identificar categorías completas de vulnerabilidades antes de implementar el código en producción.
Cardano también se apoya en tecnologías de programación funcional como Haskell y Plutus. Sus sólidos sistemas de tipos y fundamentos matemáticos pueden ayudar a los desarrolladores a detectar ciertas categorías de errores de programación antes, durante el proceso de desarrollo.
En particular, el enfoque de Cardano busca prevenir vulnerabilidades antes de que lleguen a producción, en lugar de depender únicamente de las pruebas y las prácticas de seguridad convencionales.