Lästid: 9 minuter
Polygon behåller sin krona genom att ta in ZKrollup.
Problem med Ethereum Mainnet
Ethereum är ryggraden i web3-ekosystemet. Det fortsätter att överraska de mest briljanta hjärnorna i världen med den potential den bär. Potentialen med diversifierade applikationer skulle få till och med Einstein att klia sig i huvudet ett ögonblick.
Men ja, det är ingen saga. Varje fantastisk sak har en begränsning eller begränsning. Den konstanta begränsningen som Ethereum har ställts inför är "gasavgifterna", eller med andra ord, skalbarhet, Ethereum Classic har en gräns för att utföra 15 transaktioner per sekund. ETH 2.0 kommer dock att vara mycket snabbare än så här, men vi har fortfarande en lång väg kvar att gå.
Lösningar prövade
Efter år av forskning, långvariga studier och hängivenhet lyckades web3-communityt komma ut med några lösningar som hjälper till att skala bättre
- Skalning av lager 1:- Detta är den metod som vi använder för att göra blockchain bättre genom att göra några förändringar i arkitekturen. Till exempel är ETH 2.0 en lager 1-skalningslösning då den försöker etablera PoS för PoW i ETH Classic. Denna typ av lösning är dyr och tar tid.
- Roll Ups:- Detta är en lager 2-lösning som är den mest lovande utmanaren. Användarna får säkerhet uppbackad av Ethereum blockchain med hög genomströmning.
- Sidokedjor:- Dessa är EVM-kompatibla och kan skala allmänna tillämpningar, men de har nackdelar. Eftersom Ethereum inte stödjer sin säkerhet måste Web3 Community vara ständigt medveten. Detta kommer under lager 2-skalning.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Polygons uppfattning
Började som ett ethereum-skalningsprojekt Polygon, tidigare känt som Matic Network, dök upp som en lysande stjärna i web3-utrymmet. Det tar cent för att bekräfta en transaktion på ett polygonnätverk, medan samma transaktion skulle ta dollar på Ethereum Mainnet. Allt detta var möjligt på grund av sidokedjan som byggdes ovanpå Ethereums huvudnät.
Senare utforskade Matic Network fler olika sätt att skala Ethereum-blockkedjan och döptes om till "Polygon" för att tillhandahålla olika lösningar för att skala Ethereum-blockkedjan bättre.
Det finns flera projekt när jag skriver denna blogg:-
- Polygon PoS
- Polygonsupernät
- Polygon noll
- Polygon Miden
- Polygon zkEVM
I den här bloggen kommer vi att utforska Polygons nya release zkEVM som är ett av de heta projekten för att skala Ethereum.
Polygon zkEVM
Polygon zkEVM är en produkt för polygon för att skala Ethereum för att minska gasavgifterna och öka genomströmningen. "ZK" står för "noll kunskap", en typ av Roll up. Innan vi går vidare behöver vi förståelse för RollUps.
Vad är roll-ups
Föreställ dig det så här, anta att det finns en postbrevtjänst från stad A till stad B, men det finns bara 1 fordon, som bara kan ta 100 kuvert en gång om dagen. Du tycker att det är begränsande och försöker hitta ett sätt. Vad du kan göra är att ta 10 brev och skriva sammanfattningen av dem i ett enda brev och lägga det i ett kuvert för att posta. så att vi kan posta 99 + (10) brev. Detta är i huvudsak vad roll-ups är.
Det är så roll-ups i huvudsak fungerar på Ethereums huvudnät. Vi tar en bit av transaktioner, samlar dem i en "roll up", sammanfattar dem och skickar dem sedan till huvudnätet. Detta ökar genomströmningen. Transaktionsavgiften delas upp på olika parter som är kopplade till transaktionerna i den batch som rullas upp. På så sätt sänker vi gasavgifterna i god omfattning.
Roll up-mekanismer
Varje roll-up distribuerar några smarta kontrakt på Layer 1, som är associerade med:-
- Bearbetning av insättningar
- Uttag
- Verifiera bevis
Den viktigaste punkten här är verifieringsmekanismen. Hur kontrollerar vi att roll-upen som lämnats till lager 1 inte är bedräglig? För att kontrollera detta har vi två valideringsmekanismer:-
- noll kunskap:- Den här mekanismen använder giltighetsbevis och är bemyndigad av kryptografi. Batchen av transaktioner som rullas upp inkluderar ett kryptografiskt bevis som kallas "zk-snark", beviset verifieras snabbt av Layer 1 smarta kontrakt när transaktionsbatchen skickas in, och ogiltiga sådana avvisas.
- Optimism:- Denna mekanism fungerar på bedrägeribeständig. Detta innebär att vi måste bevisa att partiet som skickas till lager 1 inte är bedrägligt. Det är 2 parter inblandade, en som skickar in partiet till Layer 1-protokollet och säger att partiet är korrekt och sätter lite pengar på spel om det kan bevisas felaktigt, och den andra parten försöker skicka in bedrägeribevis som säger att denna sats är skadlig och med detta påstående sätter vissa insatser. Om någon tar fram bedrägeribevis kontrolleras partiet på Layer 1-protokollet, och parten som har visat sig ha fel bestraffas.
Arkitekturen för polygonens zkEVM:-
Vid det här laget måste du ha en anständig förståelse för hur roll-ups fungerar, i synnerhet zk-roll-up. Huvudkomponenterna vi hittar i polygons zkEVM är:
- Consensus Contract (PolygonZkEVM.sol)
- zkNode
- zkProver
Konsensuskontrakt
Detta kontrakt är utplacerat på L1 och spelar en avgörande roll genom att använda giltighetsbevis för att säkerställa robustheten i tillståndsövergångar. För att göra detta har den förutbestämda regler som följs för att tillåta statliga övergångar.
För att verifiera ett framgångsrikt slutförande av tillståndsövergången använder detta kontrakt zk-SNARK-kretsar. Detta system förlitar sig på två processer, transaktioner som är batchning och transaktionsvalidering, som förklarats tidigare.
För att utföra transaktionsbatchning och transaktionsvalidering anställer zkEVM två deltagare:-
- Sekvenserare:- föreslå transaktionsbatcher till nätverket.
- Aggregatorer:- Kontrollera transaktionsbatchernas giltighet och tillhandahåll giltiga bevis.
Mer om Sequencers och aggregatorer senare först, låt oss fokusera på detta kontrakt. Avtalet gör två samtal-
- för att ta emot batcharna från Sequencers
- till aggregatorer som begär validering av partier
Hela denna process kan sammanfattas i följande diagram (Här är PoE vårt konsensuskontrakt):-
zkNode
Vi introducerades för Sequencer och Aggregator i Consensus Contract, dessa två är avgörande delar av zkEVM-arkitekturen, och zkNode är programvaran som ger dem möjlighet att vara det. zkNode är en klient som krävs för att implementera synkronisering och styra Sequencers och Aggregators. Så, zkNode-programvaran underlättar fyra aspekter:-
- Sequencers:- En sequencer är den som tar emot L2-transaktioner från användarna och förbearbetar dem till en ny L2-batch, som sedan föreslås till det konsensuskontrakt. Sekvenseraren får den avgift som användarna lämnar för sina transaktioner på L2. För att publicera denna batch till L1 måste Sequencern betala L1-avgifter och måste även betala några MATIC-tokens, som fungerar som ett incitament för aggregatorerna att validera denna batch. Så, sequencer är lönsam om:- txn-avgifter (mottagna av användarna i L2 för deras transaktion) > L1-anrop (gasavgift att publicera på L1) + MATIC-avgift (för att uppmuntra aggregatorerna att validera)
- Aggregatorer: - Aggregatorer är avgörande för att verifiera partiets integritet. Aggregatorer tar emot all transaktionsinformation och skickar den sedan till "zkProver" (mer om det senare), vilket i sin tur ger ett "zk-Proof" som är ett resultat av komplexa polynomberäkningar. "zk-beviset" skickas sedan till det smarta kontraktet för att verifiera att beviset är korrekt. Denna batch är sedan märkt som korrekt och redo att läggas till. Aggregatorn är lönsam om:- MATIC-avgift (av Sequencer) > L1-anrop (gasavgift) + Serverkostnad (för att bygga bevis)
- Synkroniserare: - Huvudaspekten med synkroniseraren är att läsa händelser från Ethereum-blockkedjan och inkludera de nya satserna för att hålla tillståndet synkroniserat. Informationen från dessa händelser lagras i databasen. Synchronizer hämtar data från Smart Contracts. All denna data skickas sedan till tredje part genom JSON-RPC-tjänsten.
- RPC:- JSON-RPC är ett avgörande gränssnitt som är kompatibelt med Ethereum. När vi behöver en mjukvaruapplikation för att ansluta till Ethereum-blockkedjan ansluter den till en Ethereum-nod. Det är så RPC kommer in i bilden. Det gör det möjligt för zkEVM att integrera Metamask och Etherscan och interagerar med Pool- och State-transaktioner.
zkProver
Denna del av zkEVM-arkitekturen är den mest tekniskt orienterade och komplexa. Det kommer att förvåna dig att veta att för att utföra detta. Utvecklarna var tvungna att utveckla två nya programmeringsspråk för att implementera de nödvändiga elementen:-
- Noll — Kunskapssammansättning:- Enkelt uttryckt mappar detta språk instruktioner från zkProvers Main State Machine till andra State Machines. För att lära dig mer om detta språk, kolla detta.
- Polynomial Identity Language (PIL): - Det har gjorts mycket forskning för att lösa blockchain-trilemmat av integritet, säkerhet och skalbarhet. Fram till idag har det gjorts flera försök och olika teoriförsök, men det som är mest accepterat hittills är "Polynomial Commitment Scheme". Därför är det bara bekvämt att utföra beräkningar på ett polynomspråk. Således utgör PIL-koder grunden för verifieringskoden för zkProver. För att veta mer om det, följ här..
zkProver stöds av många års forskning på olika avdelningar vilket gör dess komplexitet motiverad. Det finns huvudsakligen några huvudkomponenter i zkProver:-
- Executor:- Den här delen handlar om exekvering av zkEVM från Main State Machine. Det är här som EVM-bytekoderna tolkas med det nya "zero-knowledge Assembly Language" (zkASM) som diskuterats tidigare. I den här delen behandlar vi uppsättningen av polynomrestriktioner som varje giltig sats av transaktioner måste uppfylla och mata indata såsom transaktioner, gammalt/nytt tillstånd, kedja-ID etc. Här är PIL (Polynomial Identity Language) för att koda polynomiska begränsningar. Utdata från detta steg är "Commitment Polynoms", som är ett resultat av exekveringen av alla instruktioner ovanpå PIL-hårdvaran.
- Stark Rekursionskomponent: - Det här steget involverar interaktionen av tre huvudingångar Begärda polynom, konstanta polynom och en lista med instruktioner. Dessa tre ingångar blandas för att generera zk-STARK-bevis. Dessa flera zk-STARK-provtryck är samlade i buntar med några få zk-STARK-provtryck och producerar ett zk-STARK-prov av varje bunt. Sedan läggs dessa bevis i en bunt och sammanställs för att bilda ett enda zk-STARK-bevis. Det är så hundratals zk-STARK-bevis representeras och bevisas med endast ett zk-STARK-bevis.
- CIRCOM Library:- Det här steget involverar interaktion med verifieringsdata och det enda zk-STARK-beviset som skapats genom Stark Recursion Componenet för att generera ett "vittne" detta steg är nödvändigt för nästa steg att konvertera zk-STARK-beviset till zk- SNARK bevis.
- Rapid Snark:- Detta är den sista komponenten i zkProver. Detta är det stadium där "vittnet" utdata från CIRCOM-biblioteket matas tillsammans med STARK-verifieringsdata för att skapa zk-SNARK-beviset.
Zk-STARK-proven används på grund av deras hastighet, men de är mycket större än zk-SNARK-proven. Av den anledningen använder zkProver zk-SNARK som skapades i det sista steget med hjälp av data från zk-STARK-prov. Samspelet mellan dessa fyra komponenter kan ses som:
Tittar på säkerhetsaspekten
Säkerhetsmässigt är zkEVM-projektet i sin medeltida fas och polygonteamet har kontinuerligt varit involverat i interna och externa revisioner. Informationen om resultaten av internrevisioner är till största delen hemligstämplade, men Polygon tog hjälp av två externa revisorer (Hexens och Spearbit). Att visa upp behöver få smarta kontraktsrevisioner även av de stora jättarna. Det är sant att "Hack kommer oväntat". Du kan faktiskt aldrig vara så säker och säker. De flesta av jättarna i web3-ekosystemet förstår detta och pressar hårt för att säkra sig själva.
Nu mer än någonsin behöver vi säkra web3. I det här skedet är det viktigt att få en professionell kodgranskning av smarta kontrakt, vilket sparar utvecklare otaliga arbetstimmar. Att se till att dina kontrakt är säkra är viktigare än någonsin. Tillsammans kan vi göra Web3 till ett säkrare utrymme. Gör ett besök QuillAudits att utforska olika tjänster och lösningar.
11 Visningar
- SEO-drivet innehåll och PR-distribution. Bli förstärkt idag.
- Platoblockchain. Web3 Metaverse Intelligence. Kunskap förstärkt. Tillgång här.
- Källa: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- Om Oss
- om det
- lagt till
- Aggregator
- Sammanställare
- Alla
- bland
- och
- Ansökan
- tillämpningar
- arkitektur
- aspekt
- aspekter
- Montage
- associerad
- Försök
- revisorer
- revisioner
- tillbaka
- Backbone
- dragen tillbaka
- grund
- därför att
- innan
- Där vi får lov att vara utan att konstant prestera,
- Bättre
- Stor
- Blandning
- blockchain
- Blogg
- lysande
- Föra
- SLUTRESULTAT
- byggt
- Bunt
- beräkningar
- Ring
- bära
- kedja
- Kedje-ID
- Förändringar
- ta
- Stad
- patentkrav
- klassiska
- klassificerad
- klient
- koda
- Kodgranskning
- samla
- komma
- engagemang
- engagerad
- samfundet
- kompatibel
- fullbordan
- komplex
- Komplexiteten
- komponent
- komponenter
- beräkningar
- Oro
- Bekräfta
- Kontakta
- ansluter
- Konsensus
- konstant
- ständigt
- begränsningar
- fortsätter
- kontinuerligt
- kontrakt
- kontrakt
- Bekväm
- konvertera
- skapa
- skapas
- Krona
- avgörande
- kryptografisk
- kryptografi
- datum
- Databas
- Datum
- dag
- behandla
- Erbjudanden
- engagemang
- avdelningar
- utplacerade
- vecklas ut
- utveckla
- utvecklare
- olika
- diskuteras
- diversifierad
- dividerat
- gör
- dollar
- nackdelar
- varje
- ekosystemet
- element
- dykt
- sysselsätter
- befogenhet
- bemyndigar
- möjliggör
- säkerställa
- väsentligen
- etablera
- etc
- ETH
- Et 2.0
- eth klassiker
- ethereum
- Ethereum blockchain
- Ethereum Classic
- ETHEREUM MAINNET
- etereskalning
- Etherscan
- Även
- händelser
- NÅGONSIN
- Varje
- EVM
- exempel
- utförande
- dyra
- förklarade
- förklaring
- utforska
- utforskas
- extern
- underlättar
- vänd
- snabbare
- Fed
- avgift
- avgifter
- få
- slutlig
- hitta
- Förnamn
- Fokus
- följer
- följt
- efter
- formen
- förr
- Framåt
- bedrägeri
- bedrägeribevis
- bedräglig
- från
- GAS
- gasavgifter
- generell mening
- generera
- skaffa sig
- få
- Go
- god
- Hård
- hårdvara
- huvud
- hjälpa
- här.
- Hexens
- Hög
- HET
- ÖPPETTIDER
- Hur ser din drömresa ut
- Men
- HTTPS
- Hundratals
- ID
- Identitet
- genomföra
- in
- I andra
- Incitament
- innefattar
- innefattar
- Öka
- Ökar
- oerhört
- informationen
- ingång
- instruktioner
- integrera
- integritet
- interaktion
- interagerar
- Gränssnitt
- inre
- introducerade
- involverade
- IT
- Ha kvar
- Vet
- kunskap
- känd
- L1
- l2
- språk
- Språk
- större
- Efternamn
- lager
- lager 1
- Layer 2
- skalning av lager 2
- LÄRA SIG
- brev
- Bibliotek
- BEGRÄNSA
- begränsning
- Lista
- Lång
- Lot
- Maskinen
- Maskiner
- Huvudsida
- huvudnätet
- upprätthåller
- större
- göra
- GÖR
- Framställning
- förvaltade
- många
- kartor
- markant
- matic
- Matic Network
- betyder
- mekanism
- medeltida
- MetaMask
- Metodik
- sinnen
- ögonblick
- pengar
- mer
- mest
- flytta
- nödvändigt för
- Behöver
- nät
- Nya
- Nästa
- nod
- ONE
- Övriga
- del
- deltagare
- särskilt
- parter
- reservdelar till din klassiker
- parti
- Betala
- Utföra
- utför
- fas
- Bild
- plato
- Platon Data Intelligence
- PlatonData
- Punkt
- Polygon
- Polygon-nätverk
- Polygons
- poolen
- PoS
- möjlig
- Inlägg
- potentiell
- PoW
- tidigare
- privatpolicy
- process
- processer
- producera
- Produkt
- professionell
- lönsam
- Programmering
- programmeringsspråk
- projektet
- projekt
- lovande
- bevis
- korrektur
- föreslå
- föreslagen
- protokoll
- Bevisa
- visat
- ge
- ger
- publicera
- Tryck
- Tryckande
- sätta
- Puts
- snabbt
- Pilbåt
- höjer
- Läsa
- redo
- Anledningen
- motta
- mottagna
- erhåller
- minska
- frigöra
- representerade
- Obligatorisk
- forskning
- begränsning
- resultera
- Resultat
- översyn
- robusthet
- Roll
- Rulla
- rulla upp
- Roll-ups
- Rullad
- rollups
- regler
- säkrare
- Samma
- sparande
- skalbarhet
- Skala
- skalning
- Skalningslösning
- Andra
- säkra
- säkerhet
- service
- Tjänster
- in
- flera
- visa upp
- sidokedja
- Enkelt
- enda
- smarta
- smart kontrakt
- Smarta kontrakt
- snark
- So
- Mjukvara
- SOL
- lösning
- Lösningar
- LÖSA
- några
- någon
- Utrymme
- fart
- Etapp
- spel
- står
- Stjärna
- skarp
- Ange
- Steg
- Fortfarande
- lagras
- studier
- skicka
- lämnats
- framgångsrik
- sådana
- SAMMANFATTNING
- summeras
- överraskning
- synkronisering
- system
- Ta
- tar
- tar
- grupp
- villkor
- Smakämnen
- den information
- Staten
- världen
- deras
- sig själva
- sak
- Tredje
- utomstående
- tre
- Genom
- genomströmning
- tid
- till
- i dag
- tillsammans
- tokens
- topp
- transaktion
- transaktion
- Transaktioner
- övergång
- övergångar
- sann
- SVÄNG
- under
- förstå
- förståelse
- POSTEN
- användare
- Använda
- BEKRÄFTA
- godkännande
- vehikel
- Verifiering
- verifierade
- verifiera
- avgörande
- sätt
- Web3
- Web3-gemenskap
- Web3 ekosystem
- Web3-utrymme
- Vad
- som
- VEM
- Hela
- kommer
- Arbete
- fungerar
- världen
- skulle
- skriva
- skrivning
- Fel
- år
- Om er
- Din
- zephyrnet
- zk-samlad
- zkEVM