Autor: Ac-Core, badacz YBB Capital Tłumaczenie: Golden Finance xiaozou

Główny kierunek narracji ETH przesunął się z L1 na L2. Jeśli zinterpretujemy to również jako narrację ERC-20 o „wydawaniu tokenów jednym kliknięciem”, równie dobrze możemy nieco powiększyć wzorzec i wyobrazić sobie szaloną przyszłość. „łańcuch wydawniczy jednym kliknięciem”! Arbitrum opiera się na tym, że nikt inny tego nie potrafi! Arbitrum jest liderem konkurencyjnego krajobrazu L2 ze swoim niezrównanym ekosystemem i wysokim poziomem TVL, ale czy to tymczasowe zwycięstwo może trwać długo? W przeciwieństwie do Arbitrum Orbit, kolejnego rozwiązania L3, OP Stack to „super łańcuch”, który jednym kliknięciem może utworzyć L2. W tym artykule zostaną wykorzystane trzy części w celu przeprowadzenia kompleksowej analizy problemów bezpieczeństwa OP Stack, elementów ZK w OP i Rollup.

1. OP Stack otwiera „świat Superchain”

Gdzie zacznie się opowieść o kolejnej hossie? Czy zaczyna się od wysokowydajnego L1, warstwy sieciowej L3, L2 w systemie ZK, czy może OP Stack Superchain? To bardzo ciekawe i dające do myślenia pytanie. Tytuł Ether Killer od zawsze był celem nie do pokonania dla wszystkich publicznych sieci, jednak kryje się w nim wiele superjąder, a OP Stack jest jednym z nich.

(1) Co to jest stos OP?

  • OP Stack można rozumieć jako zestaw komponentów oprogramowania typu open source, które pozwalają każdemu zbudować własny blockchain L2 na Ethereum za pomocą Optimisitc Rollup. OP Stack składa się z czterech głównych komponentów:

  • Mainnet: OP Mainnet to niedroga i szybka sieć Ethernet L2 kompatybilna z maszyną wirtualną Ethereum EVM.

  • Kontrakt: inteligentny kontrakt, który implementuje podstawową logikę i funkcje OP Stack. Kontrakt PO obejmuje system przejścia stanu (STS), system zapobiegania oszustwom (FP), łańcuch zobowiązań stanu (SCC) i łańcuch transakcji kanonicznych (CTC).

  • Usługi: usługi zapewniające dostępność danych, synchronizację i komunikację między warstwami L1 i L2.

  • Narzędzia: narzędzia ułatwiające rozwój, testowanie, wdrażanie, monitorowanie i debugowanie łańcuchów bloków opartych na stosie OP.

(2) Otwartość na najwyższym poziomie

OP Stack zostanie zbudowany jako możliwa do rozwidlenia, modułowa i skalowalna infrastruktura blockchain. Aby zrealizować tę wizję, wszystkie typy L2 muszą zostać zintegrowane w jeden superchain, integrując oddzielne L2 w interoperacyjny połączony system, a wydanie L2 będzie tak proste, jak dzisiejsze wdrożenie inteligentnych kontraktów w Ethereum. Może przekształcić narrację „wydawania tokenów jednym kliknięciem” w narrację „wydawania łańcucha jednego kliknięcia”. Zasadniczo Hyperchain to skalowalna poziomo sieć blockchain, która dzieli bezpieczeństwo eteru, a także warstwę komunikacyjną i narzędzia programistyczne.

OP Stack będzie ujednoliconym modułowym stosem programistycznym stojącym za hiperchainem i niezliczonymi, wzajemnie połączonymi i komunikującymi się łańcuchami bloków. OP Stack jest rozwijany i utrzymywany przez Optimism Collective i obsługuje współdzielony system open source do nowych wdrożeń sieci konwergentnych. Jednocześnie jest to także zestaw ustandaryzowanych modułów open source. Brzmi to jak Kosmos oparty całkowicie na bezpieczeństwie Ethereum, ale teraz OP Stack stał się Kosmosowym Zabójcą, a komplementarność ETH i ATOM jest powszechnie znana. Następnie przyjrzyjmy się szczegółowo definicji stosu OP:

