Autor: Shenchao TechFlow
Spotkanie głównych deweloperów Ethereum (ACD) zdecydowało o zawieszeniu procesu aktualizacji testnetu Hoodi, ponieważ firma audytowa ujawniła, że dwie nadchodzące propozycje usprawnienia Gas bezpośrednio obalą podstawowe założenia operacyjne, na których od dawna opiera się wiele wdrożonych inteligentnych kontraktów.
Fundacja Ethereum publicznie wydała ostrzeżenie o samokontroli skierowane do całej branży i wspólnie z wieloma instytucjami uruchomiła audyty kodu, mając na celu zapobieżenie sytuacji, w której hard fork bezpośrednio doprowadzi protokoły aktywów on-chain do logicznych anomalii lub paraliżu.
Restrukturyzacja podstawowego rozliczania wstrząsa tradycyjną logiką dostępu do stanu
W nadchodzącej aktualizacji Ethereum Glamsterdam specyfikacja propozycji EIP-8037 oraz specyfikacja propozycji EIP-8038 podejmują kluczowe zadanie polegające na ponownym wycenieniu mechanizmu przechowywania stanu.
Historyczne dane stanu Ethereum stale się rozrastają, a pierwotny model stałego zużycia z trudem może dokładnie odzwierciedlić rzeczywiste koszty sprzętowe ponoszone przez węzły w związku z utrzymywaniem tworzenia stanu i częstym odczytem. Głównym celem tych dwóch propozycji jest całkowite rozdzielenie sposobów rozliczania tworzenia stanu i dostępu do stanu oraz zresetowanie dynamicznych wag dla określonych kodów operacyjnych.
Ta podstawowa przebudowa ma na celu zahamowanie tendencji do nieuporządkowanego rozrastania się stanu w całej sieci, ale na warstwie wykonawczej bezpośrednio obala stałe systemowe, które deweloperzy zakładają jako niezmienne podczas budowania aplikacji.
Załamanie statycznych założeń Gas ujawnia osiem niezmienniczych ryzyk
Firma bezpieczeństwa ChainSecurity w oficjalnej analizie wskazała w testach, że duża liczba inteligentnych kontraktów on-chain i infrastruktury off-chain od dawna opiera się na kilku nieoczekiwanych statycznych założeniach dotyczących Gas. Gdy zasady rozliczania zużycia przy wykonywaniu kodów operacyjnych nagle się zmienią, odpowiednia logika biznesowa zostanie bezpośrednio przerwana bez żadnego ostrzeżenia.
Te złamane niezmienniki obejmują najczęstsze wzorce inżynieryjne w rozwoju kontraktów. Aby zapobiec atakom reentrancy lub kontrolować zakres wykonania, niektóre protokoły stosują zakodowane na stałe limity Gas podczas wywoływania podkontraktów. Rosnące koszty rozliczania spowodują, że wywołania między kontraktami, które pierwotnie mogły przebiegać płynnie, zostaną bezpośrednio wycofane z powodu wyczerpania wewnętrznego Gas.
Inne kluczowe ryzyka kryją się w logice odporności na błędy opierającej się na mechanizmach przechwytywania wyjątków. Gdy zewnętrzny wywołujący nie może już dokładnie przewidzieć wewnętrznego zużycia wykonania lub gdy niektóre kontrakty proxy przekazują pozostałe wykonanie na podstawie stałych proporcji, ścieżka wykonania całego przepływu transakcji zostanie całkowicie zniekształcona, a nawet może spowodować zablokowanie środków w niedokończonych gałęziach maszyny stanów.
Zespół zarządzający pilnie wstrzymuje fork, aby uniknąć paniki on-chain
W obliczu potencjalnych systemowych ryzyk zgodności deweloperzy klientów Ethereum szybko podjęli środki obronne w najnowszym procesie koordynacji głównej.
Zgodnie z przeglądem historii głównego zarządzania Ethereum w artykule „Nowa publiczna sieć Nibiru Mainnet zostanie uruchomiona, analiza jej cech technicznych i bezpiecznych praktyk rozwojowych”, ilekroć podstawowy konsensus lub parametry wykonania wchodzą w nieusuwalny konflikt z istniejącym ekosystemem, społeczność deweloperów zwykle wybiera opóźnienie harmonogramu w zamian za wystarczające okno bezpieczeństwa.
Deweloperzy osiągnęli konsensus na spotkaniu ACD, że absolutnie nie wykonają hard forka w testnecie Hoodi, zanim dokładnie nie zrozumieją rozmieszczenia potencjalnie dotkniętych kontraktów i nie zapewnią wytycznych dotyczących zgodności. Ślepy fork nie tylko nie pozwala skutecznie zweryfikować stabilności nowych zasad, ale także łatwo wywołuje kaskadowe awarie w portfelach multisig, mostach międzyłańcuchowych i zdecentralizowanych protokołach pożyczkowych.
Fundacja udostępnia narzędzia wykrywające w celu promowania skoordynowanej inspekcji w całej sieci
Ponieważ złożoność zdecentralizowanych aplikacji nie ogranicza się do publicznie dostępnego bajtkodu on-chain, lecz jest również głęboko zagnieżdżona w zastrzeżonym routingu off-chain, skryptach rozliczeniowych i botach likwidacyjnych, oficjalne wysiłki audytowe nie są w stanie wyczerpać logiki przypadków brzegowych całego ekosystemu. Badacz Ethereum Marius van der Wijden, w imieniu zespołu, wyraźnie przyznał to ograniczenie w ogłoszeniu technicznym Fundacji Ethereum.
Fundacja Ethereum oficjalnie opublikowała dedykowane repozytorium inspekcyjne na platformie hostingu kodu, szczegółowo przedstawiając społeczności szczegóły techniczne ośmiu dotkniętych niezmienników oraz przykładowy kod problemowy. Repozytorium zapewnia również dedykowane szablony podpowiedzi dla głównych narzędzi wspomagających audyt i skanerów kodu, aby zespoły kontraktowe, audytorzy bezpieczeństwa i opiekunowie infrastruktury mogli szybko porównać własną logikę biznesową.
Zespół głównych deweloperów Ethereum oraz instytucje bezpieczeństwa planują podsumować pierwszą partię danych z samokontroli zebranych od wszystkich stron na przyszłotygodniowym spotkaniu ACD, podczas którego ponownie ocenią warunki aktywacji i planowane dostosowania dla testnetu Hoodi.
