Serwer za 3000 dolarów prawie wywołał katastrofę kryptowalutową o wartości 70 miliardów dolarów

Biały kapelusz hakerów odkrył ryzykowną lukę w blockchainie Aptos o wartości 70 miliardów dolarów, a koszt ataku wyniósł tylko 3000 dolarów.

Autor: Oliver Knight

Tłumaczenie: Chopper, Foresight News

Serwer wart 3000 dolarów wystarczył, aby badacz bezpieczeństwa blockchainu zasymulował ścieżkę ataku, która mogła narazić na ryzyko infrastrukturę kryptowalutową o wartości sięgającej 70 miliardów dolarów.

Głównym bohaterem tego incydentu jest publiczny blockchain Aptos oparty na języku Move, który pochodzi z projektu stablecoina Diem, porzuconego przez Meta.

Pod koniec lutego badacze z firmy bezpieczeństwa Hexens zgłosili zespołowi deweloperskiemu Aptos poważną lukę w wirtualnej maszynie Aptos Move, odpowiedzialnej za wykonywanie inteligentnych kontraktów na łańcuchu. Istota luki polegała na błędzie związanym z nieprawidłowym zarządzaniem pamięcią podręczną, co prowadziło do pomylenia typów: atakujący mógł manipulować pamięcią podręczną, oszukując system, aby rozpoznał jeden typ zasobów łańcucha jako inny typ.

Zespół Aptos po otrzymaniu raportu o luce zakończył wdrażanie poprawek w całej sieci, nie odnotowując żadnych kradzieży aktywów użytkowników.

Rzecznik Aptos odpowiedział CoinDesk: „25 lutego otrzymaliśmy zgłoszenie o potencjalnym ryzyku w ramach programu nagród za luki, a wewnętrznie rozpoczęliśmy przeszukiwanie luk. Zespół zakończył naprawę, testowanie i wdrożenie na główną sieć w ciągu kilku godzin po potwierdzeniu luki, nie powodując żadnych szkód dla użytkowników ani funduszy.” Jednak oficjalnie zakwestionowano stopień wykorzystania luki, twierdząc, że według wewnętrznej analizy, luka była prawie niemożliwa do wykorzystania w rzeczywistym środowisku online. Niemniej jednak szczegóły luki ujawnione przez zespół bezpieczeństwa wskazują, że cały przemysł kryptowalutowy niemal doświadczył poważnej katastrofy bezpieczeństwa, która mogłaby zmienić jego oblicze.

Wysokie ryzyko tej luki wynika z mechanizmu przechowywania uprawnień w języku Move: uprawnienia do emisji monet, zarządzanie mostami międzyłańcuchowymi, uprawnienia administratorów rynków pożyczkowych i inne kluczowe uprawnienia protokołu są przechowywane bezpośrednio w formie zasobów łańcucha. Gdy takie zasoby uprawnień zostaną naruszone, ryzyko nie ogranicza się do jednego protokołu, wszystkie aplikacje zależne od tych uprawnień również zostaną zagrożone.

Badacze Hexens podali prostą analogię: zagrożenie związane z tą luką jest równoważne wystąpieniu poważnej luki w blockchainach opartych na Ethereum, gdzie kontrakty atakujące mogą obejść mechanizmy bezpieczeństwa typów i bezpośrednio zapisywać lub modyfikować dane przechowywane w innych inteligentnych kontraktach — a bezpieczeństwo typów było kluczową barierą ochronną w początkowym projekcie języka Move.

Mudit Gupta, CTO Polygon, niezależnie zweryfikował pakiet demonstracyjny weryfikacji luki, potwierdzając, że proces ataku jest rzeczywisty i wykonalny: „Cała logika ataku jest całkowicie uzasadniona, demonstracja została pomyślnie odtworzona, a warunki wstępne wymagane do ataku w środowisku głównej sieci są spełnione.” Agencja bezpieczeństwa Grego AI również niezależnie odtworzyła tę lukę, a ich dane pokazują, że tylko w natywnych aktywach zablokowanych na głównej sieci Aptos około 250 milionów dolarów jest bezpośrednio narażonych na ryzyko, nie licząc szerszego ryzyka międzyłańcuchowego.

Ryzyko 70 miliardów dolarów

Luka została odkryta przez Vahe Karapetyana, współzałożyciela i CTO Hexens. Gdyby nie została naprawiona na czas, mogłaby otworzyć ryzyko w całym łańcuchu, w tym mosty międzyłańcuchowe, stablecoiny, różne protokoły DeFi oraz scentralizowane giełdy, prowadząc do strat w wysokości setek miliardów dolarów i kryzysu w całym przemyśle.

Całe środowisko ataku można zbudować za jedynie 3000 dolarów, a złośliwi hakerzy mogą przeprowadzić atak bez pełnej symulacji klastra, kosztując jedynie setki dolarów, nie musząc kontrolować węzłów weryfikacyjnych, posiadać wewnętrznych informacji ani uzyskiwać wysokich uprawnień protokołu.