Moduły to fragmenty danych, które każdy programista może podłączyć do stosu OP. „Standardyzacja” Superchaina oznacza, że ​​istnieje konsensus co do standardu modułu i każdy może wdrożyć standard. Jest to również oprogramowanie całkowicie otwarte, co oznacza, że ​​każdy może bezpłatnie tworzyć iteracje i wysyłać żądania ściągnięcia. Programiści mogą przełączać moduły pomiędzy różnymi warstwami wykonania, konsensusu, rozliczeń i dostępności danych w łańcuchu.

Podobnie jak dYdX zdecydował się opuścić Ethereum i przejść do łańcucha aplikacji Cosmos, podstawowym powodem jest to, że chcą wyższego stopnia modułowości w warstwie konsensusowej swojego łańcucha, co moim zdaniem jest dobrym początkiem, aby umożliwić bardziej niezależnym dappom. Wybierz niezależny rozwinęła sieć publiczną, z której najbardziej znaną jest Luna, choć z pewnych powodów ostatecznie poniosła porażkę. Na szczęście OP Stack rozwiązuje ten problem, projektując rozwidlony kod w prostszy sposób, umożliwiając programistom łatwe wyodrębnianie różnych komponentów łańcucha bloków i modyfikowanie ich poprzez podłączanie różnych modułów.

(3) Zasada projektowania stosu OP

  • Wydajność: Możesz użyć OPStack do zbudowania czegokolwiek i opublikowania blockchainu za pomocą jednego kliknięcia;

  • Prostota: Wykorzystaj kod wielokrotnego użytku i gotowe narzędzia programistyczne, aby zwiększyć bezpieczeństwo i zmniejszyć złożoność konserwacji, łagodząc ogólne bariery;

  • Skalowalność: Optimism Collective całkowicie otworzy kod źródłowy głównego kodu OPStack.

Pod względem architektury OPStack można podzielić na sześć warstw od dołu do góry, a mianowicie: warstwę DA (dostępność danych), warstwę sortowania, warstwę wyprowadzania, warstwę wykonania, warstwę rozliczenia i warstwę zarządzania. Każda warstwa OP Stack to modułowy interfejs API, który można dowolnie łączyć i oddzielać. Najbardziej krytyczne to warstwa DA, warstwa wykonawcza i warstwa rozliczeniowa, które stanowią główny przepływ pracy OP Stack.

  • Warstwa DA: Warstwa dostępności danych jest oryginalnym źródłem danych OP Stack. Do uzyskania danych wejściowych można użyć jednego lub wielu modułów dostępności danych. Obecnie najważniejszą warstwą DA jest Ethereum, ale w przyszłości będzie więcej łańcuchów.

  • Warstwa wykonawcza: Struktura stanu w stosie OP zapewnia możliwość EVM lub korzystania z innych maszyn wirtualnych, dodając obsługę transakcji L2 inicjowanych w Ethereum, jednocześnie zwiększając całkowity koszt publikowania transakcji w Ethereum na transakcję.

  • Warstwa rozliczeniowa: ta warstwa gromadzi dane transakcyjne L2 na stosie OP i wysyła je do łańcucha docelowego po potwierdzeniu informacji przez L2 w celu zakończenia rozliczenia. Oczekuje się, że w przyszłości będzie miał również dostęp do ZK i innych mechanizmów potwierdzających ważność, aby wypełnić lukę między różnymi łańcuchami, a nawet połączyć wyspy silosów między systemami OP L2 i systemami ZK L2.

