Lugemise aeg: 9 protokoll
Polygon säilitab oma krooni ZKrollupi tuues.
Probleem Ethereumi Mainnetiga
Ethereum on web3 ökosüsteemi selgroog. See üllatab jätkuvalt maailma säravamaid päid oma potentsiaaliga. Mitmekülgsete rakenduste potentsiaal paneks isegi Einsteini hetkeks kukalt kratsima.
Aga jah, see pole muinasjutt. Igal vingel asjal on piirang või piirang. Pidev piirang, millega Ethereum on silmitsi seisnud, on "gaasitasud" või teisisõnu skaleeritavus, Ethereum Classicul on limiit 15 tehingut sekundis. ETH 2.0 on aga sellest palju kiirem, kuid meil on veel pikk tee minna.
Lahendused proovitud
Pärast aastaid kestnud uurimistööd, pikaajalisi uuringuid ja nihkele pühendumist suutis web3 kogukond välja tuua mõned lahendused, mis aitavad paremini skaleerida
- 1. kihi skaleerimine: see on metoodika, mille abil püüame plokiahelat paremaks muuta, tehes arhitektuuris mõningaid muudatusi. Näiteks ETH 2.0 on 1. kihi skaleerimislahendus, kuna see üritab ETH Classicus luua PoS-i PoW jaoks. Seda tüüpi lahendus on kallis ja aeganõudev.
- Roll Ups: See on 2. kihi lahendus, mis on kõige lootustandvam kandidaat. Kasutajad saavad turvalisuse, mida toetab suure läbilaskevõimega Ethereumi plokiahel.
- Külgahelad: need on EVM-iga ühilduvad ja võivad üldotstarbelisi rakendusi skaleerida, kuid neil on puudusi. Kuna Ethereum ei toeta oma turvalisust, peab Web3 kogukond olema pidevalt teadlik. See toimub 2. kihi skaleerimise all.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Hulknurga võte
Alustades ethereumi skaleerimise projektist Polygon, varem tuntud kui Matic Network, kerkis veebi3 ruumis särava tähena. Tehingu kinnitamine polügoonivõrgus kulub sente, samas kui sama tehing võtaks Ethereumi Mainnetis dollareid. See kõik oli võimalik tänu Ethereumi põhivõrgu peale ehitatud külgahelale.
Hiljem uuris Matic Network erinevaid viise Ethereumi plokiahela skaleerimiseks ja nimetati ümber "Polygoniks", et pakkuda erinevaid lahendusi Ethereumi plokiahela paremaks skaleerimiseks.
Selle ajaveebi kirjutamise ajal on mitu projekti: -
- Hulknurk PoS
- Hulknurksed supervõrgud
- Hulknurk null
- Hulknurk Miden
- Hulknurk zkEVM
Selles ajaveebis uurime Polygoni uut versiooni zkEVM, mis on üks kuumimaid projekte Ethereumi skaleerimiseks.
Hulknurk zkEVM
Polygon zkEVM on toode polügooni kaupa Ethereumi skaleerimiseks, et vähendada gaasitasusid ja suurendada läbilaskevõimet. "ZK" tähistab "nullteadmisi", mis on Roll-up tüüpi. Enne edasiliikumist vajame ülevaadet koondandmetest.
Mis on rullupid
Kujutage ette seda nii, oletame, et linnast A linna B on postikirjateenus, kuid seal on ainult 1 sõiduk, mis võib võtta vaid 100 ümbrikku üks kord päevas. Leiad, et see piirab ja püüad leida viisi. Mida saate teha, on võtta 10 kirja ja kirjutada nende kokkuvõte ühe kirjaga ning panna see postitamiseks ümbrikusse. nii saame postitada 99 + (10) kirja. See on sisuliselt see, mida roll-up on.
Nii toimivadki rullupid Ethereumi põhivõrgus. Võtame tüki tehinguid, kogume need kokku, teeme kokkuvõtte ja lükkame seejärel põhivõrku. See suurendab läbilaskevõimet. Tehingutasu jagatakse kokkupandava partii tehingutega seotud erinevate osapoolte vahel. Nii vähendame gaasitasusid tublisti.
Rulli üles mehhanismid
Iga koondpakett juurutab 1. kihil mõned nutikad lepingud, mis on seotud:
- Hoiuste töötlemine
- Väljamakseid
- Tõestuste kontrollimine
Peamine murekoht on siin kontrollimehhanism. Kuidas kontrollida, et 1. kihile esitatud rull-up ei oleks pettus? Selle kontrollimiseks on meil kaks valideerimismehhanismi:
- nullteadmised: see mehhanism kasutab kehtivustõestusi ja seda toetab krüptograafia. Kokkupandud tehingute kogum sisaldab krüptograafilist tõendit, mida nimetatakse zk-snarkiks. Layer 1 nutikad lepingud kontrollivad tõendit tehingute partii esitamisel kiiresti ja kehtetud lepingud lükatakse tagasi.
- Optimism: see mehhanism töötab pettusekindlalt. See tähendab, et peame tõestama, et 1. kihile esitatud partii ei ole petturlik. Kaasatud on kaks osapoolt, üks esitab partii 2. kihi protokollile, öeldes, et partii on õige, ja seab mängu raha, kui on võimalik tõestada, et see on vale, ja teine osapool üritab esitada pettusekindlust, kinnitades, et see partii on pahatahtlik. ja selle väitega paneb panuse. Kui keegi tõstatab pettusetõendi, kontrollitakse partii 1. kihi protokolli alusel ja osapoolt, kes on eksinud, karistatakse.
Hulknurga zkEVM-i arhitektuur: -
Nüüdseks peab teil olema korralik arusaamine, kuidas roll-up toimib, eriti zk-roll-up. Peamised komponendid, mida leiame hulknurga zkEVM-is, on järgmised:
- Konsensusleping (PolygonZkEVM.sol)
- zkNode
- zkProver
Konsensusleping
See leping on kasutusele võetud L1-s ja sellel on ülioluline roll, kasutades kehtivustõendit, et tagada olekuüleminekute tugevus. Selleks on sellel eelnevalt kindlaksmääratud reeglid, mida järgitakse olekuülemineku võimaldamiseks.
Oleku ülemineku eduka lõpuleviimise kontrollimiseks kasutab see leping zk-SNARKi ahelaid. See süsteem tugineb kahele protsessile, tehingutele, mis on komplekteerimine ja tehingu valideerimine, nagu eelnevalt selgitatud.
Tehingute komplekteerimise ja tehingute valideerimise läbiviimiseks töötab zkEVM-is kaks osalejat: -
- Sekveneerijad: - pakuvad võrku tehingupartiid.
- Agregaatorid: - kontrollige tehingupartiide kehtivust ja esitage kehtiv tõend.
Lisateavet sekvenaatorite ja agregaatorite kohta hiljem, keskendume sellele lepingule. Leping teeb kaks kõnet-
- partiide saamiseks Sequencersilt
- koondajatele, kes taotlevad partiide kinnitamist
Kogu selle protsessi saab kokku võtta järgmise diagrammiga (siin on PoE meie konsensusleping): -
zkNode
Meile tutvustati Consensus Contractis Sequencerit ja Aggregatorit, need kaks on zkEVM-i arhitektuuri olulised osad ja zkNode on tarkvara, mis annab neile võimaluse olla. zkNode on klient, mis on vajalik sünkroonimise juurutamiseks ning sekveneerijate ja agregaatorite haldamiseks. Niisiis, zkNode tarkvara hõlbustab nelja aspekti: -
- Sekveneerijad: sekveneerija on see, kes võtab kasutajatelt vastu L2 tehingud ja eeltöötleb need uude L2 partii, mis seejärel esitatakse konsensuslepingule. Sekvenser saab tasu, mille kasutajad esitavad L2 tehingute eest. Selle partii avaldamiseks L1-s peab sekveneerija tasuma L1-tasud ja maksma ka mõned MATIC-märgid, mis motiveerivad koondajaid selle partii kinnitamiseks. Seega on sekveneerija kasumlik, kui:- txn-tasud (saavad kasutajad L2-s oma tehingu eest) > L1-kõne (bensutasu L1-s avaldamiseks) + MATIC-tasu (agregaatorite stiimuliks kinnitamiseks)
- Agregaatorid: - Agregaatorid on partii terviklikkuse kontrollimiseks üliolulised. Agregaatorid saavad kogu tehinguteabe ja saadavad selle seejärel "zkProverile" (sellest lähemalt hiljem), mis omakorda annab "zk-Proof", mis on keerukate polünoomarvutuste tulemus. Seejärel saadetakse „zk-Proof” nutikale lepingule, et kontrollida tõendi õigsust. Seejärel märgitakse see partii õigeks ja lisamiseks valmis. Koondandja on kasumlik, kui:- MATIC tasu (sekvenseri poolt) > L1 kõne (gaasitasu) + serveri maksumus (tõendi koostamiseks)
- Sünkroniseerija: - sünkroniseerija põhiaspektiks on sündmuste lugemine Ethereumi plokiahelast ja uute partiide kaasamine oleku sünkroonimiseks. Nende sündmuste teave salvestatakse andmebaasi. Sünkroniseerija hangib andmed nutikatest lepingutest. Kõik need andmed edastatakse seejärel kolmandatele osapooltele JSON-RPC teenuse kaudu.
- RPC: - JSON-RPC on ülioluline liides, mis ühildub Ethereumiga. Kui vajame Ethereumi plokiahelaga ühenduse loomiseks tarkvararakendust, ühendub see Ethereumi sõlmega. Nii tuleb pildile RPC. See võimaldab zkEVM-il integreerida Metamaski ja Etherscani ning suhelda basseini ja riigi tehingutega.
zkProver
See zkEVM-i arhitektuuri osa on kõige tehnoloogiliselt orienteeritud ja keerukam. Teid üllatab teadmine, et seda teha. Vajalike elementide rakendamiseks pidid arendajad välja töötama kaks uut programmeerimiskeelt: -
- Null – teadmiste kogum: Lihtsamalt öeldes kaardistab see keel zkProveri põhiolekumasina juhised teistele olekumasinatele. Selle keele kohta lisateabe saamiseks vaadake see.
- Polünoomne identiteedi keel (PIL): - Privaatsuse, turvalisuse ja skaleeritavuse plokiahela trilemma lahendamiseks on tehtud palju uuringuid. Siiani on tehtud mitmeid katseid ja erinevaid teooriakatsetusi, kuid siiani on kõige enam aktsepteeritud polünoomilise kohustuse skeem. Seetõttu on mugav teha arvutusi ainult polünoomkeeles. Seega moodustavad PIL-koodid zkProveri kontrollikoodi aluse. Selle kohta lisateabe saamiseks järgige siin.
zkProverit toetavad mitmeaastased uuringud erinevates osakondades, mistõttu on selle keerukus õigustatud. zkProveris on peamiselt mõned peamised komponendid: -
- Täitja:- see osa käsitleb zkEVM-i täitmist põhiolekumasinast. See on koht, kus EVM-i baitkoode tõlgendatakse, kasutades uut "null-teadmiste kokkupanemise keelt" (zkASM), millest oli varem juttu. Selles osas käsitleme polünoomipiirangute seadistamist, mida iga kehtiv tehingute partii peab täitma, ja söötma sisendit (nt tehingud, vana/uus olek, ahela ID jne). Siin on PIL (polünoomilise identiteedi keel) kodeerimiseks polünoomipiirangud. Selle sammu väljundiks on kohustuste polünoomid, mis on kõigi PIL-i riistvara peal olevate juhiste täitmise tulemus.
- Stark Recursion Component: See samm hõlmab kolme peamise sisendi koostoimet: Pühendunud polünoomid, konstantsed polünoomid ja juhiste loend. Need kolm sisendit segunevad, et luua zk-STARK-tõestused. Need mitmed zk-STARK-tõestused on koondatud mõne zk-STARK-i tõestusega kimpudesse ja igast kimbust saadakse zk-STARK-tõestus. Seejärel pannakse need tõestused kimpu ja koondatakse üheks zk-STARK-i tõestuseks. Nii kujutatakse sadu zk-STARK-i tõestusi ja tõestatakse neid ainult ühe zk-STARK-tõestusega.
- CIRCOMi teek: see samm hõlmab interaktsiooni kontrollija andmete ja Stark Recursion Componenteti kaudu loodud üksiku zk-STARK tõestusega, et luua "tunnistaja" see samm on vajalik järgmiseks sammuks zk-STARK tõendi zk-ks teisendamiseks. SNARKi tõend.
- Rapid Snark:- see on zkProveri viimane komponent. See on etapp, kus CIRCOM-i raamatukogu väljundi "tunnistaja" söödetakse koos STARK-i kontrollija andmetega, et luua zk-SNARK-tõend.
zk-STARK-tõestusi kasutatakse nende kiiruse tõttu, kuid need on palju suuremad kui zk-SNARK-tõestused. Sel põhjusel kasutab zkProver viimases etapis loodud zk-SNARK-i, kasutades zk-STARK-tõestuste andmeid. Nende nelja komponendi koostoimet võib vaadelda järgmiselt:
Vaadates turvalisuse aspekti
Turvalisuse mõttes on zkEVM projekt oma keskaegses faasis ning polügooni meeskond on pidevalt osalenud sise- ja välisauditites. Info siseauditite tulemuste kohta on enamasti salastatud, kuid Polygon võttis appi kaks välisaudiitorit (Hexens ja Spearbit). Esitledes tuleb hankida nutikad lepinguauditid isegi suurte hiiglaste poolt. On tõsi, et "Hakid tulevad ootamatult". Tõepoolest, te ei saa kunagi olla nii kindel ja kindel. Enamik web3 ökosüsteemi hiiglasi mõistab seda ja pingutab kõvasti enda turvalisuse nimel.
Nüüd rohkem kui kunagi varem peame kaitsma web3. Praeguses etapis on nutikate lepingute professionaalse koodiülevaatuse saamine ülioluline, säästes arendajatele lugematuid töötunde. Teie lepingute turvalisuse tagamine on olulisem kui kunagi varem. Koos saame muuta Web3 turvalisemaks ruumiks. Külastage QuillAudits tutvuda erinevate teenuste ja lahendustega.
11 views
- SEO-põhise sisu ja PR-levi. Võimenduge juba täna.
- Platoblockchain. Web3 metaversiooni intelligentsus. Täiustatud teadmised. Juurdepääs siia.
- Allikas: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- MEIST
- sellest
- lisatud
- Agregaator
- Agregaatorid
- Materjal: BPA ja flataatide vaba plastik
- vahel
- ja
- taotlus
- rakendused
- arhitektuur
- aspekt
- aspektid
- Kokkupanek
- seotud
- Katsed
- audiitorid
- auditid
- tagasi
- Selgroog
- tagatud
- alus
- sest
- enne
- on
- Parem
- Suur
- Segu
- blockchain
- Blogi
- hiilgav
- Toomine
- ehitama
- ehitatud
- Kimp
- arvutused
- helistama
- viima
- kett
- Keti ID
- Vaidluste lahendamine
- kontrollima
- Linn
- nõudma
- klassika
- salastatud
- klient
- kood
- Koodi ülevaade
- koguma
- Tulema
- kohustus
- toime pandud
- kogukond
- kokkusobiv
- lõpetamist
- keeruline
- keerukus
- komponent
- komponendid
- arvutused
- Murettekitav
- Kinnitama
- Võta meiega ühendust
- ühendab
- üksmeel
- pidev
- pidevalt
- piiranguid
- pidev
- pidevalt
- leping
- lepingud
- Mugav
- muutma
- looma
- loodud
- Kroon
- otsustav
- krüptograafia
- krüptograafia
- andmed
- andmebaas
- kuupäev
- päev
- tegelema
- Pakkumised
- pühendumine
- osakonnad
- lähetatud
- juurutab
- arendama
- Arendajad
- erinev
- arutatud
- mitmekesine
- jagatud
- teeme
- dollarit
- puudused
- iga
- ökosüsteemi
- elemendid
- tekkinud
- töötab
- volitatud
- annab volitusi
- võimaldab
- tagama
- põhiliselt
- looma
- jms
- ETH
- Eet 2.0
- ee klassika
- ethereum
- Ethereumi plokiahel
- Ethereum Classic
- ETHEREUM MAINNET
- ethereumi skaleerimine
- eetriskanal
- Isegi
- sündmused
- KUNAGI
- Iga
- EVM
- näide
- täitmine
- kallis
- selgitas
- selgitus
- uurima
- uurida
- väline
- hõlbustab
- ees
- kiiremini
- Toidetud
- tasu
- Tasud
- vähe
- lõplik
- leidma
- esimene
- Keskenduma
- järgima
- Järgneb
- Järel
- vorm
- varem
- edasi
- pettus
- pettust tõendav
- pettusega
- Alates
- GAS
- gaasitasud
- Üldine otstarve
- tekitama
- saama
- saamine
- Go
- hea
- Raske
- riistvara
- juhataja
- aitama
- siin
- Hexens
- Suur
- KUUM
- Lahtiolekuajad
- Kuidas
- aga
- HTTPS
- sajad
- ID
- Identity
- rakendada
- in
- Teistes
- Stiimul
- sisaldama
- hõlmab
- Suurendama
- Tõstab
- uskumatult
- info
- sisend
- juhised
- integreerima
- terviklikkuse
- suhtlemist
- interaktiivne
- Interface
- sisemine
- sisse
- seotud
- IT
- hoidma
- Teadma
- teadmised
- teatud
- L1
- l2
- keel
- Keeled
- suurem
- viimane
- kiht
- kiht 1
- Kiht 2
- 2. kihi skaleerimine
- Õppida
- kiri
- Raamatukogu
- LIMIT
- piiramine
- nimekiri
- Pikk
- Partii
- masin
- masinad
- põhiline
- mainnet
- jääb
- peamine
- tegema
- TEEB
- Tegemine
- juhitud
- palju
- kaardid
- märgitud
- Matic
- Matic Network
- vahendid
- mehhanism
- keskaja
- MetaMask
- Metoodika
- mõtetes
- hetk
- raha
- rohkem
- kõige
- liikuma
- vajalik
- Vajadus
- võrk
- Uus
- järgmine
- sõlme
- ONE
- Muu
- osa
- osalejad
- eriline
- isikutele
- osad
- partei
- Maksma
- täitma
- esitades
- faas
- pilt
- Platon
- Platoni andmete intelligentsus
- PlatoData
- Punkt
- hulknurk
- Hulknurga võrk
- Polükoonid
- ujula
- PoS
- võimalik
- post
- potentsiaal
- PoW
- varem
- privaatsus
- protsess
- Protsessid
- tootma
- Toode
- professionaalne
- tulutoov
- Programming
- programmeerimiskeeled
- projekt
- projektid
- paljutõotav
- tõend
- tõendid
- esitama
- pakutud
- protokoll
- Tõesta
- tõestatud
- anda
- annab
- avaldama
- Lükkama
- Lükkamine
- panema
- Paneb
- kiiresti
- Quillhash
- tõstab
- Lugenud
- valmis
- põhjus
- saama
- saadud
- saab
- vähendama
- vabastama
- esindatud
- nõutav
- teadustöö
- piirang
- kaasa
- Tulemused
- läbi
- tugevus
- Roll
- Rull
- Üles kerima
- Roll-up
- Valtsitud
- Rullikud
- eeskirjade
- ohutum
- sama
- säästmine
- Skaalautuvus
- Skaala
- ketendamine
- Skaleerimise lahendus
- Teine
- kindlustama
- turvalisus
- teenus
- Teenused
- komplekt
- mitu
- esitlus
- külgahela
- lihtne
- ühekordne
- nutikas
- arukas leping
- Tarkvaralepingud
- norskama
- So
- tarkvara
- SOL
- lahendus
- Lahendused
- LAHENDAGE
- mõned
- Keegi
- Ruum
- kiirus
- Stage
- kaalul
- seisab
- täht
- Karm
- riik
- Samm
- Veel
- ladustatud
- uuringud
- esitama
- esitatud
- edukas
- selline
- KOKKUVÕTE
- kokku
- üllatus
- Sünkroonimine
- süsteem
- Võtma
- võtab
- võtmine
- meeskond
- tingimused
- .
- teave
- Riik
- maailm
- oma
- ennast
- asi
- Kolmas
- kolmandad isikud
- kolm
- Läbi
- läbilaskevõime
- aeg
- et
- täna
- kokku
- märgid
- ülemine
- tehing
- tehinguline
- Tehingud
- üleminek
- üleminekuid
- tõsi
- Pöörake
- all
- mõistma
- mõistmine
- UPS
- Kasutajad
- kasutades
- KINNITAGE
- kinnitamine
- sõiduk
- Kontrollimine
- kinnitatud
- kontrollima
- tähtis
- kuidas
- Web3
- Web3 kogukond
- Web3 ökosüsteem
- Web3 ruum
- M
- mis
- WHO
- kogu
- will
- Töö
- töötab
- maailm
- oleks
- kirjutama
- kirjutamine
- Vale
- aastat
- sa
- Sinu
- sephyrnet
- zk-rollup
- zkEVM