Zespół badawczy przeprowadził około 20 symulacji ataku w symulowanym środowisku głównej sieci, odnosząc sukces w 17 do 18 przypadkach. Pozostałe 2 do 3 niepowodzeń nie spowodowałyby zatrzymania sieci, a atakujący mogą wielokrotnie próbować, aż do udanego przełamania. Symulowany klaster odtwarzał pełne środowisko rzeczywistej głównej sieci: zbudowano ponad 30 węzłów weryfikacyjnych, odtworzono rzeczywisty rozkład stakowania, a także odtworzono codzienny ruch transakcji i scenariusze zatorów bloków. Zespół zastosował również technologię wstępnej kalibracji bez ataku, aby przed formalnym rozpoczęciem ataku oszacować stan pamięci podręcznej i pakowania bloków, znacznie zmniejszając niepewność wynikającą z losowości ataku i znacznie zwiększając wskaźnik sukcesu w praktyce.

Hexens, na podstawie danych z publicznego łańcucha, oszacował, że tylko natywne DeFi Aptos, tokenizowane aktywa, stablecoiny i protokoły płynnego stakowania mają bezpośrednie ryzyko sięgające dziesiątek miliardów dolarów.

Jednak ryzyko związane z luką na poziomie blockchainu nigdy nie ogranicza się do jednego blockchainu. Uwzględniając mosty międzyłańcuchowe, protokoły komunikacji międzyłańcuchowej, ścieżki emisji stablecoinów oraz scentralizowane giełdy, całkowita szacunkowa skala ryzyka systemowego wynosi aż 70 miliardów dolarów. Justus Hanna, dyrektor generalny Grego AI, stwierdził, że atakujący mogą wykorzystać tę lukę do przejęcia kluczowych uprawnień zarządzania główną infrastrukturą, takich jak LayerZero, Wormhole, czy protokół przesyłania międzyłańcuchowego CCTP, teoretycznie mogąc opróżnić wszystkie powiązane zablokowane fundusze.

Ta symulacja wystarczająco dowodzi, że ukryte luki na poziomie blockchainu mogą przynieść katastrofalne ryzyko dla całej branży.

Gdyby hakerzy wykorzystali tę lukę do przeprowadzenia rzeczywistego ataku, straty byłyby znacznie większe niż kradzież 1,5 miliarda dolarów z giełdy Bybit w zeszłym roku. W czerwcu Zcash spadł o 38% z powodu poważnej luki, która przez cztery lata ukrywała się w puli prywatności, pozwalając atakującym na nieograniczone emitowanie fałszywych tokenów, co było trudne do wykrycia; przed tym zdarzeniem miało miejsce wiele incydentów kradzieży tokenów o wartości miliardów dolarów w mostach międzyłańcuchowych i inteligentnych kontraktach, które wciąż podważały zaufanie rynku do infrastruktury.

Szacowanie ryzyka na poziomie 70 miliardów dolarów opiera się na ekstremalnym scenariuszu, w którym atakujący masowo emitują USDC, korzystając z protokołu CCTP Circle do przejścia do wielu blockchainów. Teoretycznie, jeśli dojdzie do wybuchu zdarzenia, Circle prawdopodobnie wstrzyma przelewy USDC, ale Circle wcześniej zadeklarował, że nie zamrozi aktywów użytkowników bez upoważnienia sądowego, co wprowadza niepewność w wykonaniu. Nawet jeśli odpowiednie platformy szybko wdrożą środki zaradcze, wpływ tej luki wciąż poważnie zaszkodzi całemu rynkowi kryptowalut.

Zespół badawczy potwierdził przez demonstrację, że luka może przejąć najwyższe uprawnienia zarządzania w systemie międzyłańcuchowym, w tym uprawnienia do emisji monet, uprawnienia do podpisywania oraz kontrolę finansową protokołu. W pełni odtworzyli proces przejęcia uprawnień głównych, nie emitując jednak faktycznie tokenów, ale wyraźnie udowodnili, że to ryzyko musi być uwzględnione w modelu zagrożeń bezpieczeństwa. Najważniejsza ścieżka przekazywania ryzyka prowadzi przez kanał międzyłańcuchowy, który łączy Aptos z scentralizowanymi giełdami, a atakujący mogą wykorzystać to do manipulacji danymi księgowymi użytkowników giełdy.

Odpowiedzi i ujawnienia

W dniu, w którym Hexens złożył raport, powstała grupa kryzysowa o nazwie „SEAL911”, odpowiedzialna za koordynację działań. Kilka godzin po utworzeniu grupy projekt otrzymał pełne zgłoszenie o luce. Tego samego popołudnia cztery główne projekty downstream otrzymały dokumenty demonstracyjne dotyczące luki oraz analizy ryzyka uprawnień.

27 lutego opublikowano publiczne zapisy poprawek w oficjalnym repozytorium kodu, Aptos stwierdził, że prywatne poprawki dla węzłów weryfikacyjnych zostały wdrożone przed opublikowaniem kodu. W międzyczasie Hexens stwierdził, że do tej pory nie otrzymali technicznego kontrargumentu od Aptos, który miałby podstawy w danych, a druga strona jedynie zasugerowała, że istnieje prawdopodobieństwo ataku.

Chociaż nie doszło do kradzieży funduszy, wyniki symulacji pokazują, że w przypadku ataków na poziomie blockchainu ograniczenia przepustowości, zamrożenie przez emitentów, kontrola międzyłańcuchowa, monitorowanie giełd oraz poprawki weryfikatorów nie są drugorzędnymi środkami bezpieczeństwa. Bezpośrednio decydują one o tym, czy luka jest lokalnym małym incydentem, czy systemowym załamaniem całej branży.

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.