Sądząc po kilku projektach z elementami ZK odkrytych ostatnio przez OP, możemy śmiało wyobrazić sobie na przykład, że rollup optymistyczny chce przekształcić się w rollup ZK, nie ma problemu! Wystarczy zastąpić moduł zabezpieczający przed oszustwami modułem potwierdzającym ważność warstwy rozliczeniowej. Jeśli sieć chce wykorzystać Celestię jako warstwę dostępności danych, nie ma problemu! Zamień Ethereum na Celestię. Jeśli chcesz zastąpić EVM w warstwie wykonawczej innym typem maszyny wirtualnej, niestety jest to tylko techniczna możliwość w przypadku OP Stack. W tym scenariuszu mega-łańcucha narodził się gorący trend - „Polygon: chcę być Kosmosem ZK L2! Optymizm: Chcę być Kosmosem OP L2! Kosmos: W takim razie kim jestem?”

（4）Prawo stosu OP

Nieograniczona przestrzeń blokowa Ethereum jest kluczowym krokiem w stronę masowej adopcji, ale wiąże się również z problemami związanymi z fragmentacją, a wdrażanie bez uprawnień stwarza nowe wyzwania. Obecnie każdy nowy łańcuch OP Stack porusza się po własnej orbicie bez bezpośredniego sposobu na dzielenie się standardami i ulepszeniami. Użytkownicy i konstruktorzy również stoją przed ogromnym wyzwaniem: indywidualna ocena wielu różnych łańcuchów w oparciu o bezpieczeństwo, jakość i neutralność. Aby zrealizować superchain, OP Stack musi przekształcić się z niezależnej, zdecentralizowanej przestrzeni blokowej w zunifikowany kolektyw łańcuchowy, współpracujący na otwartej, zdecentralizowanej przestrzeni blokowej. Prawo Łańcuchów określa zasady przewodnie dotyczące optymistycznego zarządzania i Superchain. Optymistyczne zarządzanie przechodzi od zarządzania pojedynczym łańcuchem do zarządzania wspólnym standardem w wielu łańcuchach, definiując w ten sposób właściwości wymagane do bycia częścią superłańcucha, jednocześnie traktując priorytetowo ochronę użytkowników dokonujących transakcji w superłańcuchu. Zasadniczo Prawo Łańcuchów jest umową społeczną (a nie umową prawną), dlatego kluczowa jest aktywna dyskusja społeczna. „Prawo łańcuchów umożliwi Superchain zagwarantowanie następujących właściwości:

  • Zadbaj o to, aby przestrzeń bloku pozostała jednorodna, neutralna i otwarta: przestrzeganie praw sieci oznacza zobowiązanie do ochrony użytkowników sieci, deweloperów i innych interesariuszy. Jako część superchaina, łańcuchy dowolnej wielkości mogą być wspierane przez zarządzanie Optimstic, w sposób wiarygodny wykazując jednorodność, neutralność i otwartość ich przestrzeni blokowej.

  • Korzystaj z ciągłych ulepszeń: wspólne aktualizacje oznaczają, że Hyperlink zawsze ma dostęp do najlepszej technologii, bez konieczności martwienia się o jej samodzielne utrzymanie.

  • Zapewnienie lepszej, bardziej dostępnej infrastruktury: ponieważ wszystkie sieci w hiperłańcuchu niezawodnie przestrzegają standardów, mogą współpracować, aby zapewnić dostępność i przystępność cenową kluczowych usług, takich jak indeksowanie i sortowanie.

(5) Czy OP Stack może zwrócić OP?

Jaki jest pożytek z tokenów OP Jeśli zastosują metodę łańcucha bazowego i oddadzą część dochodu Kolektywowi Optymizmu, wówczas źródło dochodu „skarbca” będzie opierać się na własnej „wartości”, polegającej na tworzeniu większej ilości narracje i ostatecznie sprzężenie zwrotne z ceną waluty sprawia, że ​​logika wydajności OP na rynku wtórnym jest podobna do ATOM, ale ta sytuacja może być obecnie najbardziej idealną sytuacją. Optimism Collective ostatecznie skorzysta z informacji zwrotnych od większej liczby sieci, biorąc za przykład Basechain. To uczucie przypomina nam UNI, oba mają potężne programy, ale sam token nie ma żadnej wartości użytkowej poza głosowaniem i zarządzaniem. W przeciwieństwie do problemu scentralizowanego zamawiania, przed którym stoi obecnie L2, nawet jeśli tokeny L2 są używane tylko do jakiejś formy wyboru lidera (a nie do głosowania konsensusowego), wartość mocy porządkowej nadal należy do tokenów Rullopa.

