Błąd obliczeniowy, który umożliwił atak na Truebit i kradzież 8535 ETH

Oryginalny tytuł: "Truebit Protokół 26,44 mln $ — analiza podatności kontraktu po ataku"
Oryginalne źródło: ExVul Security

08.01.2026 zaatakowano Truebit Protocol, co doprowadziło do straty 8,535.36 ETH (około 26,44 mln $). Oficjalny komunikat Truebit Protocol opublikowano wczesnym rankiem następnego dnia. Zespół ds. bezpieczeństwa ExVul przeprowadził szczegółową analizę podatności wykorzystanej w tym ataku. Oto jej wyniki:

Przebieg ataku

Adres atakującego:

0x6c8ec8f14be7c01672d31cfa5f2cefeab2562b50

Hash transakcji ataku:

0xcd4755645595094a8ab984d0db7e3b4aabde72a5c87c4f176a030629c47fb014

Atakujący przeprowadził atak, wykonując 4 razy pętlę obejmującą transakcje z wywołaniami getPurchasePrice→0xa0296215→0xc471b10b. Analiza skupia się na pierwszej pętli jako przykładzie.

1. Atakujący najpierw wywołał funkcję getPurchasePrice(240442509453545333947284131), która zwróciła 0.

2. Atakujący wywołał funkcję 0xa0296215(c6e3ae8e2cbab1298abaa3) z msg.value równym 0 i z powodzeniem wybił 240442509453545333947284131 tokenów TRU.

3. Atakujący wywołał funkcję 0xc471b10b(c6e3ae8e2cbab1298abaa3). Następnie spalił 240442509453545333947284131 tokenów TRU i otrzymał 5105.06 ETH.

Analiza logiki ataku

Analiza powyższego przebiegu ataku pokazuje, że w logice funkcji getPurchasePrice i 0xa0296215 występują problemy. Poniżej przedstawiamy szczegółową analizę (ponieważ kod kontraktu nie jest otwartoźródłowy, poniższy kod został zdekompilowany).

Porównując podobieństwa między dwiema funkcjami, można zauważyć, że funkcja 0x1446 służy do określania, ile ETH potrzeba do zakupu określonej liczby tokenów TRU. W logice funkcji 0x1446 występuje oczywisty błąd, który prowadzi do nieprawidłowych obliczeń ilości ETH. Poniżej szczegółowo analizujemy logikę tej funkcji.

Analiza logiki funkcji 0x1446 pokazuje, że końcowy wynik obliczeń v13  == 0, co potwierdza, że opisana wcześniej logika obliczeń jest błędna. Należy zauważyć, że funkcja 0x18ef jest równoważna _SafeMul, dlatego problemem jest użycie zwykłego dodawania v12 + v9 (wersja kontraktu to  ^0.6.10, więc nie sprawdza ona przepełnienia).

v12 i v9 oznaczają:

Z powyższej analizy wynika, że atakujący podał ogromną wartość _amountIn, aby doprowadzić do przepełnienia v12 + v9 i uzyskania bardzo małej wartości, co ostatecznie sprawiło, że (v12 + v9) / v6 == 0.

Podsumowanie

Podstawową przyczyną ataku na Truebit Protocol był poważny błąd przepełnienia liczby całkowitej w logice obliczania ceny zakupu tokenów. Kontrakt korzysta z wersji Solidity ^0.6.10 i nie sprawdza bezpieczeństwa kluczowych operacji arytmetycznych, co doprowadziło do znacznej straty w wysokości 8,535.36 ETH. Nowsze wersje samego Solidity ograniczają już podatności związane z przepełnieniem. Atak ten należy postrzegać jako przykład wykorzystania przez hakera AI do automatycznego skanowania niektórych działających, ale starszych protokołów DeFi w poszukiwaniu podatności (w tym niedawnych ataków na Balancer i yETH). Uważamy, że w najbliższej przyszłości ataki z użyciem AI na starsze protokoły DeFi będą coraz częstsze. Dlatego zalecamy, aby projekty przeprowadzały nowe audyty bezpieczeństwa kodu swoich kontraktów. W przypadku wykrycia podatności powinny niezwłocznie zaktualizować kontrakt lub przenieść aktywa, monitorować działania w łańcuchu i szybko wykrywać anomalie, aby ograniczyć straty.

Ten artykuł jest materiałem gościnnym i nie wyraża opinii BlockBeats.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.