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

Título original: "Truebit Protocol 26,44 M $ Análisis de la vulnerabilidad del contrato del hackeo"
Fuente original: ExVul Security

El 08/01/2026, Truebit Protocol sufrió un hackeo que provocó una pérdida de 8,535.36 ETH (aproximadamente 26,44 M $). El anuncio oficial de Truebit Protocol se publicó a primera hora del 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 acuñó correctamente 240442509453545333947284131 tokens TRU.

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

Análisis de la lógica del ataque

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

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

Al observar la lógica de la función 0x1446, como el resultado final del cálculo v13  == 0, es seguro que la lógica de cálculo mencionada anteriormente es defectuosa. Es importante tener en cuenta 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 comprueba los desbordamientos).

v12 y v9 representan:

Según el análisis anterior, el atacante introduce un valor _amountIn enorme para que v12 + v9 se desborde y dé como resultado un valor muy pequeño, lo que finalmente hace que (v12 + v9) / v6 == 0.

Resumen

La causa fundamental del ataque a Truebit Protocol fue un grave error de desbordamiento de enteros en la lógica de cálculo del precio de compra de sus tokens. Como el contrato utiliza la versión ^0.6.10 de Solidity y no realiza comprobaciones de seguridad en operaciones aritméticas cruciales, el ataque provocó una pérdida considerable 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 que un hacker aprovechó la IA para analizar automáticamente protocolos DeFi antiguos que siguen activos y detectar vulnerabilidades (incluidos los recientes ataques a Balancer y yETH). Creemos que este tipo de ataques impulsados por IA contra protocolos DeFi antiguos será cada vez más frecuente en un futuro próximo. Por eso, recomendamos que los proyectos realicen nuevas auditorías de seguridad del código de sus contratos. Si encuentran vulnerabilidades, deben actualizar el contrato o transferir los activos cuanto antes, mantener la supervisión on-chain, detectar anomalías rápidamente 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 un 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, operar 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.