Čas branja: 9 min
Polygon ohranja svojo krono z vključitvijo ZKrollupa.
Težava z glavnim omrežjem Ethereum
Ethereum je hrbtenica ekosistema web3. Še naprej preseneča najbriljantnejše ume na svetu s potencialom, ki ga nosi. Zaradi potenciala raznolikih aplikacij bi se celo Einstein za trenutek popraskal po glavi.
Ampak ja, to ni pravljica. Vsaka izjemna stvar ima omejitev ali omejitev. Stalna omejitev, s katero se sooča Ethereum, so "provizije za plin" ali z drugimi besedami, razširljivost, Ethereum Classic ima omejitev izvajanja 15 transakcij na sekundo. Vendar bo ETH 2.0 veliko hitrejši od tega, vendar je pred nami še dolga pot.
Preizkušene rešitve
Po letih raziskav, dolgotrajnih študij in predanosti striženju je skupnosti web3 uspelo razkriti nekaj rešitev, ki pripomorejo k boljšemu obsegu
- Layer 1 Scaling: - To je metodologija, s katero poskušamo izboljšati blockchain z nekaj spremembami v arhitekturi. Na primer, ETH 2.0 je rešitev za skaliranje ravni 1, saj poskuša vzpostaviti PoS za PoW v ETH Classic. Ta vrsta rešitve je draga in dolgotrajna.
- Roll Ups:- To je rešitev plasti 2, ki je najbolj obetaven kandidat. Uporabniki dobijo varnost, podprto z verigo blokov Ethereum z visoko prepustnostjo.
- Stranske verige: - Te so združljive z EVM in lahko povečajo aplikacije za splošne namene, vendar imajo pomanjkljivosti. Ker Ethereum ne podpira svoje varnosti, se mora skupnost Web3 nenehno zavedati. To spada pod skaliranje plasti 2.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Poligonov posnetek
Polygon, ki se je začel kot projekt skaliranja ethereuma, prej znan kot Matic Network, je postal svetleča zvezda v prostoru web3. Za potrditev transakcije v poligonskem omrežju so potrebni centi, medtem ko bi ista transakcija v glavnem omrežju Ethereum zahtevala dolarje. Vse to je bilo mogoče zaradi stranske verige, zgrajene na vrhu glavnega omrežja Ethereum.
Pozneje je Matic Network raziskal več različnih načinov skaliranja verige blokov Ethereum in se je preimenoval v »Polygon«, da bi zagotovil različne rešitve za boljše skaliranje verige blokov Ethereum.
V času pisanja tega bloga obstaja več projektov: -
- Poligon PoS
- Večkotne supermreže
- Poligon nič
- Poligon Miden
- Poligon zkEVM
V tem blogu bomo raziskali Polygonovo novo izdajo zkEVM, ki je eden izmed vročih projektov za skaliranje Ethereuma.
Poligon zkEVM
Polygon zkEVM je izdelek po poligonih za skaliranje Ethereuma za zmanjšanje stroškov plina in povečanje prepustnosti. »ZK« pomeni »nič znanja«, vrsta Roll up. Preden gremo naprej, moramo razumeti RollUps.
Kaj so Roll-up
Predstavljajte si to takole, recimo, da obstaja poštna pisemska služba iz mesta A v mesto B, vendar obstaja samo 1 vozilo, ki lahko sprejme samo 100 ovojnic enkrat na dan. Zdi se vam, da vas omejuje in poskušate najti pot. Kar lahko storite, je, da vzamete 10 pisem in napišete njihov povzetek v enem samem pismu ter ga date v ovojnico za pošiljanje. tako da lahko objavimo 99 + (10) črk. To je v bistvu tisto, kar so zvitki.
Tako zbiranje v bistvu deluje v glavnem omrežju Ethereum. Vzamemo kos transakcij, jih zberemo v "roll up", jih povzamemo in nato potisnemo v glavno omrežje. To poveča prepustnost. Provizija za transakcijo je razdeljena med različne stranke, povezane s transakcijami v paketu, ki se združuje. Na ta način v dobri meri znižamo stroške plina.
Roll up mehanizmi
Vsako zbiranje uvede nekaj pametnih pogodb na ravni 1, ki so povezane z:-
- Obdelava depozitov
- Umiki
- Preverjanje dokazov
Glavna skrb pri tem je mehanizem preverjanja. Kako preverimo, da skupni paket, predložen sloju 1, ni goljufiv? Da bi to preverili, imamo dva mehanizma za preverjanje:
- ničelno znanje:- Ta mehanizem uporablja dokazila o veljavnosti in ga podpira kriptografija. Paket transakcij, ki se združijo, vključuje kriptografski dokaz, znan kot »zk-snark«. Dokazilo hitro preverijo pametne pogodbe ravni 1, ko je paket transakcij predložen, neveljavne pa so zavrnjene.
- Optimizem: - Ta mehanizem deluje proti goljufijam. To pomeni, da moramo dokazati, da serija, predložena v sloj 1, ni goljufiva. Vpleteni sta 2 stranki, ena, ki predloži serijo protokolu ravni 1, češ da je serija pravilna, in postavi nekaj denarja na kocko, če se lahko izkaže, da je napačna, druga stran pa poskuša predložiti odpor na goljufije in navesti, da je ta serija zlonamerna in s to trditvijo nekaj stavi. Če nekdo predloži dokaz goljufije, se paket preveri na protokolu ravni 1 in stranka, ki se je zmotila, je kaznovana.
Arhitektura poligonskega zkEVM:-
Do sedaj morate že dobro razumeti, kako delujejo združevanja, še posebej zk-roll-up. Glavne komponente, ki jih najdemo v poligonovem zkEVM, so: -
- Soglasna pogodba (PolygonZkEVM.sol)
- zkNode
- zkProver
Soglasna pogodba
Ta pogodba je razporejena na L1 in igra ključno vlogo z uporabo dokaza veljavnosti za zagotavljanje robustnosti prehodov stanj. Da bi to naredil, ima vnaprej določena pravila, ki se upoštevajo, da se omogočijo prehodi stanj.
Za preverjanje uspešnega zaključka prehoda stanja ta pogodba uporablja vezja zk-SNARK. Ta sistem se zanaša na dva procesa, transakcije, ki so paketne, in validacijo transakcij, kot je bilo razloženo prej.
Za izvajanje paketnih transakcij in validacijo transakcij zkEVM zaposluje dva udeleženca:-
- Sekvencerji:- predlagajo pakete transakcij omrežju.
- Zbiralniki: - Preverite veljavnost paketov transakcij in predložite veljavna dokazila.
Več o sekvencerjih in agregatorjih najprej kasneje, osredotočimo se na to pogodbo. Pogodba vključuje dva klica -
- za sprejem serij od sekvencerjev
- agregatorjem, ki zahtevajo validacijo serij
Celoten postopek je mogoče povzeti v naslednjem diagramu (tukaj je PoE naša soglasna pogodba):-
zkNode
V Consensus Contract smo se seznanili s Sequencerjem in Aggregatorjem, ta dva sta ključna dela arhitekture zkEVM, zkNode pa je programska oprema, ki jima to omogoča. zkNode je odjemalec, ki je potreben za izvajanje sinhronizacije in upravljanje sekvencerjev in agregatorjev. Torej programska oprema zkNode omogoča 4 vidike: -
- Sekvencerji: - Sekvencer je tisti, ki od uporabnikov prejme transakcije L2 in jih vnaprej obdela v novo serijo L2, ki se nato predlaga pogodbi Consensous. Sekvencer prejme nadomestilo, ki ga uporabniki predložijo za svoje transakcije na L2. Za objavo tega paketa v L1 mora Sekvencer plačati pristojbine L1 in tudi nekaj žetonov MATIC, ki delujejo kot spodbuda za zbiralnike, da potrdijo ta paket. Torej je sekvencer dobičkonosen, če: - provizije za txn (prejmejo jih uporabniki v L2 za svoje transakcije) > klic L1 (provizija za plin za objavo na L1) + provizija MATIC (za spodbujanje zbiralcev k potrditvi)
- Zbiralniki: - Zbiralniki so ključnega pomena za preverjanje celovitosti paketa. Zbiralniki prejmejo vse informacije o transakcijah in jih nato pošljejo »zkProverju« (več o tem pozneje), ki nato zagotovi »zk-Proof«, ki je rezultat zapletenih polinomskih izračunov. »ZK-Proof« se nato pošlje pametni pogodbi, da se preveri, ali je dokaz pravilen. Ta serija je nato označena kot pravilna in pripravljena za dodajanje. Zbiralnik je dobičkonosen, če:- provizija MATIC (po sekvencerju) > klic L1 (pristojbina za plin) + stroški strežnika (za izdelavo dokazila)
- Sinhronizator: Glavni vidik sinhronizatorja je branje dogodkov iz verige blokov Ethereum in vključitev novih paketov, da se stanje sinhronizira. Informacije o teh dogodkih so shranjene v bazi podatkov. Sinhronizator pridobi podatke iz pametnih pogodb. Vsi ti podatki se nato posredujejo tretjim osebam prek storitve JSON-RPC.
- RPC:- JSON-RPC je ključen vmesnik, ki je združljiv z Ethereumom. Ko potrebujemo programsko aplikacijo za povezavo z verigo blokov Ethereum, se ta poveže z vozliščem Ethereum. Tako pride na podobo RPC. ZkEVM omogoča integracijo Metamask in Etherscan ter interakcijo s transakcijami Pool in State.
zkProver
Ta del arhitekture zkEVM je najbolj tehnološko naravnan in kompleksen. Presenetilo vas bo vedeti, da to izvesti. Razvijalci so morali razviti dva nova programska jezika za implementacijo potrebnih elementov: -
- Zero — Knowledge Assembly:- Preprosto povedano, ta jezik preslika navodila iz glavnega stroja stanja zkProverja v druge avtomate stanja. Če želite izvedeti več o tem jeziku, preverite ta.
- Polynomial Identity Language (PIL): - Bilo je veliko raziskav za rešitev trileme zasebnosti, varnosti in razširljivosti v verigi blokov. Do danes je bilo več poskusov in različnih teoretskih poskusov, vendar je do danes najbolj sprejeta »Polynomial Commitment Scheme«. Zato je priročno izvajati izračune le v polinomskem jeziku. Tako kode PIL tvorijo osnovo kode preverjanja zkProverja. Če želite izvedeti več o tem, sledite tukaj.
zkProver je podprt z dolgoletnimi raziskavami na različnih oddelkih, zaradi česar je njegova kompleksnost upravičena. Večinoma obstaja nekaj glavnih komponent zkProverja: -
- Izvajalec:- Ta del se ukvarja z izvajanjem zkEVM iz glavnega stroja stanja. Tu se bajtne kode EVM interpretirajo z uporabo novega »zbiralnega jezika brez znanja« (zkASM), o katerem smo govorili prej. V tem delu se ukvarjamo z nastavitvijo polinomskih omejitev, ki jih mora izpolnjevati vsak veljaven paket transakcij in hranijo vhodne podatke, kot so transakcije, staro/novo stanje, ID verige itd. Tukaj je PIL (Polynomial Identity Language) za kodiranje polinomske omejitve. Rezultat tega koraka so »polinomi zaveze«, ki so rezultat izvajanja vseh navodil na vrhu strojne opreme PIL.
- Komponenta Starkove rekurzije: - Ta korak vključuje interakcijo treh glavnih vhodnih podatkov: posredovanih polinomov, konstantnih polinomov in seznama navodil. Ti trije vhodi se združijo, da ustvarijo dokaze zk-STARK. Teh več dokazov zk-STARK je zbranih v svežnjih nekaj dokazov zk-STARK in ustvarijo dokaz zk-STARK za vsak sveženj. Nato se ta dokazila združijo v en sam zk-STARK dokaz. Tako je na stotine zk-STARK dokazov predstavljenih in dokazanih s samo enim zk-STARK dokazom.
- Knjižnica CIRCOM:- Ta korak vključuje interakcijo s podatki Verifier in enim dokazom zk-STARK, ustvarjenim prek Stark Recursion Componenet za ustvarjanje "priče". Ta korak je potreben za naslednji korak za pretvorbo dokaza zk-STARK v zk- SNARK dokaz.
- Rapid Snark: - To je zadnja komponenta zkProverja. To je stopnja, v kateri se izhod knjižnice CIRCOM napaja skupaj s podatki preverjanja STARK, da se ustvari dokaz zk-SNARK.
Preizkusi zk-STARK se uporabljajo zaradi njihove hitrosti, vendar so veliko večji od dokazov zk-SNARK. Iz tega razloga zkProver uporablja zk-SNARK, ustvarjen v zadnjem koraku z uporabo podatkov iz dokazov zk-STARK. Medsebojno delovanje teh štirih komponent je mogoče videti kot:
Če pogledamo varnostni vidik
Varnostno gledano je projekt zkEVM v srednjeveški fazi, ekipa poligona pa je nenehno vključena v notranje in zunanje revizije. Podatki o rezultatih notranjih presoj so večinoma tajni, a Polygon si je pomagal z dvema zunanjima revizorjema (Hexens in Spearbit). Predstavitev potrebujejo revizije pametnih pogodb tudi pri velikih velikanih. Res je, da »haki pridejo nepričakovano«. Dejansko nikoli ne morete biti tako prepričani in varni. Večina velikanov v ekosistemu web3 to razume in si močno prizadeva, da bi se zaščitili.
Zdaj bolj kot kdaj koli prej moramo zavarovati web3. Na tej stopnji je pridobitev profesionalnega pregleda kode pametnih pogodb ključnega pomena, saj razvijalcem prihranijo nešteto delovnih ur. Poskrbeti, da so vaše pogodbe varne, je bolj pomembno kot kdaj koli prej. Skupaj lahko naredimo Web3 varnejši prostor. Obiščite QuillAudits za raziskovanje različnih storitev in rešitev.
11 Ogledov
- Distribucija vsebine in PR s pomočjo SEO. Okrepite se še danes.
- Platoblockchain. Web3 Metaverse Intelligence. Razširjeno znanje. Dostopite tukaj.
- vir: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- O meni
- o IT
- dodano
- Združevalec
- Združevalci
- vsi
- med
- in
- uporaba
- aplikacije
- Arhitektura
- vidik
- vidiki
- Skupščina
- povezan
- Poskusi
- revizorjev
- revizije
- nazaj
- Hrbtenica
- Backed
- Osnova
- ker
- pred
- počutje
- Boljše
- Big
- Blend
- blockchain
- Blog
- briljantno
- Predložitev
- izgradnjo
- zgrajena
- Sveženj
- Izračuni
- klic
- opravlja
- verige
- ID verige
- Spremembe
- preveriti
- mesto
- trdijo
- klasična
- razvrščeni
- stranke
- Koda
- Pregled kode
- zbiranje
- kako
- Zaveza
- storjeno
- skupnost
- združljiv
- dokončanje
- kompleksna
- kompleksnost
- komponenta
- deli
- izračuni
- Skrb
- Potrdi
- Connect
- povezuje
- Soglasje
- stalna
- nenehno
- omejitve
- se nadaljuje
- stalno
- Naročilo
- pogodbe
- Priročen
- pretvorbo
- ustvarjajo
- ustvaril
- Crown
- ključnega pomena
- kriptografijo
- kriptografija
- datum
- Baze podatkov
- Datum
- dan
- ponudba
- Ponudba
- predanost
- oddelki
- razporejeni
- razpolaga
- Razvoj
- Razvijalci
- drugačen
- razpravljali
- raznolika
- deljeno
- tem
- dolarjev
- pomanjkljivosti
- vsak
- ekosistem
- elementi
- pojavile
- zaposluje
- pooblaščena
- pooblašča
- omogoča
- zagotovitev
- v bistvu
- vzpostaviti
- itd
- ETH
- Et 2.0
- eth classic
- ethereum
- ethereum blockchain
- Ethereum Classic
- GLAVNO OMREŽJE ETHEREUM
- skaliranje eterike
- eterski
- Tudi
- dogodki
- VEDNO
- Tudi vsak
- EVM
- Primer
- izvedba
- drago
- razložiti
- Razlaga
- raziskuje
- Raziskano
- zunanja
- olajša
- s katerimi se sooča
- hitreje
- Fed
- pristojbina
- pristojbine
- Nekaj
- končna
- Najdi
- prva
- Osredotočite
- sledi
- sledili
- po
- obrazec
- prej
- Naprej
- goljufija
- dokaz o goljufiji
- goljufiva
- iz
- GAS
- pristojbine za plin
- glavni namen
- ustvarjajo
- dobili
- pridobivanje
- Go
- dobro
- Trdi
- strojna oprema
- Glava
- pomoč
- tukaj
- Hexens
- visoka
- HOT
- URE
- Kako
- Vendar
- HTTPS
- Stotine
- ID
- identiteta
- izvajati
- in
- V drugi
- Spodbuda
- vključujejo
- vključuje
- Povečajte
- Poveča
- neverjetno
- Podatki
- vhod
- Navodila
- integrirati
- celovitost
- interakcije
- interaktivni
- vmesnik
- notranji
- Uvedeno
- vključeni
- IT
- Imejte
- Vedite
- znanje
- znano
- L1
- l2
- jezik
- jeziki
- večja
- Zadnja
- plast
- plast 1
- 2. nivo
- skaliranje sloja 2
- UČITE
- pismo
- Knjižnica
- LIMIT
- Omejitev
- Seznam
- Long
- Sklop
- stroj
- Stroji
- Glavne
- glavno omrežje
- vzdržuje
- velika
- Znamka
- IZDELA
- Izdelava
- upravlja
- več
- Zemljevidi
- označeno
- Matic
- Matic Network
- pomeni
- Mehanizem
- Srednjeveško
- MetaMask
- Metodologija
- misli
- Trenutek
- Denar
- več
- Najbolj
- premikanje
- potrebno
- Nimate
- mreža
- Novo
- Naslednja
- Vozel
- ONE
- Ostalo
- del
- Udeleženci
- zlasti
- Stranke
- deli
- zabava
- Plačajte
- Izvedite
- izvajati
- faza
- slika
- platon
- Platonova podatkovna inteligenca
- PlatoData
- Točka
- poligon
- Poligon mreža
- Poligon
- bazen
- PoS
- mogoče
- Prispevek
- potencial
- PoW
- prej
- zasebnost
- Postopek
- Procesi
- proizvodnjo
- Izdelek
- strokovni
- donosno
- Programiranje
- programskih jezikov
- Projekt
- projekti
- obetaven
- dokazilo
- dokazov
- predlaga
- predlagano
- protokol
- Dokaži
- dokazano
- zagotavljajo
- zagotavlja
- objavijo
- Push
- Potiskanje
- dal
- Postavlja
- hitro
- Quillhash
- povečuje
- Preberi
- pripravljen
- Razlog
- prejeti
- prejetih
- prejme
- zmanjša
- sprostitev
- zastopan
- obvezna
- Raziskave
- omejitev
- povzroči
- Rezultati
- pregleda
- robustnost
- vloga
- Roll
- zavihamo
- Zvitki
- Valjani
- Rollupi
- pravila
- varnejši
- Enako
- shranjevanje
- Prilagodljivost
- Lestvica
- skaliranje
- Rešitev za skaliranje
- drugi
- zavarovanje
- varnost
- Storitev
- Storitve
- nastavite
- več
- razstavni
- stransko verigo
- Enostavno
- sam
- pametna
- pametna pogodba
- Pametne pogodbe
- prigrizek
- So
- Software
- SOL
- Rešitev
- rešitve
- SOLVE
- nekaj
- nekdo
- Vesolje
- hitrost
- Stage
- delež
- stojala
- zvezda
- stark
- Država
- Korak
- Še vedno
- shranjeni
- Študije
- predloži
- predložen
- uspešno
- taka
- POVZETEK
- povzeto
- presenečenje
- Sinhronizacija
- sistem
- Bodite
- meni
- ob
- skupina
- Pogoji
- O
- informacije
- Država
- svet
- njihove
- sami
- stvar
- tretja
- tretje osebe
- 3
- skozi
- pretočnost
- čas
- do
- danes
- skupaj
- Boni
- vrh
- transakcija
- transakcijski
- Transakcije
- Prehod
- prehodi
- Res
- OBRAT
- pod
- razumeli
- razumevanje
- UPS
- Uporabniki
- Uporaben
- POTRDI
- potrjevanje
- vozilo
- Preverjanje
- preverjeno
- preverjanje
- ključnega pomena
- načini
- Web3
- Skupnost Web3
- Ekosistem Web3
- Web3 prostor
- Kaj
- ki
- WHO
- celoti
- bo
- delo
- deluje
- svet
- bi
- pisati
- pisanje
- Napačen
- let
- Vi
- Vaša rutina za
- zefirnet
- zk-selitev
- zkEVM