W tym samym czasie zespół OP opublikował 25 lipca propozycję Prawa Łańcucha. Wszystkie sieci korzystające z OP Stack inicjują wspólne modele zarządzania i sekwencery, mając nadzieję na ujednolicenie modelu „informacji zwrotnej o zysku” i zapewnienie większych przychodów całemu systemowi OP (ponieważ powyżej Jak opisano w artykule Prawo stosu OP), jest to odpowiednik wspólnego modelu bezpieczeństwa Kosmosu.

(6) Różnica między stosem OP i stosem ZK

Stos OP: pojedynczy wybór wielu łańcuchów

Z powyższego łatwo wynika, że ​​OP Stack przyjmuje model wielołańcuchowy podobny do Cosmos, ale opcja jest tylko jedna, ponieważ celem OP Stack jest to, że każdy łańcuch musi weryfikować transakcje innych łańcuchów, w przeciwnym razie będzie musiał poczekać kilka sekund na L1. Wyniki przychodzą później, więc pojedynczy wspólny zamawiający, scentralizowana dystrybucja MEV oraz ochrona przed kwestiami prawnymi i zarządzaniem to jedyne rzeczy, które umożliwiają płynną współpracę pakietu Optimistic pomiędzy różnymi łańcuchami. Optymistyczny rollup to jedyny sposób na osiągnięcie płynnej interoperacyjności pomiędzy różnymi łańcuchami.

Stos ZK: wiele łańcuchów i wiele selekcji

W przeciwieństwie do OP Stack, ZK Stack może również łączyć wiele wątków, ale ma wiele opcji, może wybrać własny sekwencer, wykonywać MEV na swój własny sposób i jest chroniony przez matematykę i kod (uwaga: OP Stack jest chroniony przez walutę fiducjarną i ochronę zarządzania ). Dzieje się tak dlatego, że jeśli ZK korzysta z wyznaczonych wspólnych wątków lub bardzo małego zestawu wątków, to mogą sobie ufać w oparciu o samą matematykę, czyniąc dowody z wiedzą zerową bezwartościowymi.

2. Element ZK stosu OP

OP Stack to całkowicie otwarta architektura, która umożliwia posiadanie zkvm, zkmips, zkwasm i zkevm w ekosystemie, ale w porównaniu z „ortodoksyjnym ZK”, OP Stack ma również kilka innych elementów ZK. Nie możemy powstrzymać się od myśli, że w najbliższej przyszłości może istnieć wspaniałe połączenie między pakietem zbiorczym OP a pakietem zbiorczym ZK.

(1) Wdrożyć dowód wiedzy zerowej (ZKP) dla PO

Zgodnie z najnowszym stanem rozwoju zespół Mina planuje użyć własnego systemu plonk + zaangażowania kzg + algorytmu składania nova do wdrożenia zkmips vm na stosie OP. Chociaż jest to dopiero niedawna propozycja i nadal zawiera wiele niedojrzałych aspektów, zdecydowanie warto ją zbadać. Misją zespołu projektowego jest osiągnięcie bezpiecznej komunikacji międzyłańcuchowej o niskim opóźnieniu między łańcuchami L2, L1 i OP poprzez dowody o zerowym indeksie. Jest to dowód wiedzy zerowej (ZKP) z dobrze obsługiwaną architekturą zestawu instrukcji (ISA), który potwierdza zachowanie programów odpornych na błędy Optimism, kładąc podwaliny pod możliwość sprawdzenia dowolnego systemu blockchain opartego na stosie OP.

