Czas czytania: 9 minuty
Polygon utrzymuje swoją koronę, wprowadzając ZKrollup.
Problem z siecią główną Ethereum
Ethereum jest podstawą ekosystemu web3. Wciąż zaskakuje najbłyskotliwsze umysły na świecie swoim potencjałem. Potencjał różnorodnych zastosowań przyprawiłby nawet Einsteina o zawrót głowy.
Ale tak, to nie bajka. Każda niesamowita rzecz ma ograniczenie lub ograniczenie. Stałym ograniczeniem, przed którym stoi Ethereum, są „opłaty za gaz”, czyli innymi słowy skalowalność, Ethereum Classic ma limit wykonywania 15 transakcji na sekundę. Jednak ETH 2.0 będzie znacznie szybszy niż ten, ale wciąż mamy przed sobą długą drogę.
Rozwiązania wypróbowane
Po latach badań, długotrwałych badań i poświęcenia społeczności web3 udało się opracować kilka rozwiązań, które pomagają lepiej skalować
- Skalowanie warstwy 1: – Jest to metodologia, za pomocą której staramy się ulepszyć blockchain, wprowadzając pewne zmiany w architekturze. Na przykład ETH 2.0 jest rozwiązaniem skalującym warstwy 1, ponieważ próbuje ustanowić PoS dla PoW w ETH Classic. Ten typ rozwiązania jest kosztowny i czasochłonny.
- Roll Ups: - Jest to rozwiązanie warstwy 2, które jest najbardziej obiecującym kandydatem. Użytkownicy otrzymują bezpieczeństwo wspierane przez blockchain Ethereum o wysokiej przepustowości.
- Łańcuchy boczne: - Są kompatybilne z EVM i mogą skalować aplikacje ogólnego przeznaczenia, ale mają wady. Ponieważ Ethereum nie zapewnia bezpieczeństwa, społeczność Web3 musi być stale świadoma. Jest to objęte skalowaniem warstwy 2.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Ujęcie Polygonu
Zaczynając jako projekt skalowania Ethereum, Polygon, wcześniej znany jako Matic Network, pojawił się jako świecąca gwiazda w przestrzeni web3. Potwierdzenie transakcji w sieci wielokątnej wymaga centów, podczas gdy ta sama transakcja wymagałaby dolarów w sieci Ethereum Mainnet. Wszystko to było możliwe dzięki łańcuchowi bocznemu zbudowanemu na szczycie sieci głównej Ethereum.
Później Matic Network zbadał więcej różnych sposobów skalowania łańcucha bloków Ethereum i został przemianowany na „Polygon”, aby zapewnić różne rozwiązania w celu lepszego skalowania łańcucha bloków Ethereum.
W momencie pisania tego bloga jest kilka projektów: -
- Wielokąt POS
- Nadsieci wieloboków
- Wielokąt zero
- Wielobok Miden
- Wielokąt zkEVM
Na tym blogu przyjrzymy się nowej wersji Polygon zkEVM, która jest jednym z gorących projektów skalowania Ethereum.
Wielokąt zkEVM
Polygon zkEVM to produkt wielokąta do skalowania Ethereum w celu zmniejszenia opłat za gaz i zwiększenia przepustowości. „ZK” oznacza „zero wiedzy”, rodzaj Roll up. Zanim przejdziemy dalej, potrzebujemy zrozumienia RollUpów.
Co to są roll-upy
Wyobraź sobie to w ten sposób, załóżmy, że istnieje usługa pocztowa z miasta A do miasta B, ale jest tylko 1 pojazd, który może zabrać tylko 100 kopert raz dziennie. Uważasz to za ograniczające i próbujesz znaleźć sposób. Co możesz zrobić, to wziąć 10 listów i napisać ich streszczenie w jednym liście i włożyć do koperty do wysłania. w ten sposób możemy wysłać 99 + (10) listów. Tym właśnie są roll-upy.
Tak zasadniczo działają roll-upy w sieci głównej Ethereum. Bierzemy porcję transakcji, zbieramy je w „roll up”, podsumowujemy, a następnie przesyłamy do sieci głównej. Zwiększa to przepustowość. Opłata transakcyjna jest dzielona między różne strony powiązane z transakcjami w zwijanej paczce. W ten sposób znacznie obniżamy opłaty za gaz.
Mechanizmy zwijania
Każdy pakiet zbiorczy wdraża pewne inteligentne kontrakty w warstwie 1, które są powiązane z:
- Przetwarzanie depozytów
- Wypłaty
- Weryfikacja dowodów
Głównym przedmiotem zainteresowania jest tutaj mechanizm weryfikacji. Jak sprawdzić, czy roll-up przesłany do warstwy 1 nie jest fałszywy? Aby to sprawdzić, mamy dwa mechanizmy sprawdzania poprawności: -
- wiedza zerowa: - Ten mechanizm wykorzystuje dowody ważności i jest wspierany przez kryptografię. Zwinięta partia transakcji zawiera dowód kryptograficzny znany jako „zk-snark”. Dowód jest szybko weryfikowany przez inteligentne kontrakty warstwy 1 po przesłaniu partii transakcji, a nieważne są odrzucane.
- Optymizm:- Ten mechanizm działa na odporność na oszustwa. Oznacza to, że musimy udowodnić, że partia przesłana do warstwy 1 nie jest fałszywa. Zaangażowane są 2 strony, jedna, która przesyła partię do protokołu warstwy 1, mówiąc, że partia jest poprawna i stawia na szalę trochę pieniędzy, jeśli można udowodnić, że jest błędna, a druga strona próbuje przesłać dowód na oszustwo, stwierdzając, że ta partia jest złośliwa iz tym twierdzeniem stawia pewne stawki. Jeśli ktoś podniesie dowód na oszustwo, partia jest sprawdzana na protokole warstwy 1, a strona, która udowodniła, że się myliła, zostaje ukarana.
Architektura zkEVM wielokąta: -
Do tej pory musisz dobrze rozumieć, jak działają roll-upy, w szczególności zk-roll-up. Główne komponenty, które znajdujemy w zkEVM wielokąta to: -
- Umowa konsensusu (PolygonZkEVM.sol)
- zkNode
- zkProver
Umowa konsensusu
Ten kontrakt jest wdrażany na L1 i odgrywa kluczową rolę, wykorzystując dowód ważności, aby zapewnić solidność przejść między stanami. Aby to zrobić, ma z góry określone zasady, których przestrzega się, aby umożliwić przejścia między stanami.
Aby zweryfikować pomyślne zakończenie zmiany stanu, ten kontrakt wykorzystuje obwody zk-SNARK. Ten system opiera się na dwóch procesach, transakcjach wsadowych i sprawdzaniu poprawności transakcji, jak wyjaśniono wcześniej.
Do przeprowadzania grupowania transakcji i sprawdzania poprawności transakcji zkEVM zatrudnia dwóch uczestników: -
- Sekwencery: - proponują pakiety transakcji do sieci.
- Agregatory: - Sprawdź ważność partii transakcji i podaj ważny dowód.
Więcej o sekwencerach i agregatorach później, skupmy się na tym kontrakcie. Umowa zawiera dwa połączenia-
- aby otrzymywać partie od sekwencerów
- do agregatorów z prośbą o walidację partii
Cały ten proces można podsumować na poniższym diagramie (tutaj PoE to nasza umowa konsensusu):-
zkNode
Zostaliśmy zapoznani z Sequencerem i Agregatorem w Consensus Contract, te dwa są kluczowymi elementami architektury zkEVM, a zkNode to oprogramowanie, które je umożliwia. zkNode to klient wymagany do implementacji synchronizacji i zarządzania sekwencerami i agregatorami. Tak więc oprogramowanie zkNode ułatwia 4 aspekty: -
- Sekwencery: - Sekwencer to ten, który odbiera transakcje L2 od użytkowników i przetwarza je wstępnie do nowej partii L2, która jest następnie proponowana do umowy koncenzacyjnej. Sekwencer otrzymuje opłatę wniesioną przez użytkowników za ich transakcje na L2. Aby opublikować tę partię w L1, Sekwencer musi uiścić opłaty L1, a także zapłacić niektóre tokeny MATIC, które działają jako zachęta dla agregatorów do zatwierdzenia tej partii. Tak więc sekwencer jest opłacalny, jeśli: - opłaty txn (otrzymane przez użytkowników w L2 za ich transakcję) > wywołanie L1 (opłata za gaz za publikację na L1) + opłata MATIC (aby zachęcić agregatorów do walidacji)
- Agregatory: - Agregatory są niezbędne do weryfikacji integralności partii. Agregatory otrzymują wszystkie informacje transakcyjne, a następnie wysyłają je do „zkProver” (więcej o tym później), który z kolei zapewnia „zk-Proof”, który jest wynikiem złożonych obliczeń wielomianowych. „Zk-Proof” jest następnie wysyłany do inteligentnego kontraktu w celu sprawdzenia, czy dowód jest poprawny. Ta partia jest następnie oznaczana jako poprawna i gotowa do dodania. Agregator jest opłacalny, jeśli: - opłata MATIC (przez sekwencer) > połączenie L1 (opłata za gaz) + koszt serwera (do zbudowania dowodu)
- Synchronizator: - Głównym aspektem synchronizatora jest odczytywanie zdarzeń z łańcucha bloków Ethereum i uwzględnianie nowych partii w celu utrzymania synchronizacji stanu. Informacje z tych zdarzeń są przechowywane w bazie danych. Synchronizer pobiera dane z inteligentnych kontraktów. Wszystkie te dane są następnie udostępniane stronom trzecim za pośrednictwem usługi JSON-RPC.
- RPC: - JSON-RPC to kluczowy interfejs kompatybilny z Ethereum. Kiedy potrzebujemy aplikacji do połączenia z blockchainem Ethereum, łączy się ona z węzłem Ethereum. W ten sposób pojawia się RPC. Umożliwia zkEVM integrację Metamask i Etherscan oraz interakcję z transakcjami Pool i State.
zkProver
Ta część architektury zkEVM jest najbardziej zorientowana technologicznie i złożona. Zaskoczy cię, gdy dowiesz się, że należy to przeprowadzić. Programiści musieli opracować dwa nowe języki programowania, aby zaimplementować potrzebne elementy: -
- Zero — gromadzenie wiedzy: — W prostych słowach ten język odwzorowuje instrukcje z głównej maszyny stanowej zkProver na inne maszyny stanowe. Aby dowiedzieć się więcej o tym języku, sprawdź to.
- Wielomianowy język tożsamości (PIL): - Przeprowadzono wiele badań w celu rozwiązania trylematu prywatności, bezpieczeństwa i skalowalności blockchain. Do dziś było kilka prób i różnych prób teoretycznych, ale najbardziej akceptowaną do tej pory jest „Schemat Zaangażowania Wielomianowego”. Dlatego wygodnie jest wykonywać obliczenia tylko w języku wielomianowym. Zatem kody PIL stanowią podstawę kodu weryfikującego zkProver. Aby dowiedzieć się więcej na ten temat, obserwuj tutaj.
zkProver jest wspierany przez wiele lat badań w różnych działach, co uzasadnia jego złożoność. Istnieją głównie niektóre główne składniki zkProver: -
- Executor: - Ta część dotyczy wykonania zkEVM z Main State Machine. W tym miejscu kody bajtowe EVM są interpretowane przy użyciu omówionego wcześniej nowego „języka asemblera o zerowej wiedzy” (zkASM). W tej części zajmujemy się konfiguracją ograniczeń wielomianowych, które musi spełniać każda poprawna partia transakcji, i wprowadzamy dane wejściowe, takie jak transakcje, stary/nowy stan, identyfikator łańcucha itp. Oto PIL (język tożsamości wielomianowej) do kodowania ograniczenia wielomianowe. Wynikiem tego kroku są „wielomiany zaangażowania”, które są wynikiem wykonania wszystkich instrukcji na sprzęcie PIL.
- Stark Recursion Component: - Ten krok obejmuje interakcję trzech głównych danych wejściowych: Zatwierdzonych Wielomianów, Stałych Wielomianów i Listy instrukcji. Te trzy dane wejściowe łączą się, aby wygenerować dowody zk-STARK. Te kilka dowodów zk-STARK jest zestawianych w pakiety po kilka dowodów zk-STARK i tworzy dowód zk-STARK każdego pakietu. Następnie dowody te są pakowane w pakiet i zestawiane w celu utworzenia jednego dowodu zk-STARK. W ten sposób setki dowodów zk-STARK są reprezentowane i udowadniane za pomocą tylko jednego dowodu zk-STARK.
- Biblioteka CIRCOM: - Ten krok obejmuje interakcję z danymi weryfikatora i pojedynczym dowodem zk-STARK utworzonym przez Stark Recursion Componenet w celu wygenerowania „świadka”. Ten krok jest niezbędny do następnego kroku konwersji dowodu zk-STARK na zk- Dowód SNARK.
- Rapid Snark: - To jest ostatni składnik zkProver. Jest to etap, na którym „świadek” otrzymuje dane wyjściowe Biblioteki CIRCOM wraz z danymi weryfikatora STARK w celu stworzenia dowodu zk-SNARK.
Dowody zk-STARK są używane ze względu na ich szybkość, ale są znacznie większe niż dowody zk-SNARK. Z tego powodu zkProver używa zk-SNARK utworzonego w ostatnim kroku z wykorzystaniem danych z dowodów zk-STARK. Interakcję tych czterech składników można postrzegać jako:
Patrząc na aspekt bezpieczeństwa
Jeśli chodzi o bezpieczeństwo, projekt zkEVM znajduje się w średniowiecznej fazie, a zespół polygon był stale zaangażowany w wewnętrzne i zewnętrzne audyty. Informacje o wynikach audytów wewnętrznych są w większości tajne, ale Polygon skorzystał z pomocy dwóch audytorów zewnętrznych (Hexens i Spearbit). Prezentacja potrzebują audytów inteligentnych kontraktów nawet przez wielkich gigantów. Prawdą jest, że „hacki przychodzą nieoczekiwanie”. Rzeczywiście, nigdy nie możesz być tak pewny i bezpieczny. Większość gigantów w ekosystemie web3 rozumie to i mocno naciska, aby się zabezpieczyć.
Teraz bardziej niż kiedykolwiek musimy zabezpieczyć web3. Na tym etapie uzyskanie profesjonalnej recenzji kodu inteligentnych kontraktów ma kluczowe znaczenie, oszczędzając programistom niezliczone godziny pracy. Zapewnienie bezpieczeństwa umów jest ważniejsze niż kiedykolwiek. Razem możemy uczynić Web3 bezpieczniejszą przestrzenią. Odwiedź QuillAudyty aby poznać różne usługi i rozwiązania.
11 odwiedzajacy
- Dystrybucja treści i PR oparta na SEO. Uzyskaj wzmocnienie już dziś.
- Platoblockchain. Web3 Inteligencja Metaverse. Wzmocniona wiedza. Dostęp tutaj.
- Źródło: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- O nas
- o tym
- w dodatku
- Agregator
- Agregatory
- Wszystkie kategorie
- wśród
- i
- Zastosowanie
- aplikacje
- architektura
- aspekt
- aspekty
- Montaż
- powiązany
- Próby
- audytorzy
- kontrole
- z powrotem
- Kręgosłup
- poparła
- podstawa
- bo
- zanim
- jest
- Ulepsz Swój
- Duży
- Mieszanka
- blockchain
- Blog
- błyskotliwy
- Bringing
- budować
- wybudowany
- Zapakować
- Obliczenia
- wezwanie
- nieść
- łańcuch
- Identyfikator łańcucha
- Zmiany
- ZOBACZ
- Miasto
- roszczenie
- klasyczny
- sklasyfikowany
- klient
- kod
- Przegląd kodu
- zbierać
- jak
- zobowiązanie
- zobowiązany
- społeczność
- zgodny
- ukończenia
- kompleks
- kompleksowość
- składnik
- składniki
- obliczenia
- Troska
- Potwierdzać
- Skontaktuj się
- łączy
- Zgoda
- stały
- stale
- Ograniczenia
- ciągły
- bez przerwy
- umowa
- umowy
- Wygodny
- konwertować
- Stwórz
- stworzony
- Korona
- istotny
- kryptograficzny
- kryptografia
- dane
- Baza danych
- Data
- dzień
- sprawa
- Promocje
- poświęcenie
- Działy
- wdrażane
- wdraża się
- rozwijać
- deweloperzy
- różne
- omówione
- urozmaicony
- podzielony
- robi
- dolarów
- wady
- każdy
- Ekosystem
- Elementy
- wyłonił
- zatrudnia
- upoważniony
- upoważnia
- Umożliwia
- zapewnić
- istotnie
- zapewniają
- itp
- ETH.
- Et 2.0
- et klasyczny
- ethereum
- Ethereum blockchain
- Ethereum Klasyczny
- SIEĆ GŁÓWNA ETHEREUM
- skalowanie eteru
- eterscan
- Parzyste
- wydarzenia
- EVER
- Każdy
- EVM
- przykład
- egzekucja
- drogi
- wyjaśnione
- wyjaśnienie
- odkryj
- zbadane
- zewnętrzny
- ułatwia
- okładzina
- szybciej
- nakarmiony
- opłata
- Opłaty
- kilka
- finał
- Znajdź
- i terminów, a
- Skupiać
- obserwuj
- następnie
- następujący
- Nasz formularz
- dawniej
- Naprzód
- oszustwo
- dowód oszustwa
- nieuczciwy
- od
- GAS
- opłaty za gaz
- ogólny cel
- Generować
- otrzymać
- miejsce
- Go
- dobry
- Ciężko
- sprzęt komputerowy
- głowa
- pomoc
- tutaj
- Hexeni
- Wysoki
- HOT
- GODZINY
- W jaki sposób
- Jednak
- HTTPS
- Setki
- ID
- tożsamość
- wdrożenia
- in
- W innych
- Motywacja
- zawierać
- obejmuje
- Zwiększać
- Zwiększenia
- niewiarygodnie
- Informacja
- wkład
- instrukcje
- integrować
- integralność
- wzajemne oddziaływanie
- współdziała
- Interfejs
- wewnętrzny
- wprowadzono
- zaangażowany
- IT
- Trzymać
- Wiedzieć
- wiedza
- znany
- L1
- l2
- język
- Języki
- większe
- Nazwisko
- warstwa
- warstwa 1
- Warstwa 2
- skalowanie warstwy 2
- UCZYĆ SIĘ
- list
- Biblioteka
- LIMIT
- ograniczenie
- Lista
- długo
- Partia
- maszyna
- maszyny
- Główny
- mainnet
- utrzymuje
- poważny
- robić
- WYKONUJE
- Dokonywanie
- zarządzane
- wiele
- Mapy
- wyraźny
- Matic
- Matic Network
- znaczy
- mechanizm
- średniowieczny
- MetaMask
- Metodologia
- umysły
- moment
- pieniądze
- jeszcze
- większość
- ruch
- niezbędny
- Potrzebować
- sieć
- Nowości
- Następny
- węzeł
- ONE
- Inne
- część
- Uczestnicy
- szczególny
- strony
- strony
- przyjęcie
- Zapłacić
- wykonać
- wykonywania
- faza
- obraz
- plato
- Analiza danych Platona
- PlatoDane
- punkt
- Wielokąt
- Sieć wielokątna
- Wielokąt
- basen
- PoS
- możliwy
- Post
- potencjał
- PoW
- poprzednio
- prywatność
- wygląda tak
- procesów
- produkować
- Produkt
- profesjonalny
- rentowny
- Programowanie
- języki programowania
- projekt
- projektowanie
- obiecujący
- dowód
- dowody
- zaproponować
- zaproponowane
- protokół
- Udowodnij
- okazały
- zapewniać
- zapewnia
- publikować
- Naciskać
- Popychanie
- położyć
- Stawia
- szybko
- Quillhash
- podnosi
- Czytaj
- gotowy
- powód
- otrzymać
- Odebrane
- otrzymuje
- zmniejszyć
- zwolnić
- reprezentowane
- wymagany
- Badania naukowe
- ograniczenie
- dalsze
- Efekt
- przeglądu
- krzepkość
- Rola
- Rolka
- zakasać
- Rollupy
- Walcowane
- Rollupy
- reguły
- bezpieczniej
- taki sam
- oszczędność
- Skalowalność
- Skala
- skalowaniem
- Rozwiązanie skalujące
- druga
- bezpieczne
- bezpieczeństwo
- usługa
- Usługi
- zestaw
- kilka
- ściąganie
- łańcuch boczny
- Prosty
- pojedynczy
- mądry
- inteligentna umowa
- Inteligentne kontrakty
- sarkać
- So
- Tworzenie
- SOL
- rozwiązanie
- Rozwiązania
- ROZWIĄZANIA
- kilka
- Ktoś
- Typ przestrzeni
- prędkość
- STAGE
- stawka
- stojaki
- Gwiazda
- sztywny
- Stan
- Ewolucja krok po kroku
- Nadal
- przechowywany
- badania naukowe
- Zatwierdź
- składane
- udany
- taki
- PODSUMOWANIE
- zsumowane
- niespodzianka
- synchronizacja
- system
- Brać
- trwa
- biorąc
- zespół
- REGULAMIN
- Połączenia
- Informacje
- Państwo
- świat
- ich
- sami
- rzecz
- Trzeci
- osoby trzecie
- trzy
- Przez
- wydajność
- czas
- do
- już dziś
- razem
- Żetony
- Top
- transakcja
- transakcyjny
- transakcje
- przejście
- przejścia
- prawdziwy
- SKRĘCAĆ
- dla
- zrozumieć
- zrozumienie
- UPS
- Użytkownicy
- Wykorzystując
- UPRAWOMOCNIĆ
- uprawomocnienie
- pojazd
- Weryfikacja
- zweryfikowana
- zweryfikować
- istotny
- sposoby
- Web3
- Społeczność Web3
- Ekosystem Web3
- Przestrzeń Web3
- Co
- który
- KIM
- cały
- będzie
- Praca
- działa
- świat
- by
- napisać
- pisanie
- Źle
- lat
- You
- Twój
- zefirnet
- zk-rollup
- zkEVM