Cześć wszystkim, w obecnym ekosystemie Ethereum, niezależnie od tego, czy mówimy o Optimistic Rollup czy ZK Rollup, utrzymujemy niezwykle rozbudowany i ryzykowny system weryfikacji na niestandardowych łańcuchach. Każda naprawa błędów w podstawowej maszynie wirtualnej wymaga długiego i niebezpiecznego procesu aktualizacji zdecentralizowanej governance.
Ostatnio na forum badawczym Ethereum (ethresear.ch) pojawiła się niezwykle rewolucyjna propozycja: postuluje ona ogólną generalizację EIP-8025 oraz wprowadzenie zupełnie nowego EIP, aby dodać uniwersalne "Natywne Weryfikacje Dowodów (Native Proof Verification)" do podstawowej warstwy Ethereum.
Jeśli ta propozycja zostanie wdrożona, przyszłe Rollup nie będą musiały wdrażać skomplikowanych kontraktów weryfikacyjnych na łańcuchu, lecz będą mogły bezpośrednio „korzystać za darmo” z infrastruktury weryfikacyjnej warstwy konsensusu Ethereum (CL). To nie tylko znacznie ograniczy zbędny kod na głównym łańcuchu Ethereum, ale również podniesie bezpieczeństwo i logikę aktualizacji Ethereum L2 na niespotykaną dotąd wysokość.
W tym artykule rozkładamy na czynniki pierwsze kluczową logikę tej propozycji technicznej, mechanizmy realizacji oraz jej dalekosiężny wpływ na przyszłe ścieżki skalowania.
1. Analiza problemu: obecny system weryfikacji Rollup jako „piętą Achillesa”
W obecnym paradygmacie skalowania, każdy Ethereum L2 przypomina niezależne „królestwo”, które prowadzi własne wojny, budując na L1 niezwykle skomplikowaną infrastrukturę weryfikacyjną.
Skomplikowane kontrakty na łańcuchu: ZK Rollup musi wdrożyć kontrakty weryfikacyjne specyficzne dla zkVM (zero-knowledge virtual machine), adaptery i harmonogramy; Optimistic Rollup musi wdrożyć ogromne maszyny dowodowe oszustwa oraz logikę rozstrzygania sporów.
Wysokie koszty utrzymania i ryzyko bezpieczeństwa: Te kontrakty są utrzymywane przez swoje zespoły indywidualnie. Jeśli tylko podstawowy system dowodowy lub maszyna wirtualna zostanie uznana za wadliwą, zespół deweloperski musi przeprowadzić aktualizację kontraktu poprzez niestandardowy multi-podpis (Multi-sig) lub głosowanie DAO.
Nieskuteczna powtarzalność w ekosystemie: W ekosystemie Ethereum istnieje wiele projektów, które utrzymują podobne biblioteki weryfikacyjne, co nie tylko pochłania ogromne ilości Gas, ale także wielokrotnie zwiększa ryzyko bezpieczeństwa w całej sieci.
Biorąc za przykład Rollup, który przyjęł „wielu dowodów (Multi-proof)” w swojej architekturze, aby osiągnąć najwyższe bezpieczeństwo, może być konieczne wdrożenie na L1 nawet sześciu kontraktów (w tym różnych oryginalnych weryfikatorów zkVM, dostosowanych adapterów, harmonogramów wielu dowodów itd.). Każda aktualizacja jakiegokolwiek etapu jest koszmarem, który pociąga za sobą wszystkie inne.
2. Kluczowe przełamanie: uogólnienie EIP-8025, wprowadzenie ogólnych prymitywów weryfikacyjnych
EIP-8025 pierwotnie został zaprojektowany dla bezstanowości (Statelessness) samego Ethereum L1, wprowadzając infrastrukturę weryfikacji dowodów zkVM na warstwie konsensusu (CL). Jednak początkowy projekt był zbyt „egoistyczny”, służąc jedynie do weryfikacji specyficznych ładunków wykonawczych na głównym łańcuchu Ethereum.
Pomysł nowej propozycji polega na tym, że skoro warstwa konsensusu już ma silnik dowodów, protokół transmisji i logikę weryfikacji, to czemu nie udostępnić tego wszystkim inteligentnym kontraktom?
Ta propozycja realizuje ten cel poprzez dwie kluczowe zmiany:
Całkowite uogólnienie silnika weryfikacji na warstwie konsensusu (CL)
Propozycja sugeruje oddzielenie części związanej z logiką specyficzną dla Ethereum w EIP-8025, aby podstawowa infrastruktura weryfikacji dowodów stała się „niezależna od konkretnego programu (Program-agnostic)”.
Nowy kontener dowodów został podzielony na dwa kluczowe wymiary:
Typ backendu (Backend Type): Używany do informowania warstwy konsensusu, jaki system dowodowy powinien być używany (na przykład jakiś specyficzny rodzaj zkVM).
Hash programu (Program Hash): Używany do unikalnego identyfikowania konkretnego aktualnie wykonywanego programu klienta.
W ten sposób silnik weryfikacji na warstwie konsensusu staje się uniwersalnym „gniazdem”, które może być podłączane przez jakikolwiek Rollup, a nawet protokoły prywatności czy współpracowników ZK, o ile dostarczą odpowiednią wtyczkę (identyfikator backendu i hash programu), mogą się podłączyć do tej sieci weryfikacyjnej.
2. Całkowicie nowy „Transakcja z dowodami (Proof-carrying Transaction)
Aby inteligentne kontrakty na poziomie aplikacji mogły rozpoznać i wykorzystać wyniki weryfikacji na warstwie konsensusu, propozycja wprowadza nowy typ transakcji oraz trzy nowe kody operacyjne (Opcode):
Rewolucja na poziomie transakcji: Nowe ciała transakcji zawierają dodatkowe listy dowodów (rejestrujące hash programu i typ backendu) oraz jeden publiczny hash wyjścia.
Zmniejszenie obciążenia na poziomie inteligentnych kontraktów: propozycja wprowadza trzy nowe kody operacyjne (które nie wymagają skomplikowanych obliczeń kryptograficznych) do odczytu hashu programu, publicznego hashu wyjścia oraz liczby dowodów.
Przekształcenie workflow: Kiedy taka transakcja z dowodami rozprzestrzenia się w puli pamięci, węzły sieci i budowniczy bloków będą odpowiedzialni za przeprowadzanie ciężkich matematycznych weryfikacji na poziomie podstawowym. Gdy transakcja zostanie spakowana w blok, inteligentne kontrakty będą musiały jedynie wywołać wspomniane nowe kody operacyjne, aby „lekkim” krokiem potwierdzić, czy dowód jest ważny.
3. Skok paradygmatu: „Wydanie klienta” zamiast „zarządzania na łańcuchu”
Wprowadzenie tego mechanizmu przyniesie fundamentalną zmianę architektury.
W przeszłości, gdy biblioteka bazowa zkVM używana przez Rollup miała lukę bezpieczeństwa, zespół Rollup musiał pilnie zgłaszać propozycję, aby przejść przez proces zarządzania na łańcuchu i zaktualizować umowę weryfikacyjną na L1.
W paradygmacie „rodzimej weryfikacji dowodów” ciężar weryfikacji został przeniesiony na oprogramowanie klienckie Ethereum L1 (takie jak Geth, Nethermind itd.). Gdy podstawowy zkVM wymaga naprawy, zespół deweloperski Ethereum wystarczy, że opublikuje nową wersję oprogramowania. Po aktualizacji oprogramowania węzły Ethereum automatycznie naprawią błąd.
To jakby system operacyjny zaktualizował podstawowe łatki bezpieczeństwa, a wszystkie oprogramowania działające na nim automatycznie skorzystają, bez konieczności ponownego pisania kodu przez każdego dewelopera oprogramowania. Rollup naprawdę wdrożył mechanizm aktualizacji bezpieczeństwa Ethereum L1.
Cztery, Dalekosiężny wpływ na L2
Zgodnie z przybliżonymi szacunkami zawartymi w propozycji, jeśli zastosowana zostanie ta rodzima metoda, obecne wiodące Rollup (w tym optymistyczne rozwiązania skalujące oparte na WASM lub MIPS, oraz skuteczne rozwiązania oparte na różnych zkVM) będą mogły wyeliminować od 20% do 50% istotnego logiki kodu na łańcuchu.
Pierwotnie złożone stosy weryfikacyjne liczące dziesiątki tysięcy linii kodu mogą zostać uproszczone do minimalistycznego kontraktu „skrzynki odbiorczej (Inbox)”. Ten kontrakt musi jedynie użyć nowych kodów operacyjnych do sprawdzenia, czy liczba dowodów jest zgodna z wymaganiami, a hash programu znajduje się na swojej białej liście, aby zakończyć potwierdzenie.
Jednocześnie mechanizm ten elegancko rozwiązuje problem aranżacji „wielu dowodów (Multi-proof)”. Różne dowody backendu mogą być pakowane na warstwie transakcji i weryfikowane równolegle na poziomie podstawowym, a inteligentne kontrakty nie muszą już pisać kodu w stylu „spaghetti”, aby koordynować wiele systemów dowodowych.
Podsumowanie; Przejście od „indywidualnych kontraktów dostosowanych do łańcucha” do jednolitego „rodzimych prymitywów warstwy konsensusu” to nieunikniona droga do dojrzałości i modularności ekosystemu Ethereum.
Chociaż ta propozycja wciąż wymaga dalszej dyskusji na temat szczegółów, takich jak „gwarancje stabilności hashu programu (tj. jak przeprowadzać rutynową konserwację kodu podstawowego bez zmiany identyfikatorów na łańcuchu)”, to kierunek, który wskazuje - aby Rollup stały się bardziej lekkie, bezpieczne i ściśle związane z podstawowym konsensusem Ethereum L1 - z pewnością dostarcza obiecujące rozwiązanie dla ścieżek skalowania, które utknęły w impasie zarządzania i nadmiarze kodu.
⚠️ 【Zastrzeżenie】Treść artykułu ma na celu jedynie edukację w zakresie technicznych podstaw i modeli ekonomicznych, nie stanowi żadnej porady inwestycyjnej, a dane pochodzą z sieci. Handel kryptowalutami wiąże się z ogromnym ryzykiem, zawsze oceniaj swoją zdolność do ponoszenia ryzyka i podejmuj decyzje ostrożnie.
🌹 Jeśli podoba Ci się ta głęboka analiza, zapraszamy do polubienia, śledzenia, komentowania i udostępniania! Twoje wsparcie to nasza największa motywacja do dalszej pracy.#以太坊 #L1 $BTC $BNB $XRP