Realizacja tego zadania wiąże się z wdrożeniem systemu dowodu wiedzy zerowej (ZKP), który może udowodnić programy zabezpieczające przed błędami OP przy użyciu architektury zestawu instrukcji (ISA) wspieranej przez kompilator golang, takiej jak MIPS, RISC-V czy WASM. Dodatkowo system dowodowy musi wykazać przejście stanu pomiędzy dwoma blokami standardowej konfiguracji łańcucha OP Stack, udowadniając tym samym, że jest to wykonalne w praktyce. Oprócz certyfikowania standardowych śladów wykonania ISA, obsługa procesów zabezpieczania przed błędami wprowadza inne wymagania.

W szczególności program Fault Proof wprowadza koncepcję wstępnie odwzorowanego Oracle, który wykorzystuje specjalne wywołanie systemowe w celu załadowania danych zewnętrznych do programu. Każda odporna na błędy maszyna wirtualna jest odpowiedzialna za wdrożenie mechanizmu, dzięki któremu skrót niektórych danych jest przechowywany w określonym miejscu w pamięci i wykonywany przez wywołanie systemowe, a następnie obraz wstępny tego skrótu jest ładowany do pamięci w celu użycia programu. Wstępnie odwzorowane Oracle są również używane do początkowego wprowadzania danych do programu ładującego.

(2) Próba zdecentralizowanego sortowania

21 lipca 2023 r. firma Espresso Systems oficjalnie ogłosiła na Twitterze, że propozycja ustanowienia zdecentralizowanej weryfikacji sortowania na potrzeby wyborów lidera OP Stack została zaakceptowana i stała się wkładem w OP Stack i Superchain. Jeden z głównych protokołów projektu, HotShot, to szybki protokół konsensusu, który można wykorzystać do ponownego zaciągnięcia kredytu hipotecznego, umożliwiając walidatorom Ethereum uczestnictwo w protokole, mając na celu osiągnięcie tej samej skali, co zestaw walidatorów Ethereum. W ramach projektu opracowano także Espresso Sequencer, który integruje w pełni funkcjonalny zk-rollup, zwłaszcza gałąź Polygon zkEVM.

Co to jest wybór lidera?

Wybór lidera odnosi się do możliwości wykorzystania w systemie rozproszonym różnych przywódców, którzy są odpowiedzialni za stworzenie kolejnej zmiany stanu kanonicznego. W blockchainie wybór lidera umożliwia różnym producentom bloków generowanie bloków w różnym czasie, a algorytm wyboru lidera może być konkurencyjny lub niekonkurencyjny.

W przypadku proof-of-work algorytm wyboru lidera konkurencyjnego odnosi się do algorytmu, w którym wiele potencjalnych jednostek rywalizuje jednocześnie o zostanie liderem. Algorytm wyboru lidera niekonkurencyjnego oznacza, że ​​w danym momencie znany jest tylko jeden lider. W przypadku Ether Gasper algorytm wyboru lidera niekonkurencyjnego oznacza, że ​​w danym momencie jest tylko jeden znany lider. znanej jednostce i nie ma w tym momencie innej możliwości, aby inna potencjalna jednostka została liderem.

W przypadku oddzielenia sieci proponującej od sieci budowniczej (tj. sieć budująca bloki odpowiada jedynie za wybór kolejności transakcji, a sieć proponująca odpowiada jedynie za podpisywanie bloków). Przekształci pojedynczy podmiot odpowiedzialny w danym momencie za generowanie bloku w wiele możliwych podmiotów i pozwoli im konkurować o najbardziej dochodowy w danym momencie potencjał bloków w sieci builderów.

Trudno nam zrozumieć różne wtórne skutki mechanizmu wyboru lidera pomiędzy różnymi łańcuchami stosów operacji. Obecnie najpopularniejszym mechanizmem jest wybór lidera, ponieważ pozwala na bardziej zdecentralizowane porządkowanie. Należy pamiętać, że nie gwarantuje to również, że sortownik jest całkowicie zdecentralizowany, dlatego należy zachować ostrożność przy rozważaniu kwestii zdecentralizowanego sortownika.

3. Czy Rollup jest naprawdę bezpieczny?

(1) Zasada działania sieci Ethereum

