Exploit mostu Verus Ethereum: Ten sam błąd za 11,58 mln USD
18 maja 2026 roku ktoś opróżnił most Verus-Ethereum z 11,58 miliona dolarów. Według doniesień CoinDesk był to ósmy w tym roku atak na most. Exploit na moście Verus Ethereum nie opierał się na żadnej egzotycznej nowej klasie ataku. To był ten sam błąd, który niszczy mosty od 2021 roku: kontrakt zwalniał środki na jednym łańcuchu bez poprawnej weryfikacji tego, co faktycznie wydarzyło się na drugim.
Podatna funkcja miała tym razem nazwę. checkCCEValues. To właśnie ta procedura miała potwierdzać, że wartości eksportu cross-chain odpowiadają rzeczywistości, zanim po stronie Ethereum nastąpi bicie monet lub zwolnienie środków. Nie spełniła swojego zadania, a atakujący odszedł z pieniędzmi.
Spędziłem cztery lata, budując infrastrukturę zbliżoną do mostów w regulowanym środowisku, i przygnębiające jest to, jak przewidywalne to się stało. Wciąż zmieniamy nazwę tej samej rany.
Exploit mostu Verus Ethereum był błędem walidacji źródła
Odsuńmy na bok branding. Każdy most robi jedną rzecz. Obserwuje zdarzenie na łańcuchu A (depozyt, blokadę, eksport) i produkuje odpowiadające mu działanie na łańcuchu B (bicie monet, odblokowanie, zwolnienie). Cały model bezpieczeństwa sprowadza się do jednego pytania: czy łańcuch B rzeczywiście weryfikuje to, co powiedział mu łańcuch A, i czy w ogóle sprawdził?
Gdy walidacja potwierdzająca kwoty po stronie źródłowej jest błędna, odpowiedź brzmi: nie. Atakujący fałszuje lub zawyża zadeklarowaną wartość eksportu, kontrakt docelowy jej ufa, i monety, które nigdy nie miały pokrycia, zostają wybite lub uwolnione. The Block poinformował, że strata wyniosła około 11,58 miliona dolarów, wyciągniętych właśnie przez tego rodzaju lukę księgową w sprawdzaniu eksportu cross-chain.
To jest walidacja kwoty źródłowej w moście i jest to najbardziej krytyczna funkcja w całym systemie. Jeden błędny warunek i most staje się maszyną do drukowania pieniędzy.
checkCCEValues to tylko najnowsza nazwa starej podatności
Podatność checkCCEValues jest strukturalnie identyczna z błędami, które kosztowały branżę już miliardy. Nazwy się zmieniają. Mechanizm nie.
- Wormhole, 2022: luka w weryfikacji podpisów pozwoliła atakującemu wybić 120 000 wrapped ETH, które nigdy nie zostały zdeponowane.
- Nomad, 2022: błędna inicjalizacja korzenia Merkle sprawiła, że każda wiadomość była walidowana jako prawdziwa, a most był kopiowany do śmierci przez tłum.
- Multichain, 2023: klucze i założenia dotyczące zaufania, których nikt nie mógł zweryfikować z zewnątrz.
Każdy z tych przypadków sprowadzał się w istocie do tego samego: łańcuch docelowy uwalniał wartość bez wiarygodnego dowodu zdarzenia po stronie źródłowej. checkCCEValues to zapis tego samego słowa w wersji 2026.
Uważam, że branża wciąż traktuje te przypadki jako indywidualne błędy inżynierskie, podczas gdy są to awarie całej kategorii. Kategorii nie naprawia się dokładniejszym audytowaniem jednej funkcji.
Tornado Cash sfinansowało atakującego, co mówi o intencjach
Portfel atakującego został zasilony przez Tornado Cash przed exploitem. Ten szczegół ma mniejsze znaczenie dla atrybucji niż dla tego, co mówi o przygotowaniach. To nie był whitehat badający kontrakt, który niespodziewanie odkrył wynik. Wzorzec atakującego finansowanego przez Tornado Cash to sygnatura kogoś, kto zbudował osłonę operacyjną na kilka dni przed atakiem i spodziewał się, że środki będą wymagały prania pieniędzy po drodze.
To właśnie ten element jest niedoceniany przez obrońców. Do czasu, gdy transakcja exploita jest realizowana, kanał wyprowadzania środków jest już gotowy. Śledzenie po fakcie pomaga prokuratorom, ale prawie nic nie daje protokołowi, który właśnie stracił ośmiocyfrową kwotę.
Ataki na mosty to teraz miesięczny podatek
Z szerszej perspektywy hack na Verus to tylko pozycja w zestawieniu, nie wyjątek. Według danych PeckShield cytowanych przez Bitcoin.com, exploity na mosty kryptowalutowe pochłonęły w maju 2026 roku łącznie około 328 milionów dolarów. Osiem incydentów z mostami w ciągu niespełna pięciu miesięcy roku.
Rynek po cichu wliczył to w koszty prowadzenia działalności cross-chain. To błędna lekcja. Powtarzające się dziewięciocyfrowe straty miesięczne to nie zmienność -- to strukturalna wada, z którą przestrzeń projektowa nie chce się zmierzyć.
Dla każdego, kto przemieszcza realną wartość, wniosek jest niewygodny: większość mostów to założenia zaufania ubrane w kostium matematyki. Argumentowałem wcześniej, w How Stablecoin Bridges Actually Fail, że najbezpieczniejszy most to często ten, który przyznaje, jak mało faktycznie weryfikuje.
Jak wygląda naprawdę defensywna kontrola mostu
Jeśli budujesz lub audytujesz most, walidacja kwoty źródłowej to miejsce, w którym powinieneś skupić nieproporcjonalnie dużą część swojej paranoi. Kilka rzeczy, które traktuję jako bezwzględne wymagania:
- Kontrakt docelowy musi weryfikować kryptograficzny dowód zdarzenia źródłowego, a nie słowo relejera. Dowody light-client lub zk zamiast wielopodpisowych zaświadczeń wszędzie tam, gdzie budżet opóźnienia na to pozwala.
- Kontrole kwot muszą być wyczerpujące na każdej ścieżce. Klasa błędów
checkCCEValueszazwyczaj ukrywa się w gałęzi, którą niektóre dane wejściowe omijają. Fuzzuj porównanie, nie analizuj go wzrokiem. - Limity prędkości i wyłączniki awaryjne per aktywo, żeby sfałszowana wartość nie mogła opróżnić całej rezerwy w jednej transakcji. Limit automatycznie wstrzymujący działanie przy, powiedzmy, 5% TVL na godzinę, zneutralizowałby większość incydentów z 2026 roku.
- Niezależny monitoring niezmienników obserwujący w czasie rzeczywistym łączną wartość wyemitowanych tokenów w stosunku do zablokowanych i zatrzymujący działanie w przypadku rozbieżności.
Żadna z tych rzeczy nie jest nowością. Stos audytowy do wykrywania tych błędów istnieje, co zgłębiałem w artykule o stosie audytowym. Problem polega na tym, że mosty wciąż wdrażają walidację jako element dodatkowy zamiast jako główny produkt.
Następny hack mostu w 2026 roku jest już pisany. Będzie miał inną nazwę funkcji i tę samą przyczynę źródłową, i znów będziemy udawać zaskoczenie. Nie powinniśmy.