El fundador de Cardano, Charles Hoskinson, ha respondido a los informes de que atacantes retiraron aproximadamente 4,000 Bitcoin, con un valor de alrededor de 320 millones de dólares, de la billetera de la federación de Liquid Network. La pérdida reportada llevó a Liquid a pausar la actividad de la red mientras los miembros de la federación revisaban el incidente.

Hoskinson vinculó la brecha con preocupaciones más amplias sobre la inteligencia artificial y la seguridad del software. Su respuesta se centró en si los métodos de pruebas tradicionales pueden mantener el ritmo a medida que las herramientas de IA se vuelven cada vez más capaces de encontrar debilidades en el código y automatizar ataques. El incidente es una de las mayores pérdidas relacionadas con infraestructura vinculada a Bitcoin en los últimos años, y los servicios de cadena cruzada y de puentes han sido blanco repetido en la industria, lo que convierte la seguridad de la pila de software subyacente en un punto recurrente de debate.

Cómo se desarrolló el incidente

Liquid indicó que los atacantes movieron los fondos a través del servicio Peg-out Authorization Key (PAK) de SideSwap. Sin embargo, tanto Liquid como SideSwap declararon que el PAK en sí no fue comprometido. SideSwap señaló en cambio una supuesta vulnerabilidad en Elements, el software basado en Bitcoin que sustenta la Liquid Network. Liquid es una sidechain de Bitcoin operada por una federación de organizaciones miembros, y Elements es el código abierto sobre el cual está construida esa red, razón por la cual una debilidad en el software mismo, y no la vulneración de un titular de claves, se convirtió en el foco central del análisis posterior.

We are aware of a security incident on @Liquid_BTC . Purported white-hat hackers have withdrawn 4,000 BTC ($320 million) from the Liquid Federation wallet. The @Blockstream team is working on contacting them on-chain with a signed message. What we know so far is that the funds… — Liquid Network (@Liquid_BTC) September 6, 2026

Tras la transacción, Liquid desactivó los nodos de puente y pausó las operaciones de la red. Las bolsas recibieron alertas y comenzaron a suspender, o a prepararse para suspender, los depósitos y retiros de L-BTC mientras continuaba la investigación.

La transacción también incluía un mensaje OP_RETURN de los atacantes, que se describieron a sí mismos como sombreros blancos y pidieron ser contactados a través de la blockchain. Liquid no ha indicado que esta afirmación cambie su investigación, y la red continúa tratando la transferencia como un movimiento no autorizado de Bitcoin en poder de la federación, que sigue bajo revisión. La forma en que se resuelva la situación, y si se confirma el informe sobre Elements, probablemente influirá en cómo otras redes federadas y sidechains revisen su propia dependencia del código abierto compartido.

Los métodos formales entran al debate de seguridad

Hoskinson sostuvo que los métodos formales podrían ofrecer una protección más sólida a medida que crecen los riesgos de seguridad impulsados por la IA. Los métodos formales utilizan especificaciones y demostraciones matemáticas para verificar si el software sigue su diseño previsto antes de que los desarrolladores lo publiquen. Este enfoque contrasta con las pruebas y auditorías convencionales, que examinan escenarios y rutas de código seleccionados en lugar de demostrar propiedades sobre el comportamiento de todo un sistema.

Los sistemas de IA ya pueden revisar código fuente, buscar debilidades y automatizar partes de los ataques de phishing e ingeniería social. El reportado robo de Coldcard, de aproximadamente 130 millones de dólares en Bitcoin, también ha llamado la atención sobre el papel que podrían desempeñar las herramientas avanzadas en futuros ataques cripto.

El enfoque de Cardano en la verificación formal

Cardano ha incorporado la investigación académica, la revisión por pares y la verificación formal en su proceso de desarrollo. Su protocolo de consenso Ouroboros se originó a partir de investigación formal, y los desarrolladores de Cardano han utilizado métodos matemáticos para probar propiedades importantes del protocolo.

La red también utiliza Haskell y Plutus, que se apoyan en sistemas de tipos robustos y programación funcional. Estas herramientas pueden ayudar a los desarrolladores a identificar ciertos errores de software de manera más temprana. Hoskinson ha presentado durante mucho tiempo este modelo de desarrollo como una forma de reducir debilidades antes de que el código llegue de manera segura a producción. Si la industria en general adoptará un rigor similar frente a las amenazas de la era de la IA sigue siendo una pregunta abierta, y el resultado de la investigación de Liquid probablemente alimentará esa discusión.