Zasadą sieci Ethereum jest to, że każdy węzeł przechowuje i realizuje każdą transakcję przesłaną mu przez użytkowników. Ta metoda bezpieczeństwa na wysokim poziomie powoduje również, że cała sieć jest bardzo kosztowna, dlatego konieczne jest zwiększenie wydajności całej sieci i przyjęcie nowej metody. Rozwiązanie typu rollup. Mówiąc najprościej, Rollup = zbiór kontraktów w L1 + własny węzeł sieci w L2, czyli inteligentne kontrakty on-chain + agregator off-chain, który opiera się na Ethereum w zakresie rozliczeń, konsensusu i dostępności danych, a jest odpowiedzialny jedynie za Rollup własne wykonanie.

  • Inteligentny kontrakt w łańcuchu pokazuje, że jego model zaufania jest inteligentnym kontraktem na Ethereum, pożyczającym bezpieczeństwo Ethereum.

  • Agregator poza łańcuchem oznacza, że ​​będzie wykonywał i agregował transakcje poza łańcuchem, kompresował duże partie transakcji i ostatecznie umieszczał je w sieci głównej Ethereum, osiągając cel polegający na szybszym i niższym koszcie.

Węzły sieci L2 posiadają wiele komponentów, spośród których najważniejszy jest komponent sekwencera. Odpowiada za przyjmowanie żądań transakcji na L2, ustalanie kolejności ich wykonania oraz grupowanie sekwencji transakcji w celu dostarczenia ich do kontraktu projektu Rollup na L1. Należy zauważyć, że wszystkie osoby zamawiające pakiety L2 w Ethereum są obecnie scentralizowane, jak pokazano na poniższym rysunku.

(2) Problem ze scentralizowanym sortownikiem

Pełny węzeł L2 może uzyskać sekwencję transakcji na dwa sposoby: bezpośrednio z sekwencera lub poprzez odczyt pakietu transakcji (Batch) wysłanego do L1 przez sekwencer, ale tego drugiego nie można modyfikować. Ponieważ wykonanie transakcji zmienia stan księgi blockchain, aby zapewnić spójność, oprócz uzyskania sekwencji transakcji, pełny węzeł L2 musi także zsynchronizować stan księgi z sekwencerem. Dlatego zadaniem sekwencera jest nie tylko wysłanie pakietu transakcji do kontraktu Rollup L1, ale także przesłanie wyniku aktualizacji stanu Stateroot/Statediff po wykonaniu transakcji do L1. Ogólnie rzecz biorąc, zadaniem sekwencera jest przetwarzanie transakcji i dodawanie kolejności transakcji do bloków w blockchainie. Odpowiada on za grupowanie transakcji i publikowanie transakcji do inteligentnego kontraktu L1.

Dla pełnego węzła L2, o ile uzyskana zostanie sekwencja transakcji i początkowy Stateroot Rollup na L1, można odtworzyć księgę łańcucha bloków L2 i obliczyć najnowszy Stateroot. I odwrotnie, jeśli Stateroot obliczony przez pełny węzeł L2 jest niezgodny ze Stateroot opublikowanym przez sortownik do L1, oznacza to, że sorter dopuścił się oszustwa. Dlatego L1 jest bardziej zdecentralizowana, pozbawiona zaufania i bezpieczniejsza niż własna sieć L2.

（3）Stos OP

Pytanie brzmi więc, czy L2 jest w stanie sfałszować niektóre nieistniejące lub błędne transakcje, takie jak przeniesienie zasobów tokenów z L2 na adres modułu uruchamiającego sekwencera, a następnie przesłać te zasoby tokenów do L1 w celu kradzieży zasobów użytkownika? Odpowiedź brzmi: jeśli się chce, jest to całkowicie możliwe. Dlatego w obliczu możliwego ryzyka oszustw w sortowniku, różne rodzaje rollupów przyjmują różne metody reakcji.

