To nie 33%: rzeczywisty próg konsensusu Byzantine Fault Tolerance to jedna cyfra

Nowe badanie opublikowane na ethresear.ch przez Hudę Yusufa, badacza z kolektywu Analys, kwestionuje dwa filary regulujące bezpieczeństwo Ethereum i całego sektora DeFi: sposób działania konsensusu Byzantine Fault Tolerance oraz sposób, w jaki oracle decydują, co publikować. Główna teza jest prosta do sformułowania, ale ma poważne konsekwencje: jeśli walidatorzy zachowują się identycznie, ich rzeczywisty głos ma znacznie mniejszą wartość niż sugeruje nominalny staw, który posiadają. A jeśli oracle zawsze publikuje dane, nawet gdy są one podejrzane, systematycznie wybiera najgorszą opcję w obliczu zdeterminowanego atakującego.

Podsumowanie

• Kluczowe punkty
• Upadek koordynacji: kiedy korelacja między walidatorami unieważnia głos
  • Podstawy BFT ważonej różnorodnością zachowań
  • Przypadek Ethereum i symulacje dotyczące słabości standardowego BFT
• Strukturalna cisza: nowa strategia dla oracle DeFi
  • Model manipulacji i dowód stojący za strategią cichego oracle
  • Implikacje strategii cichego oracle
• Otwarte wyzwania: od teorii do wdrożenia
  • Dostosowanie konsensusu i oracle do nowej logiki
  • Ryzyka i kompromisy, które wciąż trzeba rozwiązać
• FAQ
  • Dlaczego korelacja zachowań zmniejsza wagę rzeczywistego głosu w DW-BFT?
  • W jaki sposób strategia cichego oracle poprawia obronę przed manipulacją cenami?
  • Jakie są główne trudności w implementacji DW-BFT i strategii ciszy?
  • Dlaczego oracle zawsze-publikujące pozostają podatne mimo powszechnej dystrybucji?

Kluczowe punkty

• Walidatorzy o niemal identycznych zachowaniach widzą, że ich rzeczywista waga głosu zmierza do zera, niezależnie od nominalnego staw, który posiadają.
• Trzy główne podmioty stakingowe na Ethereum kontrolują 57,2% nominalnego staw ale tylko 15,7% rzeczywistej wagi według modelu DW-BFT.
• Walidatorzy indywidualni, z zaledwie 22,3% nominalnego staw, kontrolują ponad 60,2% rzeczywistej mocy głosu dzięki różnorodności zachowań.
• Wszystkie oracle obecnie w produkcji, od Chainlink po Pyth, stosują strategie "always-publish" i są zatem podatne na ataki z definicji.

Upadek koordynacji: kiedy korelacja między walidatorami unieważnia głos

Pierwszy wynik, który autor nazywa Twierdzeniem 1 lub "Upadek Koordynacji", pokazuje, że w każdym systemie konsensusu Byzantine Fault Tolerance ważonego, grupa walidatorów o praktycznie identycznym zachowaniu widzi, że ich rzeczywista waga głosu spada do zera w miarę wzrostu korelacji między nimi, niezależnie od tego, ile nominalnego staw posiadają.

Podstawy BFT ważonej różnorodnością zachowań

Proponowany model, nazwany DW-BFT, nie ogranicza się do ważenia głosów na podstawie stawów s_j każdego walidatora. Wprowadza drugi czynnik, różnorodność zachowań d_j, obliczaną poprzez porównanie wektora zachowań każdego walidatora (czasy potwierdzenia, wybór relay MEV-Boost, uczestnictwo w reorgach) z średnią całego zestawu walidatorów. Rzeczywista waga głosu staje się więc iloczynem stawów i różnorodności, znormalizowanym na całość. Praktyczna koncepcja polega na tym, że dwóch walidatorów, którzy zawsze głosują w ten sam sposób i budują bloki w identyczny sposób, nie reprezentuje dwóch odrębnych źródeł informacji, lecz jedno, liczone podwójnie przez standardowy system.

