Wady zarządzania X100 powodują stratę 6 milionów dolarów z powodu pożyczki błyskawicznej

Napastnik zdobył dwa miejsca w zarządzie X100, projektu tokenowego z budżetem zarządzanym przez Senat, i zatwierdził transakcję budżetową oraz spłacił pożyczkę błyskawiczną w jednej transakcji blockchain 24 października.

W Arkadiko, protokole pożyczkowym, w którym użytkownicy pożyczają przeciwko zabezpieczeniom w skarbcach, głosowanie trwające około pięciu dni zakończyło się dwa dni wcześniej, dając złośliwemu kontraktowi władzę nad aktywami skarbcowymi. Ludzie kupili tokeny głosowania tuż przed decydującym głosowaniem, a propozycja weszła w życie, gdy głosowanie się zamknęło.

Incydenty ujawniają różne luki między inwestowaniem pieniędzy, kwalifikowaniem się do głosowania a wykonywaniem zatwierdzonej akcji. Tokeny X100 powinny być zablokowane na rok, więc długi okres blokady tokenów może nałożyć koszt bez opóźniania władzy.

Tymczasem długie głosowanie może zapewnić powiadomienie, jednocześnie przyjmując późne zakupy. Żaden z tych elementów automatycznie nie tworzy czasu na reakcję po tym, jak decyzja staje się wykonalna.

Zablokowany staw X100 kupił natychmiastową władzę

Kontrakt Freezer X100 przechowuje zamrożone tokeny X i dostarcza staw używany do klasyfikacji kandydatów do Senatu. Jego warunki blokady trwają jeden, trzy lub pięć lat, ale kwalifikacja do Senatu opiera się na aktualnie zamrożonej kwocie, bez minimalnego wieku stawki.

W pierwszym ataku 24 października dwa pomocnicze kontrakty zamroziły po 19,000.000001 X na warunkach rocznych. Zarejestrowali się, weszli do rankingu i dostarczyli dwa wspierające głosy, które zrealizowały propozycję 7. Ukończyli stawkę, głosy i wykonanie w jednej transakcji.

Termin zarządzania nie oferował obowiązkowego okresu oczekiwania. Gdy propozycja pozostawała otwarta, większość aktualnie zajmowanych miejsc w Senacie mogła autoryzować wykonanie. Posiadanie dwóch z trzech miejsc dało pomocnikom wystarczającą moc do natychmiastowego działania.

Zatwierdzona wymiana wysłała 400,000 tokenów X do utworzonego przez napastnika basenu. Freezer otrzymał tylko 35.675313 USDT, a napastnik następnie wydobył tokeny z tego basenu i sprzedał X, aby uzyskać gotówkę potrzebną do spłaty.

Stawka pozostała zamrożona, podczas gdy gotówka z wydobycia skarbcowego i sprzedaży tokenów sfinansowała spłatę, więc napastnik nie musiał najpierw odzyskiwać zakupionej stawki.

Atak pożyczył około 1.94 miliona USDT i spłacił kapitał plus jego premię. Po spłacie około 4.75 miliona USDT dotarło do pierwszego ostatecznego odbiorcy.

Współpracownik ChainBounty Philippark uzgodnił 4.848 miliona USDT wypłaconych trzem wybranym odbiorcom. Ta suma nie uwzględnia niesprzedanych tokenów X i ich zmieniającej się wartości, mierząc wybrane płatności.

Freezer zachował również istotne ograniczenie: po wykonaniu jego saldo X musiało pokrywać całkowitą kwotę zamrożoną przez użytkowników. Ochrona tej ilości zablokowanego kapitału nie chroniła płynności zewnętrznego basenu ani wartości rynkowej tokena.

Głosowanie Arkadiko przyjęło późne pieniądze

Propozycja 12 Arkadiko została złożona o 20:35 UTC 17 października i zrealizowana o 16:04 UTC 22 października. Jego kontrakt zarządzający dał zewnętrznemu proponującemu okres głosowania wynoszący 720 bloków Bitcoin, powszechnie opisywany jako pięć dni.

Reguły wymagały 0.25% kwalifikującej się podaży DIKO do złożenia propozycji, 5% uczestnictwa do osiągnięcia kworum i więcej głosów za niż przeciw. Obliczenie podaży odjęło DIKO posiadane w kontrakcie początkowej alokacji.