Weźmy jako przykład Optimistic Rollup, który pozwala pełnym węzłom L2 dostarczyć dowody oszustwa, udowadniając, że dane opublikowane przez sekwencer w L1 są błędne. Ale w przypadku Optymizmu bez zabezpieczenia przed oszustwami, jeśli ktoś naprawdę chce ukraść zasoby użytkownika L2 za pośrednictwem sekwencera, wystarczy, że pozwoli sekwencerowi sfałszować zlecenia transakcji i przenieść aktywa innych osób w L2 na swój własny adres, a następnie w końcu przenieść skradzione tokeny do L1 w ramach umowy o most zbiorczy.

Aby rozwiązać ten możliwy problem, obecnym rozwiązaniem jest poleganie na członkach społeczności i mediach społecznościowych w celu osiągnięcia tak zwanego „konsensusu” oraz poleganie na PO jako oficjalnym potwierdzeniu zdolności kredytowej. Dlatego, podsumowując, bezpieczeństwo OP Rollup zależy przynajmniej od posiadania uczciwego węzła L2, który może wystawiać dowody oszustwa, aby upewnić się, że stos OP jest wielołańcuchowy i wybierany pojedynczo, jak pokazano powyżej „Różnica między stosem OP i ZK Stack” – część treści.

（4）Stos ZK

Przyjrzyjmy się ZK Stack. W sieci ZK Rollup znajduje się węzeł Prover, który publikuje pakiety transakcji specjalnie dla sekwencera i generuje certyfikaty ważności. Te dowody ważności mają dedykowane umowy weryfikacyjne na L1. Gdy pakiet transakcji i odpowiadający mu dowód Stateroot/Statediff zostaną zweryfikowane przez umowę walidatora, transakcja zostanie zakończona. Różnica w stosunku do OP Stack polega na tym, że oprócz polegania na pełnych węzłach L2, ZK Rollup wykorzystuje również dowód ważności, aby rozwiązać problem oszustw związanych z sekwencerem. Oficjalny most ZK Rollup umożliwia również jedynie realizację transakcji wypłat zweryfikowanych certyfikatami ważności, co jest oczywiście znacznie bardziej niezawodne niż Optymizm, czyli ZK Stack jest wielołańcuchowy i wielokrotny, jak pokazano w „Różnica między OP Stack i ZK Stack” powyżej, zgodnie z treścią.

Teoretycznie bezpieczeństwo ZK Rollup gwarantuje kontrakt weryfikatora na L1, lub ostatecznego potwierdzenia transakcji dokonuje węzeł L1. W porównaniu z bezpieczeństwem OP Rollup, które przynajmniej opiera się na uczciwym węźle L2, który jest w stanie wystawiać dowody oszustwa, oba dziedziczą bezpieczeństwo L1 (ETH), ale może nie jest to prawdą w najściślejszym sensie, ale na razie tak jest. rozwiązanie i w porównaniu do innych sieci publicznych, Ethereum przeżyło tyle lat rozwoju, a jego bezpieczeństwo jest niewątpliwie najbardziej godne zaufania. W porównaniu z innymi sieciami publicznymi, Ethereum jest niewątpliwie najbardziej godnym zaufania i bezpiecznym łańcuchem.