Przypadek Ethereum i symulacje dotyczące słabości standardowego BFT {#Przypadek_Ethereum_i_symulacje_dotyczace_slabosci_standardowego_BFT}

Zastosowując model do aktualnego zestawu walidatorów Ethereum, badanie oblicza, że trzy największe podmioty pod względem depozytu kontrolują 57,2% nominalnego stawki, ale tylko 15,7% rzeczywistej wagi w systemie DW-BFT. Z drugiej strony, walidatorzy rozproszeni, którzy nominalnie posiadają tylko 22,3% stawki, kontrolują ponad 60,2% rzeczywistej mocy głosowania, ponieważ zachowują się niezależnie od siebie. To znacząca zmiana: w standardowej tolerancji błędów bizantyjskich, te trzy podmioty już przekraczają teoretyczny próg 33% i mogłyby, w zasadzie, finalizować nieważne bloki.

Dlaczego to ważne: margines bezpieczeństwa, który Ethereum przyjmuje implicitnie, nie wynosi więc 33%, ale w rzeczywistości jest jednocyfrowy procentowo, gdy uwzględni się rzeczywistą korelację behawioralną między dużymi operatorami stakingowymi. Symulacje przeprowadzone przez autora, z 10.000 próbami ataku przy różnych poziomach korelacji między walidatorami sybil, pokazują, że standardowy BFT osiąga 100% wskaźnik sukcesu, gdy wewnętrzna korelacja w kartelu jest doskonała, podczas gdy DW-BFT spada do 0% w tych samych warunkach.

Strukturalna cisza: nowa strategia dla oracle DeFi {#Strukturalna_cisza_nowa_strategia_dla_oracle_DeFi}

Drugim wynikiem badania, Twierdzenie 2 dotyczące "optymalności strukturalnej ciszy", ustala, że strategia cichego oracle, zdolna do wstrzymania publikacji w warunkach niepewności, wyraźnie dominuje nad każdą strategią, która zawsze publikuje wartość, gdy istnieje przeciwnik zdolny do tymczasowego manipulowania obserwowanym sygnałem.

Model manipulacji i dowód stojący za strategią cichą {#Model_manipulacji_i_dowod_stojacy_za_strategia_cicha}

Mechanizm opiera się na metryce spójności, oznaczonej jako C_t, która mierzy, jak obecna obserwacja jest zgodna z nagromadzoną historią behawioralną aktywów: przepływy cross-exchange, stabilność architektury portfeli, wzorce MEV, entropia czasowa. Gdy spójność spada poniżej określonego progu, oracle nie publikuje ceny, ale wstrzymuje dane, pokazując jednocześnie użyteczne metadane, takie jak różnica w stosunku do progu i szacunkowy czas odzyskania. Dowód matematyczny pokazuje, że jeśli strata spowodowana błędną publikacją przekracza stratę spowodowaną prostym opóźnieniem, każdy atak przechwycony za pomocą sygnału niespójności zmniejsza całkowitą stratę w porównaniu do oracle, który zawsze publikuje. Ponieważ każdy przeciwnik ma ograniczony budżet, strategia ciszy okazuje się ściśle lepsza za każdym razem, gdy wykrywa przynajmniej jedną próbę manipulacji.

Implikacje strategii cichego oracle {#Implikacje_strategii_cichego_oracle}

Strategia cichego oracle stanowi zmianę paradygmatu w porównaniu do obecnych oracle. Wszystkie oracle obecnie w produkcji, od Chainlink po Pyth, UMA, Band, API3 i RedStone, stosują strategie "zawsze-publikuj", które preferują ciągłą dostępność danych nad ich integralnością. Twierdzenie 2 dowodzi, że ten cel jest suboptymalny w obecności aktywnych przeciwników zdolnych do tymczasowego manipulowania obserwowanym sygnałem. Protokół DeFi, który likwiduje pozycje na podstawie manipulowanych cen "bo zawsze potrzebny jest numer", nie jest odporny, jest po prostu kruchy z natury.

Otwarte wyzwania: od teorii do wdrożenia {#Otwarte_wyzwania_od_teorii_do_wdrozenia}

Przetłumaczenie tych wyników na praktykę wymaga głębokich zmian zarówno w protokołach odporności konsensusu BFT, jak i w architekturze oracle, a sam autor otwarcie wymienia punkty, w których propozycja może nie wytrzymać.

Dostosowanie konsensusu i oracle do nowej logiki {#Dostosowanie_konsensusu_i_oracle_do_nowej_logiki}

Wdrożenie DW-BFT oznacza modyfikację mechanizmów finalizacji Casper FFG, aby ważyć głosy na podstawie różnorodności zachowań d_j, a nie tylko stawki s_j: kartel, który zawsze głosuje w ten sam sposób, nie powinien ważyć tyle, co pomnożona jego stawka, ale jak jeden głos. Jednocześnie przyjęcie ciszy jako ważnego wyniku wymaga, aby protokoły DeFi nauczyły się zarządzać brakującymi danymi oracle bez awarii lub chaotycznego blokowania likwidacji: to zmiana, która łamie założenia każdego istniejącego oracle konsumenckiego.

Ryzyka i kompromisy do rozwiązania {#Ryzyka_i_kompromisy_do_rozwiazania}

Autor szczerze uznaje kilka słabości. Przeciwnik mógłby podzielić się na tysiąc podmiotów o nieco różnych zachowaniach, a następnie skoordynować się tylko w momencie ataku, co jest znane jako de-korelacja sybil, dla której nie ma jeszcze formalnego dowodu odporności. Istnieje również obawa, że DW-BFT karze uczciwych walidatorów, gdy wszyscy głosują poprawnie na tę samą łańcuch, generując legitymizowaną korelację: zaproponowano heurystyczne rozwiązanie oparte na odjęciu od podstawy, ale pozostaje ono bez rygorystycznego dowodu. W obszarze oracle, metryka spójności C_t może stać się celem manipulacji, chociaż wymagałoby to kapitału szacowanego na 40 do 60 razy więcej niż bezpośredni atak na cenę. Na koniec pozostają otwarte pytania dotyczące tego, gdzie ustalić próg ciszy dla każdego konkretnego przypadku użycia, od rynków pożyczkowych po protokoły perpetual.

FAQ {#FAQ}

Dlaczego korelacja zachowań zmniejsza rzeczywistą wagę głosu w DW-BFT? {#Dlaczego_korelacja_zachowan_zmniejsza_rzeczywista_wage_glosu_w_DW-BFT}

Ponieważ gdy wektory zachowań wielu walidatorów są prawie identyczne, ich korelacja z średnią zestawu zbliża się do 1, a czynnik różnorodności d_j zmierza do zera, co zmniejsza rzeczywistą wagę niezależnie od nominalnej stawki posiadanej.

W jaki sposób strategia silent oracle poprawia obronę przed manipulacją cenami? {#W_jaki_sposob_strategia_silent_oracle_poprawia_obrone_przed_manipulacja_cenami}

Wstrzymując publikację, gdy metryka spójności sygnalizuje niepewność, oracle unika rozpowszechniania manipulowanych wartości, zmniejszając oczekiwaną stratę w porównaniu do strategii, która zawsze publikuje, nawet dane skompromitowane.

Jakie są główne trudności w implementacji DW-BFT i strategii ciszy? {#Jakie_sa_glowne_trudnosci_w_implementacji_DW-BFT_i_strategii_ciszy}

Należy dostosować protokoły konsensusu do ważyć głosy na podstawie różnorodności zachowań, zmodyfikować protokoły DeFi, aby potrafiły zarządzać brakującymi danymi oracle, oraz bronić się przed nowymi wektorami ataku, takimi jak de-korelacja sybil i manipulacja metryką spójności.

Dlaczego oracle always-publish pozostają podatne, mimo szerokiej dystrybucji? {#Dlaczego_oracle_always_publish_pozostaja_podatne_mimo_szerokiej_dystrybucji}

Ponieważ preferują ciągłą dostępność danych nad ich integralnością, zawsze publikując wartość nawet podczas manipulacji przeciwnika, co pozwala atakującym wykorzystać przestarzałe lub zmienione feedy.

Treść stworzona z pomocą sztucznej inteligencji i z redakcją ludzką.

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.