Te progi i zasady głosowania nie wymagały, aby właściciele tokenów posiadali tokeny przed propozycją. Portfel proponujący dokonał wymiany o 15:03:46 UTC 22 października i głosował o 15:06:47. Zainwestował około 4.573 miliona DIKO. Propozycja zamknęła się z tą samą liczbą głosów za i zerem głosów przeciw.

Bitquery szacuje zakupy tokenów głosowania na około 51,000 dolarów. Jego śledzenie również wskazuje, że 77% STX wysłanych do portfela głosowania pochodziło z wcześniejszego zysku StackSwap.

Napastnik zaangażował fundusze w wielu transakcjach i datach, więc sprawa Arkadiko różni się zasadniczo od jednorazowego pożyczania i spłaty X100. Późny zakup był kluczowy, ponieważ stał się użyteczną mocą głosowania podczas już otwartego głosowania.

Kiedy głosowanie się zakończyło, zmiana została wprowadzona. Nie istniał osobny okres oczekiwania między tą decyzją a uzyskaniem przez kontrakt jego uprawnień.

Zatwierdzony złośliwy kontrakt nie miał autoryzacji wywołującego w swoich funkcjach wypłaty i mintowania USDA. Propozycja 12 zarejestrowała go jako kontrakt operacji skarbcowych z uprawnieniem do mintowania. Udane wywołania usunęły sBTC o 16:06 UTC i stSTX o 16:09, kilka minut po aktywacji.

Bitquery szacuje straty Arkadiko na około 1,09 miliona dolarów: około 780 000 dolarów w stSTX, 135 000 dolarów w sBTC i 173 000 dolarów w STX uzyskanych poprzez sprzedaż niepopartych USDA. Napastnik X100 działał w ramach jednej transakcji pomimo rocznego zablokowania tokenów, podczas gdy Arkadiko zrealizowało po głosowaniu bez osobnego opóźnienia.

W wątku odpowiedzi z 22 października Arkadiko stwierdziło, że wyłączyło złośliwy kontrakt i wstrzymało zarządzanie, wykupy skarbcowe i likwidacje. Powiedziało, że dotknięte skarbce stSTX i sBTC nie mogły być modyfikowane, ponieważ ich zabezpieczenie było niedostępne.

O 07:57 UTC 27 października, propozycja 14, "AIP 32.2 -- Przywrócenie operacji skarbcowych," została zrealizowana, ustawiając wejście operacji skarbcowych na legalny kontrakt Arkadiko v1-3.

Okno wyjścia potrzebuje wyjścia

Wymaganie starszej stawki lub użycie mocy głosowania z wcześniejszego zrzutu mogłoby zapobiec natychmiastowemu zakwalifikowaniu nowo nabytych tokenów, podczas gdy opóźnienie w realizacji oddzieliłoby zatwierdzenie od ruchu aktywów.

Gdyby każda istotna akcja musiała przejść przez to opóźnienie, dokładna sekwencja X100 nie mogłaby sfinansować się sama i spłacić pożyczki w jednej transakcji.

Napastnik używający kapitału długoterminowego mógłby czekać, ale ograniczenia dotyczące tego, co zatwierdzone kontrakty mogą robić, pozostają osobnym pytaniem.

Dokumentacja zarządzania OpenZeppelin opisuje historyczną moc głosowania i timelocki wykonania jako odrębne mechanizmy.

Zastosowanie tej różnicy do tych incydentów sprawia, że test staje się pytaniem o to, kiedy nowo nabyty kapitał zyskuje uprawnienia, co te uprawnienia mogą przenieść i ile użytecznego czasu pozostaje przed realizacją.

Zamrożony X X100 nie mógłby normalnie zostać odblokowany przed zakończeniem jego blokady, więc opóźnienie w realizacji nie zlikwidowałoby tego ograniczenia wypłaty.

Legitymna funkcja zamykania skarbca Arkadiko zapewnia warunkowe wyjście: aktywny właściciel spłaca dług, płaci opłaty stabilności i wypłaca zabezpieczenie, gdy operacje są włączone. To wymaga niezbędnych funduszy i dostępnego zabezpieczenia.

Propozycja okna trwającego około pięciu dni oferowała wcześniejsze powiadomienie o proponowanej zmianie. Ostateczne głosowanie nadeszło znacznie później, a zamknięcie natychmiast aktywowało kontrakt. Traktowanie całego głosowania jako gwarantowanego okna wypłaty po zatwierdzeniu zaciemniłoby moment, w którym niebezpieczeństwo stało się wykonalne.

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.