Podobnie jak trójkąt blockchain, w ogólnym doświadczeniu użytkownika „produktu” wydaje się, że istnieje trójkąt bezpieczeństwa, prostoty i wydajności, a ZK Stack wierzy bardziej niż OP Stack, że poleganie na matematyce i kodzie może poprawić ogólne bezpieczeństwo, a tym samym znacznie zwiększając ogólną złożoność. Istnieją więc także pewne stereotypy dotyczące ZK:

  • Problem opóźnień: ZK Rollup musi również rozwiązać problem opóźnień węzłów L2 publikujących dane w L1. Podobnie jak pudełka muszą być przygotowane do ekspresowej wysyłki, tak samo za każdym razem, gdy sekwencer lub sprawdzający wysyła dane do L1, obowiązuje stały koszt. Aby obniżyć koszty, sortownik i sprawdzający będą starali się zmniejszyć liczbę częstych wydań danych na L1, ale poczekają, aż w tym samym czasie pojawi się duża ilość danych, a następnie spakują je razem w celu zwolnienia.

  • Problem z szybkością: ZK Rollup stoi przed wyzwaniem polegającym na powolnym generowaniu dowodów ważności. Chociaż sekwencer może wykonać tysiące transakcji w ciągu 1 sekundy, wygenerowanie dowodów ważności tych transakcji może zająć wiele godzin. Aby rozwiązać ten problem, główna sieć ZK Rollup przyjmuje innowacyjną metodę: dekompozycję zadania generowania dowodu na wiele małych zadań, które są przetwarzane równolegle przez różne węzły sprawdzające, co znacznie poprawia szybkość generowania dowodu.

  • Kwestia kosztów: Aby obniżyć całkowity koszt, wiele rozwiązań ZK Rollup przyjmuje strategię „agregowania wielu wydruków próbnych i wysyłania ich jednocześnie do L1”. Oznacza to, że dowód nie wyśle ​​dowodu do L1 natychmiast po jego wygenerowaniu, ale poczeka na wygenerowanie wielu dowodów i zsumuje je w celu przesłania do kontraktu weryfikatora na L1. Dzięki tej agregacji dowód może zawierać i weryfikować etapy obliczeniowe wygenerowane przez wiele dowodów, co jeszcze bardziej zmniejsza ogólne koszty danych.

  • Problem z wolumenem transakcji: Jeśli nie zostanie zainicjowanych wystarczająca liczba transakcji, sekwencer może opóźnić publikację danych do L1. Na przykład w okresach małej aktywności na rynku niektóre sieci typu Rollup mogą wysyłać partię transakcji do L1 tylko co pół godziny. Jednak problem ten można skutecznie rozwiązać w niektórych innych schematach zbiorczych, takich jak Starknet, co zmniejsza koszty transmisji danych poprzez zmniejszenie częstotliwości wydań Statediff.

Jeśli chodzi o pytanie, które rozwiązanie w zakresie zdecentralizowanego sortowania jest bardziej odpowiednie, modułowość może być najlepszym rozwiązaniem, ponieważ modułowość oznacza większą możliwość dostosowania. Obecnie dostępnych jest pięć głównych zdecentralizowanych narzędzi:

  • Pojedynczy sortownik i POA

  • Na podstawie zestawienia

  • Sekwenser DVT x

  • Udostępniony sortownik

  • Załaduj nowy zestaw sortownika

Wierzymy, że nie tylko w przyszłości wiele z powyższych problemów będzie można rozwiązać dzięki technologii. Na przykład, aby skrócić czas generowania dowodów ważności, Optimism obiecuje wypuścić w najbliższej przyszłości system odporny na oszustwa, a plan Ethereum Danksharding również znacznie obniży koszt danych przy rollupie, a problem zdecentralizowanego sortowania również zostanie przezwyciężony Wspólnie zapewnią skuteczne rozwiązania powyższych problemów.

4. Jak rozwinie się narracja?

Hyperchain i superrozszerzenie zawsze były kierunkami ekspansji, na które wszyscy zwracają uwagę. Chociaż projekty te są wciąż na wczesnym etapie rozwoju, wszystkie wnoszą mocniejszą narrację do Ethereum. Teraz widzimy, że OP Stack zyskał większą popularność, a wiele gwiazd publicznych sieci dołączyło do OP Stack, takich jak Coinbase, opBNB, Zora, Worldcoin i wiele innych sieci publicznych, które dobrze poparły markę OP Stack. Niedawno wieczorem 26 czerwca firma zkSync ogłosiła uruchomienie ZK Stack, modułowej platformy open source do tworzenia niestandardowych pakietów zbiorczych ZK. Przez wielu jest ona również uważana za zabójczą aplikację używaną przez zespół zkSync do radzenia sobie z numerem jeden Stos OP. Z jednej strony jest OP Stack, który ma przewagę pierwszego gracza, a z drugiej strony ZK Stack, który ma matematyczne zalety. Krótko mówiąc, wartość L2 można akumulować w tokenach rollup. Bitwa o ekspansję L2 właśnie się odbyła się zaczęło. Co sądzisz o tej wojnie bez prochu?