Læsetid: 9 minutter
Polygon bevarer sin krone ved at bringe ZKrollup ind.
Problem med Ethereum Mainnet
Ethereum er rygraden i web3-økosystemet. Det fortsætter med at overraske de mest geniale hjerner i verden med det potentiale, det rummer. Potentialet ved diversificerede applikationer ville få selv Einstein til at klø sig i hovedet et øjeblik.
Men ja, det er ikke et eventyr. Hver fantastisk ting har en begrænsning eller begrænsning. Den konstante begrænsning, som Ethereum har været udsat for, er "Gasgebyrerne", eller med andre ord, skalerbarhed, Ethereum Classic har en grænse for at udføre 15 transaktioner i sekundet. ETH 2.0 vil dog være meget hurtigere end dette, men vi har stadig et stykke vej igen.
Løsninger prøvet
Efter mange års forskning, langvarige undersøgelser og forskydningsdedikation lykkedes det web3-fællesskabet at komme ud med nogle løsninger, der hjælper med at skalere bedre
- Lag 1-skalering: - Dette er den metode, som vi forsøger at gøre blockchain bedre ved at lave nogle ændringer i arkitekturen. For eksempel er ETH 2.0 en Layer 1-skaleringsløsning, da den forsøger at etablere PoS for PoW i ETH Classic. Denne type løsning er dyr og tager tid.
- Roll Ups:- Dette er en lag 2-løsning, som er den mest lovende udfordrer. Brugerne får sikkerhed bakket op af Ethereum blockchain med høj gennemstrømning.
- Sidekæder: - Disse er EVM-kompatible og kan skalere generelle applikationer, men de har ulemper. Da Ethereum ikke støtter sin sikkerhed, skal Web3 Community være konstant opmærksom. Dette kommer under lag 2-skalering.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Polygons optagelse
Startende som et ethereum-skaleringsprojekt Polygon, tidligere kendt som Matic Network, dukkede op som en lysende stjerne i web3-rummet. Det tager cents at bekræfte en transaktion på et polygon-netværk, hvorimod den samme transaktion ville tage dollars på Ethereum Mainnet. Dette var alt muligt på grund af sidekæden bygget oven på Ethereum-netværket.
Senere udforskede Matic Network flere forskellige måder at skalere Ethereum blockchain på og blev omdøbt til "Polygon" for at give forskellige løsninger til at skalere Ethereum blockchain bedre.
Der er flere projekter på tidspunktet for skrivning af denne blog:-
- Polygon PoS
- Polygon supernet
- Polygon nul
- Polygon Miden
- Polygon zkEVM
I denne blog vil vi udforske Polygons nye udgivelse zkEVM, som er et af de varme projekter til at skalere Ethereum.
Polygon zkEVM
Polygon zkEVM er et produkt for polygon for at skalere Ethereum for at reducere gasgebyrer og øge gennemløbet. "ZK" står for "nul viden", en type Roll up. Før vi går videre, har vi brug for en forståelse af RollUps.
Hvad er Roll-ups
Forestil dig det på denne måde, antag at der er en postbrevservice fra by A til by B, men der er kun 1 køretøj, som kun kan tage 100 kuverter en gang om dagen. Du finder det begrænsende og prøver at finde en måde. Det, du kan gøre, er at tage 10 breve og skrive deres resumé i et enkelt brev og lægge det i en konvolut for at sende dem. så gør, at vi kan sende 99 + (10) breve. Dette er i bund og grund, hvad roll-ups er.
Det er sådan roll-ups i det væsentlige fungerer på Ethereums mainnet. Vi tager en del af transaktioner, samler dem i en "roll up", opsummerer dem og skubber det derefter til mainnettet. Dette øger gennemløbet. Transaktionsgebyret fordeles mellem forskellige parter, der er tilknyttet transaktionerne i den batch, der rulles op. På den måde reducerer vi gasafgifterne i et godt omfang.
Roll up mekanismer
Hver roll-up implementerer nogle smarte kontrakter på Layer 1, som er forbundet med:-
- Behandling af indskud
- Udbetalinger
- Verifikation af beviser
Det største problem her er verifikationsmekanismen. Hvordan kontrollerer vi, at den roll-up, der er indsendt til lag 1, ikke er svigagtig? For at kontrollere dette har vi to valideringsmekanismer:
- nul viden:- Denne mekanisme bruger gyldighedsbeviser og er bemyndiget af kryptografi. Batchen af transaktioner, der rulles op, inkluderer et kryptografisk bevis kendt som "zk-snark". Beviset verificeres hurtigt af Layer 1 smarte kontrakter, når transaktionsbatchen indsendes, og ugyldige afvises.
- Optimisme:- Denne mekanisme virker bedragerisikret. Det betyder, at vi skal bevise, at den batch, der sendes til lag 1, ikke er svigagtig. Der er 2 involverede parter, den ene, der indsender batchen til Layer 1-protokollen og siger, at batchen er korrekt og sætter nogle penge på spil, hvis den kan bevises forkert, og den anden part forsøger at indsende svigsikker, der siger, at denne batch er ondsindet og med denne påstand sætter nogle indsatser. Hvis nogen rejser bedrageribevis, kontrolleres partiet på Layer 1-protokollen, og den part, der er bevist forkert, straffes.
Arkitekturen af polygons zkEVM:-
Efterhånden skal du have en anstændig forståelse af, hvordan roll-ups fungerer, især zk-roll-up. Hovedkomponenterne vi finder i polygons zkEVM er: -
- Konsensuskontrakt (PolygonZkEVM.sol)
- zkNode
- zkProver
Konsensuskontrakt
Denne kontrakt er implementeret på L1 og spiller en afgørende rolle ved at anvende gyldighedsbevis for at sikre robustheden af statsovergange. For at gøre dette har den forudbestemte regler, som følges for at tillade statsovergange.
For at verificere den vellykkede gennemførelse af statsovergangen anvender denne kontrakt zk-SNARK-kredsløb. Dette system er afhængig af to processer, transaktioner som er batching og transaktionsvalidering, som forklaret tidligere.
Til at udføre transaktionsbatching og transaktionsvalidering beskæftiger zkEVM to deltagere:-
- Sekvensere:- foreslå transaktionsbatcher til netværket.
- Aggregatorer:- Tjek transaktionsbatchernes gyldighed og fremlæg gyldigt bevis.
Mere om Sequencers og aggregatorer senere først, lad os fokusere på denne kontrakt. Kontrakten foretager to opkald-
- at modtage batchene fra Sequencers
- til aggregatorer, der anmoder om validering af partier
Hele denne proces kan opsummeres i følgende diagram (Her er PoE vores konsensuskontrakt):-
zkNode
Vi blev introduceret til Sequencer og Aggregator i Consensus Contract, disse to er afgørende dele af zkEVM-arkitekturen, og zkNode er softwaren, som giver dem mulighed for at være det. zkNode er en klient, der kræves for at implementere synkronisering og styre Sequencers og Aggregators. Så zkNode-software letter 4 aspekter:-
- Sequencers:- En sequencer er den, der modtager L2-transaktioner fra brugerne og forbehandler dem til en ny L2-batch, som derefter foreslås til den konsensuskontrakt. Sequenceren modtager gebyret indsendt af brugerne for deres transaktioner på L2. For at udgive denne batch til L1, skal Sequenceren betale L1-gebyrer og skal også betale nogle MATIC-tokens, som fungerer som et incitament til aggregatorerne til at validere denne batch. Så sequencer er rentabel, hvis:- txn-gebyrer (modtaget af brugerne i L2 for deres transaktion) > L1-opkald (gasgebyr til udgivelse på L1) + MATIC-gebyr (for at tilskynde aggregatorerne til at validere)
- Aggregatorer: - Aggregatorer er afgørende for at verificere batchens integritet. Aggregatorer modtager alle transaktionsoplysninger og sender dem derefter til "zkProver" (mere om det senere), som igen giver et "zk-Proof", som er et resultat af komplekse polynomielle beregninger. "zk-beviset" sendes derefter til den smarte kontrakt for at verificere, at beviset er korrekt. Denne batch er derefter markeret korrekt og klar til at blive tilføjet. Aggregatoren er rentabel, hvis:- MATIC-gebyr (af Sequencer) > L1-kald (gasgebyr) + Serveromkostninger (for at bygge bevis)
- Synchronizer: - Hovedaspektet ved synkroniseringen er at læse begivenheder fra Ethereum blockchain og inkludere de nye batches for at holde tilstanden synkroniseret. Oplysningerne fra disse begivenheder gemmes i databasen. Synchronizer henter dataene fra Smart Contracts. Alle disse data sendes derefter til tredjeparter gennem JSON-RPC-tjenesten.
- RPC:- JSON-RPC er en afgørende grænseflade, som er kompatibel med Ethereum. Når vi har brug for en softwareapplikation til at oprette forbindelse til Ethereum blockchain, forbindes den til en Ethereum-knude. Det er sådan RPC kommer ind i billedet. Det gør det muligt for zkEVM at integrere Metamask og Etherscan og interagerer med pool- og statstransaktioner.
zkProver
Denne del af zkEVM-arkitekturen er den mest teknologisk orienterede og komplekse. Det vil overraske dig at vide, at for at udføre dette. Udviklerne skulle udvikle to nye programmeringssprog for at implementere de nødvendige elementer:-
- Zero — Knowledge Assembly:- Kort sagt kortlægger dette sprog instruktioner fra zkProvers Main State Machine til andre State Machines. For at lære mere om dette sprog, tjek denne.
- Polynomial Identity Language (PIL): - Der har været en masse forskning for at løse blockchain-trilemmaet for privatliv, sikkerhed og skalerbarhed. Indtil i dag har der været flere forsøg og forskellige teoriforsøg, men den, der er mest accepteret til dato, er "Polynomial Commitment Scheme". Derfor er det kun praktisk at udføre beregninger i et polynomisk sprog. Således danner PIL-koder grundlaget for verifikatorkoden for zkProver. For at vide mere om det, følg link..
zkProver er bakket op af mange års forskning i forskellige afdelinger, hvilket gør dets kompleksitet berettiget. Der er hovedsageligt nogle hovedkomponenter i zkProver: -
- Eksekutoren:- Denne del omhandler udførelsen af zkEVM fra Main State Machine. Det er her, EVM-bytekoderne fortolkes ved hjælp af det nye "zero-knowledge Assembly Language" (zkASM), der er diskuteret før. I denne del beskæftiger vi os med opsætningen af polynomielle begrænsninger, som hver gyldig batch af transaktioner skal opfylde og fodre input såsom transaktioner, gammel/ny tilstand, kæde-id osv. Her er PIL (Polynomial Identity Language) til at kode polynomiske begrænsninger. Outputtet af dette trin er "Commitment Polynomials", som er et resultat af udførelsen af alle instruktioner oven på PIL-hardware.
- Stark Recursion Component: - Dette trin involverer interaktionen af tre store input Committed Polynomials, Constant Polynomials og en liste over instruktioner. Disse tre input blandes for at generere zk-STARK-beviser. Disse adskillige zk-STARK korrektur er samlet i bundter af et par zk-STARK korrektur og producerer et zk-STARK korrektur af hvert bundt. Derefter lægges disse beviser i et bundt og samles til et enkelt zk-STARK-bevis. Sådan er hundredvis af zk-STARK-beviser repræsenteret og bevist med kun ét zk-STARK-bevis.
- CIRCOM Library:- Dette trin involverer interaktionen med Verifier-dataene og det enkelte zk-STARK-bevis oprettet gennem Stark Recursion Componenet for at generere et "vidne", dette trin er nødvendigt for det næste trin for at konvertere zk-STARK-beviset til zk- SNARK-sikker.
- Rapid Snark:- Dette er den sidste komponent i zkProver. Dette er stadiet, hvor "vidnet" outputtet fra CIRCOM-biblioteket føres sammen med STARK-verifikatordataene for at skabe zk-SNARK-beviset.
Zk-STARK korrekturerne bruges på grund af deres hastighed, men de er meget større end zk-SNARK korrekturerne. Af den grund bruger zkProver zk-SNARK oprettet i det sidste trin ved at bruge data fra zk-STARK proofs. Samspillet mellem disse fire komponenter kan ses som: -
Ser man på sikkerhedsaspektet
Sikkerhedsmæssigt er zkEVM-projektet i sin middelalderlige fase, og polygonteamet har løbende været involveret i interne og eksterne revisioner. Oplysningerne om resultaterne af interne revisioner er for det meste klassificeret, men Polygon tog hjælp fra to eksterne revisorer (Hexens og Spearbit). Fremvisning af brug for at få smarte kontraktrevisioner selv af de store giganter. Det er rigtigt, at "Hacks kommer uventet". Faktisk kan du aldrig være så sikker og sikker. De fleste af giganterne i web3-økosystemet forstår dette og presser hårdt på for at sikre sig.
Nu mere end nogensinde har vi brug for at sikre web3. På dette stadium er det vigtigt at få en professionel kodegennemgang af smarte kontrakter, hvilket sparer udviklere for utallige arbejdstimer. At sikre, at dine kontrakter er sikre, er mere afgørende end nogensinde. Sammen kan vi gøre Web3 til et mere sikkert sted. Besøg QuillAudits at udforske forskellige tjenester og løsninger.
11 Views
- SEO Powered Content & PR Distribution. Bliv forstærket i dag.
- Platoblokkæde. Web3 Metaverse Intelligence. Viden forstærket. Adgang her.
- Kilde: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- Om
- om det
- tilføjet
- aggregator
- nyhedslæsere
- Alle
- blandt
- ,
- Anvendelse
- applikationer
- arkitektur
- udseende
- aspekter
- Assembly
- forbundet
- Forsøg på
- revisorer
- revisioner
- tilbage
- Backbone
- Backed
- grundlag
- fordi
- før
- være
- Bedre
- Big
- Blanding
- blockchain
- Blog
- strålende
- Bringe
- bygge
- bygget
- Bundle
- beregninger
- ringe
- bære
- kæde
- Kæde ID
- Ændringer
- kontrollere
- By
- krav
- Classic
- klassificeret
- kunde
- kode
- Kode anmeldelse
- indsamler
- Kom
- engagement
- engageret
- samfund
- kompatibel
- færdiggørelse
- komplekse
- kompleksitet
- komponent
- komponenter
- beregninger
- Bekymring
- Bekræfte
- Tilslut
- forbinder
- Konsensus
- konstant
- konstant
- begrænsninger
- fortsætter
- kontinuerligt
- kontrakt
- kontrakter
- Praktisk
- konvertere
- skabe
- oprettet
- Crown
- afgørende
- kryptografisk
- kryptografi
- data
- Database
- Dato
- dag
- deal
- Tilbud
- dedikation
- afdelinger
- indsat
- udruller
- udvikle
- udviklere
- forskellige
- drøftet
- diversificeret
- Divided
- gør
- dollars
- ulemper
- hver
- økosystem
- elementer
- opstået
- beskæftiger
- bemyndiget
- bemyndiger
- muliggør
- sikre
- væsentlige
- etablere
- etc.
- ETH
- Eth 2.0
- et klassisk
- ethereum
- Ethereum blockchain
- Ethereum Classic
- ETHEREUM MAINNET
- ethereum skalering
- etherscan
- Endog
- begivenheder
- NOGENSINDE
- Hver
- EVM
- eksempel
- udførelse
- dyrt
- forklarede
- forklaring
- udforske
- udforsket
- ekstern
- letter
- vender
- hurtigere
- Fed
- gebyr
- Gebyrer
- få
- endelige
- Finde
- Fornavn
- Fokus
- følger
- efterfulgt
- efter
- formular
- tidligere
- Videresend
- bedrageri
- bevis for svindel
- svigagtig
- fra
- GAS
- gas gebyrer
- generelle formål
- generere
- få
- få
- Go
- godt
- Hård Ost
- Hardware
- hoved
- hjælpe
- link.
- Hexens
- Høj
- HOT
- HOURS
- Hvordan
- Men
- HTTPS
- Hundreder
- ID
- Identity
- gennemføre
- in
- I andre
- Tilskyndelse
- omfatter
- omfatter
- Forøg
- Stigninger
- utroligt
- oplysninger
- indgang
- anvisninger
- integrere
- integritet
- interaktion
- interagerer
- grænseflade
- interne
- introduceret
- involverede
- IT
- Holde
- Kend
- viden
- kendt
- L1
- l2
- Sprog
- Sprog
- større
- Efternavn
- lag
- lag 1
- Layer 2
- lag 2 skalering
- LÆR
- brev
- Bibliotek
- GRÆNSE
- begrænsning
- Liste
- Lang
- Lot
- maskine
- Maskiner
- Main
- mainnet
- fastholder
- større
- lave
- maerker
- Making
- lykkedes
- mange
- Maps
- markeret
- Matic
- Matic Network
- midler
- mekanisme
- middelalderlig
- MetaMask
- Metode
- sind
- øjeblik
- penge
- mere
- mest
- bevæge sig
- nødvendig
- Behov
- netværk
- Ny
- næste
- node
- ONE
- Andet
- del
- deltagere
- særlig
- parter
- dele
- part
- Betal
- Udfør
- udfører
- fase
- billede
- plato
- Platon Data Intelligence
- PlatoData
- Punkt
- Polygon
- Polygon-netværk
- Polygon s
- pool
- PoS
- mulig
- Indlæg
- potentiale
- POW
- tidligere
- Beskyttelse af personlige oplysninger
- behandle
- Processer
- producere
- Produkt
- professionel
- rentabel
- Programmering
- programmeringssprog
- projekt
- projekter
- lovende
- bevis
- beviser
- foreslå
- foreslog
- protokol
- Bevise
- bevist
- give
- giver
- offentliggøre
- Skub ud
- Pushing
- sætte
- sætter
- hurtigt
- Quillhash
- rejser
- Læs
- klar
- grund
- modtage
- modtaget
- modtager
- reducere
- frigive
- repræsenteret
- påkrævet
- forskning
- begrænsning
- resultere
- Resultater
- gennemgå
- robusthed
- roller
- Roll
- rulle op
- Roll-ups
- Rullet
- opdateringspakker
- regler
- sikrere
- samme
- besparelse
- Skalerbarhed
- Scale
- skalering
- Skaleringsløsning
- Anden
- sikker
- sikkerhed
- tjeneste
- Tjenester
- sæt
- flere
- fremvisning
- sidechain
- Simpelt
- enkelt
- Smart
- smart kontrakt
- Smarte kontrakter
- Snark
- So
- Software
- SOL
- løsninger
- Løsninger
- SOLVE
- nogle
- Nogen
- Space
- hastighed
- Stage
- spil
- står
- Stjerne
- skarp
- Tilstand
- Trin
- Stadig
- opbevaret
- undersøgelser
- indsende
- indsendt
- vellykket
- sådan
- RESUMÉ
- opsummerede
- overraskelse
- synkronisering
- systemet
- Tag
- tager
- tager
- hold
- vilkår
- oplysninger
- Staten
- verdenen
- deres
- selv
- ting
- Tredje
- tredje partier
- tre
- Gennem
- kapacitet
- tid
- til
- i dag
- sammen
- Tokens
- top
- transaktion
- transaktionsbeslutning
- Transaktioner
- overgang
- overgange
- sand
- TUR
- under
- forstå
- forståelse
- UPS
- brugere
- Ved hjælp af
- VALIDATE
- validering
- køretøj
- Verifikation
- verificeres
- verificere
- afgørende
- måder
- Web3
- Web3-fællesskab
- Web3 økosystem
- Web3 plads
- Hvad
- som
- WHO
- Hele
- vilje
- Arbejde
- virker
- world
- ville
- skriver
- skrivning
- Forkert
- år
- Du
- Din
- zephyrnet
- zk-rollup
- ZKEVM