Un error de cálculo permitió hackear Truebit y sustraer 8535 ETH

Título original: "Hackeo del protocolo Truebit de $26,44M: análisis de la vulnerabilidad del contrato"
Fuente original: ExVul Security

El 08/01/2026, el protocolo Truebit fue hackeado, lo que provocó una pérdida de 8,535.36 ETH (aproximadamente $26,44M). El anuncio oficial del protocolo Truebit se realizó temprano al día siguiente. El equipo de seguridad de ExVul llevó a cabo un análisis detallado de la vulnerabilidad que permitió este ataque, con los siguientes resultados:

Proceso del ataque

Dirección del atacante:

0x6c8ec8f14be7c01672d31cfa5f2cefeab2562b50

Hash de la transacción del ataque:

0xcd4755645595094a8ab984d0db7e3b4aabde72a5c87c4f176a030629c47fb014

El atacante completó el ataque repitiendo 4 veces las llamadas a las transacciones getPurchasePrice→0xa0296215→0xc471b10b. El análisis se centra en el primer ciclo como ejemplo.

1. Primero, el atacante llamó a la función getPurchasePrice(240442509453545333947284131), que devolvió 0.

2. El atacante llamó a la función 0xa0296215(c6e3ae8e2cbab1298abaa3) con un msg.value de 0 y logró acuñar 240442509453545333947284131 tokens TRU.

3. El atacante llamó a la función 0xc471b10b(c6e3ae8e2cbab1298abaa3). Luego quemó 240442509453545333947284131 tokens TRU y recibió 5105.06 ETH.

Análisis de la lógica del ataque

Al comprender el proceso del ataque descrito, queda claro que hay problemas en la lógica de las funciones getPurchasePrice y 0xa0296215. A continuación, se presenta un análisis en profundidad (como el contrato no es de código abierto, el código que sigue es código descompilado).

Al comparar las similitudes entre las dos funciones, podemos observar que la función 0x1446 se utiliza para determinar cuánto ETH se necesita para comprar una cantidad específica de TRU. Es evidente que hay un error en la lógica de la función 0x1446, lo que da lugar a un cálculo incorrecto de ETH. A continuación, se presenta un análisis detallado de la lógica de la función 0x1446.

Al observar la lógica de la función 0x1446, dado que el resultado final del cálculo v13  == 0, es seguro que la lógica de cálculo mencionada anteriormente tiene un error. Cabe destacar que la función 0x18ef equivale a _SafeMul, por lo que el problema está en el uso de la suma nativa v12 + v9 (la versión del contrato es  ^0.6.10, por lo que no hay una verificación de desbordamiento).

v12 y v9 representan:

Según el análisis anterior, el atacante ingresa un _amountIn enorme para provocar que v12 + v9 se desborde y se convierta en un valor muy pequeño, lo que hace que (v12 + v9) / v6 == 0.

Conclusión

La causa fundamental del ataque al protocolo Truebit fue la presencia de un grave error de desbordamiento de enteros en la lógica de cálculo del precio de compra de tokens. Como el contrato utiliza la versión ^0.6.10 de Solidity y no realiza comprobaciones de seguridad en operaciones aritméticas cruciales, se produjo una pérdida significativa de 8,535.36 ETH. La nueva versión de Solidity ya mitiga por sí misma las vulnerabilidades de desbordamiento. Este ataque debe entenderse como un caso en el que un hacker aprovechó la IA para escanear automáticamente algunos protocolos DeFi antiguos que siguen activos y detectar vulnerabilidades (incluidos los recientes ataques a Balancer y yETH). Creemos que, en un futuro cercano, serán más comunes este tipo de ataques impulsados por IA contra protocolos DeFi antiguos. Por lo tanto, recomendamos que los proyectos realicen nuevas auditorías de seguridad del código de sus contratos. Si se detectan vulnerabilidades, deberían actualizar el contrato o transferir los activos sin demora, mantener la supervisión on-chain, detectar anomalías a tiempo y minimizar las pérdidas.

Este artículo es contenido aportado por terceros y no representa las opiniones de BlockBeats.

Este contenido se ofrece únicamente con fines informativos generales y no constituye asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, tradear o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.