Lesetid: 9 minutter
Polygon opprettholder kronen ved å hente inn ZKrollup.
Problem med Ethereum Mainnet
Ethereum er ryggraden i web3-økosystemet. Det fortsetter å overraske de mest briljante sinnene i verden med potensialet det har. Potensialet til diversifiserte applikasjoner ville få til og med Einstein til å klø seg i hodet et øyeblikk.
Men ja, det er ikke et eventyr. Hver fantastisk ting har en begrensning eller begrensning. Den konstante begrensningen Ethereum har stått overfor er "gassavgiftene", eller med andre ord, skalerbarhet, Ethereum Classic har en grense for å utføre 15 transaksjoner per sekund. ETH 2.0 vil imidlertid være mye raskere enn dette, men vi har fortsatt en lang vei å gå.
Løsninger prøvd
Etter år med forskning, langvarige studier og skjærende dedikasjon klarte web3-fellesskapet å komme ut med noen løsninger som bidrar til å skalere bedre
- Lag 1-skalering:- Dette er metoden som vi prøver å gjøre blokkjede bedre ved å gjøre noen endringer i arkitekturen. For eksempel er ETH 2.0 en Layer 1-skaleringsløsning når den prøver å etablere PoS for PoW i ETH Classic. Denne typen løsning er dyr og tar tid.
- Roll Ups:- Dette er en lag 2-løsning som er den mest lovende utfordreren. Brukerne får sikkerhet støttet av Ethereum blockchain med høy gjennomstrømning.
- Sidekjeder:- Disse er EVM-kompatible og kan skalere generelle applikasjoner, men de har ulemper. Siden Ethereum ikke støtter sikkerheten, må Web3 Community være konstant oppmerksomme. Dette kommer under lag 2-skalering.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Polygons oppfatning
Startet som et ethereum-skaleringsprosjekt Polygon, tidligere kjent som Matic Network, dukket opp som en lysende stjerne i web3-rommet. Det tar cent for å bekrefte en transaksjon på et polygonnettverk, mens den samme transaksjonen vil ta dollar på Ethereum Mainnet. Dette var alt mulig på grunn av sidekjeden bygget på toppen av Ethereum-nettverket.
Senere utforsket Matic Network flere forskjellige måter å skalere Ethereum-blokkjeden og ble omdøpt til "Polygon" for å tilby forskjellige løsninger for å skalere Ethereum-blokkjeden bedre.
Det er flere prosjekter når jeg skriver denne bloggen:-
- Polygon PoS
- Polygon supernett
- Polygon null
- Polygon Miden
- Polygon zkEVM
I denne bloggen vil vi utforske Polygons nye utgivelse zkEVM som er et av de hete prosjektene for å skalere Ethereum.
Polygon zkEVM
Polygon zkEVM er et produkt for polygon for å skalere Ethereum for å redusere gassavgifter og øke gjennomstrømningen. "ZK" står for "null kunnskap", en type Roll up. Før vi går videre, trenger vi en forståelse av RollUps.
Hva er Roll-ups
Tenk deg det på denne måten, anta at det er en posttjeneste fra by A til by B, men det er bare 1 kjøretøy, som bare kan ta 100 konvolutter en gang om dagen. Du finner det begrensende og prøver å finne en måte. Det du kan gjøre er å ta 10 brev og skrive sammendraget deres i ett enkelt brev og legge det i en konvolutt for å poste. slik at vi kan legge ut 99 + (10) brev. Dette er egentlig hva roll-ups er.
Det er slik roll-ups i hovedsak fungerer på Ethereums hovednett. Vi tar en del transaksjoner, samler dem i en «roll up», oppsummerer dem og skyver dem deretter til hovednettet. Dette øker gjennomstrømningen. Transaksjonsgebyret deles mellom ulike parter knyttet til transaksjonene i partiet som rulles opp. På denne måten reduserer vi gassavgiftene i god grad.
Roll up-mekanismer
Hver opprulling distribuerer noen smarte kontrakter på lag 1, som er assosiert med:
- Behandling av innskudd
- Uttak
- Verifiserer bevis
Hovedpoenget her er verifikasjonsmekanismen. Hvordan sjekker vi at roll-upen som sendes til lag 1 ikke er uredelig? For å sjekke dette har vi to valideringsmekanismer:
- null kunnskap:- Denne mekanismen bruker gyldighetsbevis og er styrket av kryptografi. Gruppen av transaksjoner som rulles opp inkluderer et kryptografisk bevis kjent som "zk-snark", beviset blir raskt verifisert av Layer 1 smarte kontrakter når transaksjonsbatchen sendes inn, og ugyldige blir avvist.
- Optimisme:- Denne mekanismen fungerer mot svindel. Dette betyr at vi må bevise at batchen som sendes til lag 1 ikke er uredelig. Det er 2 parter involvert, en som sender inn partiet til Layer 1-protokollen og sier at partiet er riktig og setter penger på spill hvis det kan bevises feil, og den andre parten prøver å sende inn svindelbevis som sier at denne partiet er ondsinnet og med denne påstanden setter noen innsatser. Hvis noen tar opp svindelbevis, blir partiet sjekket på Layer 1-protokollen, og parten som har bevist feil blir straffet.
Arkitekturen til polygonens zkEVM:-
Nå må du ha en grei forståelse av hvordan roll-ups fungerer, spesielt zk-roll-up. Hovedkomponentene vi finner i polygons zkEVM er: -
- Konsensuskontrakt (PolygonZkEVM.sol)
- zkNode
- zkProver
Konsensuskontrakt
Denne kontrakten er utplassert på L1 og spiller en avgjørende rolle ved å bruke gyldighetsbevis for å sikre robustheten til statlige overganger. For å gjøre dette har den forhåndsbestemte regler som følges for å tillate statlige overganger.
For å bekrefte vellykket gjennomføring av statsovergang, bruker denne kontrakten zk-SNARK-kretser. Dette systemet er avhengig av to prosesser, transaksjoner som er batching og transaksjonsvalidering, som forklart tidligere.
For å utføre transaksjonsbatching og transaksjonsvalidering ansetter zkEVM to deltakere:-
- Sekvensere:- foreslå transaksjonsbatcher til nettverket.
- Aggregatorer:- Sjekk transaksjonsbatchenes gyldighet og gi gyldig bevis.
Mer om sekvensere og aggregatorer senere først, la oss fokusere på denne kontrakten. Kontrakten foretar to samtaler-
- for å motta batchene fra Sequencers
- til aggregatorer som ber om validering av batcher
Hele denne prosessen kan oppsummeres i følgende diagram (Her er PoE vår konsensuskontrakt):-
zkNode
Vi ble introdusert for Sequencer og Aggregator i Consensus Contract, disse to er avgjørende deler av zkEVM-arkitekturen, og zkNode er programvaren som gir dem mulighet til å være det. zkNode er en klient som kreves for å implementere synkronisering og styre sekvensere og aggregatorer. Så, zkNode-programvaren letter 4 aspekter: -
- Sequencers:- En sequencer er den som mottar L2-transaksjoner fra brukerne og forhåndsbehandler dem til en ny L2-batch, som deretter foreslås til den konsensuskontrakten. Sekvenseren mottar gebyret som sendes inn av brukerne for deres transaksjoner på L2. For å publisere denne batchen til L1, må Sequencer betale L1-avgifter og må også betale noen MATIC-tokens, som fungerer som et insentiv til aggregatorene til å validere denne batchen. Så, sequencer er lønnsomt hvis:- txn-avgifter (mottatt av brukerne i L2 for transaksjonen deres) > L1-anrop (gassavgift for å publisere på L1) + MATIC-avgift (for å oppmuntre aggregatorene til å validere)
- Aggregatorer: - Aggregatorer er avgjørende for å verifisere batchens integritet. Aggregatorer mottar all transaksjonsinformasjon og sender den deretter til "zkProver" (mer om det senere), som igjen gir et "zk-Proof" som er et resultat av komplekse polynomberegninger. "zk-beviset" sendes deretter til Smart-kontrakten for å bekrefte at beviset er korrekt. Denne batchen er deretter merket som korrekt og klar til å legges til. Aggregatoren er lønnsom hvis:- MATIC-avgift (av Sequencer) > L1-anrop (gassavgift) + Serverkostnad (for å bygge bevis)
- Synchronizer: - Hovedaspektet med synkroniseringen er å lese hendelser fra Ethereum-blokkjeden og inkludere de nye batchene for å holde tilstanden synkronisert. Informasjonen fra disse hendelsene lagres i databasen. Synchronizer henter dataene fra Smart Contracts. Alle disse dataene blir deretter servert til tredjeparter gjennom JSON-RPC-tjenesten.
- RPC:- JSON-RPC er et viktig grensesnitt som er kompatibelt med Ethereum. Når vi trenger en programvareapplikasjon for å koble til Ethereum-blokkjeden, kobles den til en Ethereum-node. Det er slik RPC kommer inn i bildet. Den gjør det mulig for zkEVM å integrere Metamask og Etherscan og samhandler med Pool- og State-transaksjoner.
zkProver
Denne delen av zkEVM-arkitekturen er den mest teknologisk orienterte og komplekse. Det vil overraske deg å vite det for å gjennomføre dette. Utviklerne måtte utvikle to nye programmeringsspråk for å implementere de nødvendige elementene: -
- Zero — Knowledge Assembly: – Enkelt sagt kartlegger dette språket instruksjoner fra zkProvers Main State Machine til andre State Machines. For å lære mer om dette språket, sjekk denne.
- Polynomial Identity Language (PIL): - Det har vært mye forskning for å løse blockchain-trilemmaet for personvern, sikkerhet og skalerbarhet. Frem til i dag har det vært flere forsøk og forskjellige teoriforsøk, men den som er mest akseptert til dags dato er "Polynomial Commitment Scheme". Derfor er det bare praktisk å utføre beregninger på et polynomspråk. Dermed danner PIL-koder grunnlaget for verifikatoren til zkProver. For å vite mer om det, følg med her..
zkProver støttes av mange års forskning i forskjellige avdelinger som gjør kompleksiteten rettferdiggjort. Det er hovedsakelig noen hovedkomponenter i zkProver: -
- Eksekutøren:- Denne delen omhandler utførelsen av zkEVM fra Main State Machine. Det er her EVM-bytekodene tolkes ved å bruke det nye "zero-knowledge Assembly Language" (zkASM) diskutert tidligere. I denne delen tar vi for oss oppsettet av polynombegrensninger som hver gyldig gruppe med transaksjoner må oppfylle og mate input som transaksjoner, gammel/ny tilstand, kjede-ID osv. Her er PIL (Polynomial Identity Language) for å kode polynomiske begrensninger. Utdata fra dette trinnet er "Forpliktelsespolynomene", som er et resultat av utførelsen av alle instruksjoner på toppen av PIL-maskinvaren.
- Stark rekursjonskomponent: - Dette trinnet involverer interaksjonen mellom tre hovedinnganger, forpliktede polynomer, konstante polynomer og en liste med instruksjoner. Disse tre inngangene blandes for å generere zk-STARK-bevis. Disse flere zk-STARK prøvetrykk er samlet i bunter med noen få zk-STARK prøvetrykk og produserer et zk-STARK prøvetrykk av hver bunt. Deretter legges disse bevisene i en bunt og samles for å danne ett enkelt zk-STARK-bevis. Dette er hvordan hundrevis av zk-STARK-bevis er representert og bevist med bare ett zk-STARK-bevis.
- CIRCOM Library:- Dette trinnet involverer interaksjonen med verifikatorens data og det enkle zk-STARK-beviset som er opprettet gjennom Stark Recursion Componenet for å generere et "vitne", dette trinnet er nødvendig for neste trinn for å konvertere zk-STARK-beviset til zk- SNARK bevis.
- Rapid Snark:- Dette er den siste komponenten i zkProver. Dette er stadiet der "vitnet" utdataene fra CIRCOM-biblioteket mates sammen med STARK-verifikatorens data for å lage zk-SNARK-beviset.
Zk-STARK-prøvene brukes på grunn av hastigheten, men de er mye større enn zk-SNARK-prøvene. Av den grunn bruker zkProver zk-SNARK opprettet i det siste trinnet ved å bruke dataene fra zk-STARK-bevis. Samspillet mellom disse fire komponentene kan sees på som: -
Ser på sikkerhetsaspektet
Sikkerhetsmessig er zkEVM-prosjektet i sin middelalderfase, og polygonteamet har kontinuerlig vært involvert i interne og eksterne revisjoner. Informasjonen om resultatene fra interne revisjoner er for det meste klassifisert, men Polygon tok hjelp av to eksterne revisorer (Hexens og Spearbit). Viser frem trenger å få smarte kontraktrevisjoner selv av de store gigantene. Det er sant at "Hack kommer uventet". Du kan faktisk aldri være så sikker og sikker. De fleste av gigantene i web3-økosystemet forstår dette og presser hardt på for å sikre seg.
Nå mer enn noen gang må vi sikre web3. På dette stadiet er det viktig å få en profesjonell kodegjennomgang av smarte kontrakter, noe som sparer utviklere for utallige arbeidstimer. Å sørge for at kontraktene dine er sikre er viktigere enn noen gang. Sammen kan vi gjøre Web3 til et tryggere sted. Besøk QuillAudits å utforske ulike tjenester og løsninger.
11 Visninger
- SEO-drevet innhold og PR-distribusjon. Bli forsterket i dag.
- Platoblokkkjede. Web3 Metaverse Intelligence. Kunnskap forsterket. Tilgang her.
- kilde: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- Om oss
- om det
- la til
- aggregator
- aggregat
- Alle
- blant
- og
- Søknad
- søknader
- arkitektur
- aspektet
- aspekter
- Montering
- assosiert
- forsøk
- revisorer
- revisjoner
- tilbake
- Backbone
- Backed
- basis
- fordi
- før du
- være
- Bedre
- Stor
- Blend
- blockchain
- Blogg
- brilliant
- Bringe
- bygge
- bygget
- XNUMX bunk
- beregninger
- ring
- bære
- kjede
- Kjede ID
- Endringer
- sjekk
- City
- hevder
- Classic
- klassifisert
- kunde
- kode
- Kode anmeldelse
- samle
- Kom
- engasjement
- forpliktet
- samfunnet
- kompatibel
- ferdigstillelse
- komplekse
- kompleksitet
- komponent
- komponenter
- beregninger
- Bekymring
- Bekrefte
- Koble
- forbinder
- Konsensus
- konstant
- stadig
- begrensninger
- fortsetter
- kontinuerlig
- kontrakt
- kontrakter
- Praktisk
- konvertere
- skape
- opprettet
- Crown
- avgjørende
- kryptografisk
- kryptografi
- dato
- Database
- Dato
- dag
- avtale
- Tilbud
- dedikasjon
- avdelinger
- utplassert
- Distribueres
- utvikle
- utviklere
- forskjellig
- diskutert
- diversifisert
- Divided
- gjør
- dollar
- ulemper
- hver enkelt
- økosystem
- elementer
- dukket
- anvender
- empowered
- bemyndiger
- muliggjør
- sikre
- hovedsak
- etablere
- etc
- ETH
- Eth 2.0
- et klassisk
- ethereum
- Ethereum blockchain
- Ethereum Classic
- ETHEREUM MAINNET
- etereskalering
- eterskanning
- Selv
- hendelser
- NOEN GANG
- Hver
- EVM
- eksempel
- gjennomføring
- dyrt
- forklarte
- forklaring
- utforske
- utforsket
- utvendig
- forenkler
- vendt
- raskere
- Fed
- gebyr
- avgifter
- Noen få
- slutt~~POS=TRUNC
- Finn
- Først
- Fokus
- følge
- fulgt
- etter
- skjema
- tidligere
- Forward
- svindel
- svindel bevis
- uredelig
- fra
- GAS
- gassavgift
- generell
- generere
- få
- få
- Go
- god
- Hard
- maskinvare
- hode
- hjelpe
- her.
- Heksens
- Høy
- HOT
- TIMER
- Hvordan
- Men
- HTTPS
- Hundrevis
- ID
- Identitet
- iverksette
- in
- I andre
- Incentive
- inkludere
- inkluderer
- Øke
- øker
- utrolig
- informasjon
- inngang
- instruksjoner
- integrere
- integritet
- interaksjon
- interaktiv
- Interface
- intern
- introdusert
- involvert
- IT
- Hold
- Vet
- kunnskap
- kjent
- L1
- l2
- Språk
- språk
- større
- Siste
- lag
- lag 1
- Layer 2
- skalering av lag 2
- LÆRE
- brev
- Bibliotek
- BEGRENSE
- begrensning
- Liste
- Lang
- Lot
- maskin
- maskiner
- Hoved
- hovednettet
- opprettholder
- større
- gjøre
- GJØR AT
- Making
- fikk til
- mange
- Kart
- merket
- Matic
- Matic Network
- midler
- mekanisme
- fra middelalderen
- metamask
- metodikk
- sinn
- øyeblikk
- penger
- mer
- mest
- flytte
- nødvendig
- Trenger
- nettverk
- Ny
- neste
- node
- ONE
- Annen
- del
- deltakere
- Spesielt
- parter
- deler
- parti
- Betale
- Utfør
- utfører
- fase
- bilde
- plato
- Platon Data Intelligence
- PlatonData
- Point
- polygon
- Polygonnettverk
- Polygon
- basseng
- PoS
- mulig
- Post
- potensiell
- PoW
- tidligere
- privatliv
- prosess
- Prosesser
- produsere
- Produkt
- profesjonell
- lønnsom
- Programmering
- programmerings språk
- prosjekt
- prosjekter
- lovende
- bevis
- bevis
- foreslå
- foreslått
- protokollen
- Bevis
- beviste
- gi
- gir
- publisere
- Skyv
- Skyver
- sette
- setter
- raskt
- Quillhash
- hever
- Lese
- klar
- grunnen til
- motta
- mottatt
- mottar
- redusere
- slipp
- representert
- påkrevd
- forskning
- begrensning
- resultere
- Resultater
- anmeldelse
- robusthet
- Rolle
- Rull
- rull opp
- Roll-ups
- Valsede
- samle
- regler
- sikrere
- samme
- besparende
- skalerbarhet
- Skala
- skalering
- Skaleringsløsning
- Sekund
- sikre
- sikkerhet
- tjeneste
- Tjenester
- sett
- flere
- utstillingsvindu
- kjeden
- Enkelt
- enkelt
- Smart
- smart kontrakt
- Smarte kontrakter
- Snark
- So
- Software
- SOL
- løsning
- Solutions
- LØSE
- noen
- Noen
- Rom
- fart
- Scene
- stake
- står
- Stjerne
- stark
- Tilstand
- Trinn
- Still
- lagret
- studier
- send
- innsendt
- vellykket
- slik
- SAMMENDRAG
- oppsummerte
- overraskelse
- synkronisering
- system
- Ta
- tar
- ta
- lag
- vilkår
- De
- informasjonen
- Staten
- verden
- deres
- seg
- ting
- Tredje
- tredjeparter
- tre
- Gjennom
- gjennomstrømning
- tid
- til
- i dag
- sammen
- tokens
- topp
- Transaksjonen
- transaksjonell
- Transaksjoner
- overgang
- overganger
- sant
- SVING
- etter
- forstå
- forståelse
- UPS
- Brukere
- utnytte
- VALIDERE
- validering
- kjøretøy
- Verifisering
- verifisert
- verifisere
- vital
- måter
- Web3
- Web3 fellesskap
- Web3 økosystem
- Web3 plass
- Hva
- hvilken
- HVEM
- hele
- vil
- Arbeid
- virker
- verden
- ville
- skrive
- skriving
- Feil
- år
- Du
- Din
- zephyrnet
- zk-samleoppdatering
- zkEVM