Ethereum ugruntowało się jako kamień węgielny zdecentralizowanych finansów i szerszego ekosystemu Web3. Służy jako warstwa rozliczeniowa dla miliardów dolarów wartości i hostuje tysiące zdecentralizowanych aplikacji. Jednak ta ogromna popularność stworzyła znaczące wyzwania dotyczące pojemności sieci. W miarę jak coraz więcej użytkowników napływa do sieci, popyt na miejsce w bloku przekracza dostępną podaż. Ten wąski gardło powoduje zatłoczenie sieci i gwałtownie rosnące opłaty transakcyjne, które często wykluczają zwykłych użytkowników.
Społeczność od dawna uznaje, że główna sieć blockchain Ethereum, często określana jako Layer 1, nie jest w stanie sama obsłużyć globalnego wolumenu transakcji. Sieć regularnie przetwarza ponad milion transakcji dziennie, jednak to jest niewystarczające, aby sprostać światowemu zapotrzebowaniu. Aby temu zaradzić, deweloperzy stworzyli rozwiązania działające na szczycie mainnetu. Są one zbiorczo znane jako rozwiązania skalujące Layer 2. Ich celem jest zwiększenie przepustowości transakcji bez kompromisów w zakresie solidnego bezpieczeństwa, które czyni Ethereum wartościowym.
Wśród różnych podejść skalujących rollupy wyłoniły się jako najbardziej obiecująca technologia dla długoterminowej przyszłości sieci. Rollupy przetwarzają transakcje poza główną siecią Ethereum, ale publikują dane transakcji z powrotem na nią. To podejście zmniejsza obciążenie głównej sieci, jednocześnie zapewniając, że dane pozostają dostępne i bezpieczne. W tej kategorii dwa główne pretendenci wyszły na prowadzenie: Optimistic Rollups i Zero-Knowledge (ZK) Rollups.
Wyzwanie skalowalności i Layer 2
Aby zrozumieć, dlaczego rollupy są niezbędne, najpierw trzeba pojąć ograniczenia inherentne w projektowaniu blockchaina. Często opisuje się to jako „dylemat blockchaina”. Koncept sugeruje, że zdecentralizowana sieć może optymalizować tylko dwie z trzech głównych cech jednocześnie: decentralizację, bezpieczeństwo i skalowalność. Ethereum historycznie priorytetowo traktowało decentralizację i bezpieczeństwo. Ta decyzja oznacza, że skalowalność na bazowej warstwie jest naturalnie ograniczona.
Koszt zatłoczenia
Gdy sieć staje się zajęta, mechanizm włączania transakcji do bloku przypomina aukcję. Użytkownicy zasadniczo licytują przeciwko sobie, aby ich transakcje zostały przetworzone przez walidatorów. Prowadzi to do zmiennych cen gazu. W okresach wysokiego popytu wykonanie prostego swapu tokenów lub interakcja z zdecentralizowaną aplikacją może kosztować exorbitantne kwoty. To tarcie ogranicza wzrost ekosystemu i uniemożliwia powszechne przyjęcie zdecentralizowanych aplikacji (DApps).
Przeniesienie wykonania poza łańcuch
Rozwiązania Layer 2 radzą sobie z tym, przenosząc ciężką pracę poza główną sieć Ethereum. Zamiast aby każdy węzeł w głównej sieci przetwarzał każdy pojedynczy obliczenie, wykonanie odbywa się na warstwie drugorzędnej. Sieć Layer 2 obsługuje obliczenia i przechowywanie zmian stanu. Następnie okresowo przesyła podsumowanie lub dowód tych transakcji do mainnetu Ethereum. To kotwiczy stan Layer 2 do Layer 1, wykorzystując bezpieczeństwo Ethereum bez jego zatłoczenia.
Typy rozwiązań skalujących
Chociaż rollupy są w centrum uwagi, istnieją inne rozwiązania. Kanały, podobne do Lightning Network Bitcoina, pozwalają użytkownikom na nieograniczone transakcje poza łańcuchem i rozliczanie tylko końcowego salda na łańcuchu. Plasma tworzy łańcuchy potomne, które używają głównego łańcucha do arbitrażu zaufania. Niezależne sidechainy działają równolegle do Ethereum z własnymi mechanizmami konsensusu. Jednak rollupy zyskały przychylność, ponieważ trzymają dane na łańcuchu, zapewniając wyższe gwarancje bezpieczeństwa niż sidechainy czy Plasma.
Jak działają rollupy
Rollupy wywodzą nazwę od procesu „zwijania” lub pakowania setek lub tysięcy transakcji w jedną paczkę. Zamiast przesyłać każdą transakcję indywidualnie do mainnetu Ethereum, operator rollupa przesyła skompresowaną paczkę danych. To znacząco zmniejsza ślad danych na Layer 1. Poprzez podzielenie opłat transakcyjnych za przesłanie między wielu użytkowników, koszt na użytkownika spada dramatycznie.
Kluczowa różnica między dwoma głównymi typami rollupów tkwi w tym, jak udowadniają głównej sieci, że transakcje poza łańcuchem są ważne. Mainnet potrzebuje sposobu, aby zapewnić, że przesyłane dane są poprawne i że nikt nie przetwarza nieważnych transakcji lub nie kradnie funduszy. Optimistic Rollups i ZK-Rollups stosują dwa fundamentalnie różne filozoficzne i techniczne podejścia do tego procesu weryfikacji.
Optimistic Rollups: Domniemanie niewinności
Optimistic Rollups działają na zasadzie podobnej do „niewinny do czasu udowodnienia winy”. Gdy paczka transakcji jest przesłana do mainnetu Ethereum, system automatycznie zakłada, że transakcje są ważne. Nie wykonuje natychmiast ciężkich obliczeń, aby sprawdzić każdą sygnaturę lub zmianę stanu. To „optymistyczne” założenie pozwala na znaczące ulepszenia prędkości i przepustowości, ponieważ usuwa narzut ciągłej weryfikacji.
Mechanizm dowodu oszustwa
Aby zapewnić bezpieczeństwo, Optimistic Rollups wykorzystują mechanizm znany jako dowód oszustwa. Chociaż system zakłada ważność domyślnie, istnieje określony okres czasu po przesłaniu znany jako okres sporu. W tym oknie, które zazwyczaj trwa około siedmiu dni, inni uczestnicy sieci mogą zakwestionować ważność paczki transakcji. Jeśli ktoś zidentyfikuje złośliwą aktywność lub nieważne obliczenie, może przesłać dowód do mainnetu, kwestionując paczkę.
Jeśli wyzwanie zostanie zweryfikowane jako poprawne, nieważna paczka transakcji jest cofana. Złośliwy aktor, który przesłał złą paczkę, jest karany, często poprzez utratę funduszy, które zablokował lub „zastawił” jako walidator. To podejście „marchewka i kij” zachęca do uczciwego zachowania. Uczestnicy wiedzą, że jeśli spróbują oszukać, prawdopodobnie zostaną złapani i ukarani finansowo w oknie sporu.
Kompatybilność i rozwój
Jedną z głównych zalet Optimistic Rollups jest ich poziom złożoności w zakresie implementacji. Polegają na standardowej technologii kryptograficznej, dobrze zrozumiałej w branży. Ponieważ nie wymagają skomplikowanych nowych dowodów matematycznych dla każdej paczki, są łatwiejsze do zbudowania. Co ważniejsze, oferują wysoką kompatybilność z Ethereum Virtual Machine (EVM).
Ta kompatybilność z EVM oznacza, że deweloperzy mogą przenieść swoje istniejące zdecentralizowane aplikacje z Ethereum Layer 1 na Optimistic Rollup przy minimalnych zmianach. Kontrakty inteligentne napisane dla mainnetu generalnie działają bezproblemowo na tych Layer 2. To pozwoliło na szybkie przyjęcie, ponieważ główne protokoły DeFi i projekty mogą skalować swoje operacje bez przepisywania kodu.
Wąskie gardło wypłat
Zależność od okresu sporu wprowadza znaczną wadę w doświadczeniu użytkownika. Ponieważ sieć musi czekać, aby zobaczyć, czy dowód oszustwa zostanie przesłany, przenoszenie aktywów z Layer 2 z powrotem do Layer 1 nie jest natychmiastowe. Użytkownicy zazwyczaj muszą czekać na zakończenie okresu sporu, co może trwać tydzień lub dłużej. Chociaż dostawcy płynności zewnętrzni mogą oferować szybsze wyjścia za opłatą, natywny most zachowuje to opóźnienie, aby zapewnić bezpieczeństwo.
ZK-Rollups: Matematyczna pewność
Zero-Knowledge (ZK) Rollups stosują przeciwne podejście. Zamiast zakładać, że transakcje są ważne, dostarczają jawny dowód, że tak jest. Za każdym razem, gdy paczka transakcji jest spakowana, operator Layer 2 generuje dowód kryptograficzny, konkretnie Zero-Knowledge Proof (SNARK lub STARK). Ten dowód jest przesyłany do mainnetu Ethereum wraz z danymi transakcji.
Dowody poprawności
Dowód służy jako matematyczna gwarancja, że transakcje w paczce zostały wykonane poprawnie zgodnie z zasadami protokołu. Mainnet Ethereum weryfikuje ten dowód. Jeśli dowód się potwierdzi, aktualizacja stanu jest finalizowana natychmiast. Nie ma potrzeby ufania operatorowi ani czekania na kogoś, kto zakwestionuje dane. Matematyka zapewnia, że nieważna przejście stanu nie może zostać wygenerowane w pierwszej kolejności.
Natychmiastowa finalność
Ponieważ poprawność jest weryfikowana natychmiast po przesłaniu do Layer 1, ZK-Rollups nie wymagają okresu sporu. Gdy paczka zostanie zaakceptowana, fundusze są bezpieczne, a stan ostateczny. To rozwiązuje problem opóźnienia wypłat inherentny w Optimistic Rollups. Użytkownicy mogą wypłacić swoje fundusze z Layer 2 do Layer 1 tak szybko, jak dowód zostanie zweryfikowany, bez wielodniowego okresu oczekiwania. To oferuje lepsze doświadczenie użytkownika przy przenoszeniu aktywów między warstwami.
Intensywność obliczeniowa
Wadą ZK-Rollups jest ogromna moc obliczeniowa wymagana do generowania dowodów poprawności. Tworzenie dowodu Zero-Knowledge to złożone i zasobożerne zadanie. Ten wysoki narzut obliczeniowy może ograniczać przepustowość samego rollupa lub zwiększać koszty generowania bloków. Jednak wraz z ulepszaniem sprzętu i dojrzewaniem podstawowej technologii kryptograficznej te koszty maleją.
Złożoność techniczna
ZK-Rollups polegają na nowszych, bardziej złożonych prymitywach kryptograficznych w porównaniu do Optimistic Rollups. Ich implementacja jest znacznie trudniejsza. Co więcej, stworzenie ZK-Rollupa w pełni kompatybilnego z Ethereum Virtual Machine historycznie stanowiło główne wyzwanie inżynieryjne. Chociaż postępy są czynione, ogólne obliczenia na ZK-Rollupach pozostają w tyle za łatwą kompatybilnością oferowaną przez rozwiązania Optimistic.
Porównanie kompromisów
Oba typy rollupów oferują wyraźne zalety w zależności od potrzeb aplikacji i użytkownika. Oba bezpiecznie opierają się na Ethereum, czerpiąc bezpieczeństwo z mainnetu, ale ich mechaniki operacyjne prowadzą do różnych mocnych i słabych stron.
| Cecha | Optimistic Rollups | ZK-Rollups |
|---|---|---|
| Metoda walidacji | Dowody oszustwa (model sporu) | Dowody poprawności (weryfikacja matematyczna) |
| Czas wypłaty | Wolny (ok. 7 dni) | Szybki (minuty do godzin) |
| Złożoność | Niższa (standardowa kryptografia) | Wysoka (nowa technologia kryptograficzna) |
Uwagi dotyczące bezpieczeństwa
Optimistic Rollups polegają na co najmniej jednym uczciwym aktorze obserwującym łańcuch, który prześle dowód oszustwa, jeśli coś pójdzie nie tak. W przeciwieństwie do nich, ZK-Rollups polegają na matematyce; kontrakt inteligentny mainnetu po prostu odrzuca każdą paczkę bez ważnego dowodu. Chociaż oba uważane są za wysoce bezpieczne w porównaniu do sidechainów, ZK-Rollups teoretycznie oferują silniejszą gwarancję bezpieczeństwa, ponieważ nie zależą od zachęt gry teoretycznej ani aktywnych obserwatorów do wykrywania oszustw.
Potencjał przepustowości
ZK-Rollups mają też przewagę w efektywności danych. Ponieważ sam dowód poprawności potwierdza poprawność zmian, ZK-Rollups technicznie muszą publikować mniej danych na głównym łańcuchu niż Optimistic Rollups. Rozwiązania Optimistic muszą publikować wystarczająco dużo danych, aby każdy mógł odtworzyć transakcję i zweryfikować ją podczas sporu. Ta niewielka różnica oznacza, że ZK-Rollups teoretycznie mogą osiągnąć wyższą przepustowość w dłuższej perspektywie.
Przyszły ekosystem
Współzawodnictwo między tymi technologiami nie jest grą o sumie zerowej. Mogą współistnieć przez lata, obsługując różne nisze. Jednak konsensus wśród wielu badaczy głosi, że ZK-Rollups reprezentują długoterminową przyszłość skalowania Ethereum. Natychmiastowe korzyści Optimistic Rollups — łatwość wdrożenia i kompatybilność z EVM — pozwoliły im zyskać wczesną przewagę w adopcji. Projekty takie jak Polygon wykorzystały technologię Optimistic, aby zapewnić natychmiastową ulgę w zatłoczeniu.
Podejścia hybrydowe
Ciekawie, granice mogą się zacierać. Niektóre platformy, jak Polygon, badały integrację technologii ZK w swoje mapy drogowe, mimo że zaczynały od innych frameworków. Ekosystem prawdopodobnie zobaczy rozwiązania hybrydowe lub stopniową migrację, gdzie implementacje Optimistic uaktualniają się do dowodów ZK, gdy technologia stanie się bardziej dostępna i kompatybilna z EVM.
Rola shardingu
Oba typy rollupów skorzystają z przyszłych ulepszeń Ethereum, konkretnie shardingu. Sharding dzieli sieć na mniejsze części, aby przetwarzać więcej danych. Dla rollupów główną korzyścią jest zwiększona dostępność danych. Ponieważ rollupy muszą publikować dane transakcji na Layer 1, ilość dostępnego miejsca na mainnecie je ogranicza. Sharding ogromnie zwiększy pojemność danych Ethereum, pozwalając rollupom przetwarzać wykładniczo więcej transakcji przy niższych opłatach.
Adopcja deweloperów
Na razie deweloperzy wybierają na podstawie aktualnej dojrzałości. DApps wymagające pełnego wsparcia EVM dziś często domyślnie wybierają Optimistic Rollups. Jednak gdy technologia „zkEVM” (ZK-Rollups kompatybilne z EVM) dojrzeje, bariera wejścia dla modelu dowodu poprawności zniknie. Gdy koszty złożoności spadną, zalety natychmiastowych wypłat i bezpieczeństwa matematycznego prawdopodobnie przesuną w kierunku rozwiązań ZK.
Wniosek
Skalowanie Ethereum jest niezbędne, aby sieć zrealizowała swój potencjał jako globalny substrat finansowy. Rozwiązania Layer 2 przeszły od koncepcji teoretycznych do vitalnych części infrastruktury. Optimistic Rollups obecnie zapewniają pragmatyczne, działające rozwiązanie, które łagodzi zatłoczenie za pomocą standardowej technologii i teorii gier. Oferują deweloperom łatwą ścieżkę skalowania istniejących aplikacji, choć z kompromisem opóźnionych wypłat.
ZK-Rollups oferują bardziej zaawansowane technicznie rozwiązanie, które obiecuje natychmiastową finalność i rygorystyczne bezpieczeństwo dzięki dowodom poprawności. Chociaż napotykają przeszkody w zakresie kosztów obliczeniowych i złożoności implementacji, rozwiązują wąskie gardła wypłat dręczące modele optymistyczne. W miarę postępu badań kryptograficznych ZK-Rollups są gotowe stać się standardem dla skalowania blockchaina o wysokiej wydajności.
Wybór między nimi obecnie zależy od potrzeby natychmiastowej kompatybilności kontra długoterminowej efektywności.