Olvasási idő: 9 jegyzőkönyv
A Polygon fenntartja koronáját a ZKrollup behozatalával.
Probléma az Ethereum Mainnet-el
Az Ethereum a web3 ökoszisztéma gerince. Továbbra is meglepi a világ legragyogóbb elméit a benne rejlő lehetőségekkel. A változatos alkalmazásokban rejlő lehetőségek egy pillanatra még Einsteint is megvakarnák.
De igen, ez nem mese. Minden csodálatos dolognak megvannak a korlátai vagy korlátozásai. Az Ethereum állandó korlátja a „gázdíjak”, vagy más szóval a skálázhatóság, az Ethereum Classic másodpercenként 15 tranzakciót hajthat végre. Az ETH 2.0 azonban sokkal gyorsabb lesz ennél, de még hosszú út áll előttünk.
Kipróbált megoldások
Évekig tartó kutatómunka, hosszan tartó tanulmányozás és nyírási elkötelezettség után a web3 közösségnek sikerült néhány olyan megoldást kidolgoznia, amelyek segítenek a jobb méretezésben
- Layer 1 Scaling: Ez az a módszer, amellyel megpróbáljuk jobbá tenni a blokkláncot az architektúra módosításával. Például az ETH 2.0 egy 1. rétegbeli skálázási megoldás, mivel megpróbálja létrehozni a PoS-t a PoW számára az ETH Classic-ban. Ez a fajta megoldás költséges és időigényes.
- Roll Ups: - Ez egy 2. rétegű megoldás, amely a legígéretesebb versenyző. A felhasználók biztonságát a nagy áteresztőképességű Ethereum blokklánc támogatja.
- Sidechains: - Ezek EVM-kompatibilisek, és általános célú alkalmazásokat is méretezhetnek, de vannak hátrányaik. Mivel az Ethereum nem támogatja a biztonságát, a Web3 közösségnek folyamatosan figyelnie kell. Ez a 2. réteg méretezése alá tartozik.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Sokszög felvétele
Az ethereum skálázási projektből induló Polygon, korábban Matic Network néven, ragyogó csillagként jelent meg a web3 térben. Egy poligon hálózaton a tranzakció megerősítése centbe kerül, míg az Ethereum Mainnet-en ugyanaz a tranzakció dollárba kerülne. Mindez az Ethereum mainnet tetejére épített oldallánc miatt volt lehetséges.
Később a Matic Network több különböző módot vizsgált az Ethereum blokklánc skálázására, és átnevezték „Polygon”-ra, hogy különböző megoldásokat kínálhasson az Ethereum blokklánc jobb méretezésére.
A blog írásakor több projekt is létezik: -
- Sokszög PoS
- Sokszög szuperhálók
- Nulla sokszög
- Sokszög Miden
- Sokszög zkEVM
Ebben a blogban a Polygon új kiadását, a zkEVM-et fogjuk felfedezni, amely az Ethereum méretezésének egyik legnépszerűbb projektje.
Sokszög zkEVM
A Polygon zkEVM egy olyan termék, amely sokszögönként méretezi az Ethereumot a gázdíjak csökkentése és az áteresztőképesség növelése érdekében. A „ZK” a „zéró tudás” rövidítése, a Roll up egy fajtája. Mielőtt továbblépnénk, meg kell értenünk az összesítést.
Mik azok a roll-upok
Képzelje el így, tegyük fel, hogy van postai levélszolgáltatás A városból B városba, de csak 1 jármű van, amely naponta egyszer csak 100 borítékot tud elvinni. Korlátozónak találod, és megpróbálod megtalálni a módját. Amit megtehetsz, az az, hogy veszel 10 levelet, és írd le az összefoglalójukat egyetlen levélben, és tedd egy borítékba a postázáshoz. így 99 + (10) levelet tudunk feladni. Lényegében ez a roll-up.
A roll-upok lényegében így működnek az Ethereum főhálózatán. Vessünk egy darab tranzakciót, összegyűjtjük egy „gördülőbe”, összesítjük, majd kinyomjuk a mainnetre. Ez növeli az áteresztőképességet. A tranzakciós díj felosztásra kerül a felgöngyölítés alatt álló köteg tranzakcióihoz kapcsolódó különböző felek között. Ezzel jó mértékben csökkentjük a gázdíjat.
Roll-up mechanizmusok
Minden összesítés néhány intelligens szerződést telepít az 1. rétegen, amelyek a következőkhöz kapcsolódnak:
- Betétek feldolgozása
- kivonás
- Bizonyítások ellenőrzése
A fő probléma itt az ellenőrzési mechanizmus. Hogyan ellenőrizhetjük, hogy az 1. rétegbe benyújtott roll-up nem csalárd? Ennek ellenőrzésére két érvényesítési mechanizmusunk van: -
- nulla tudás:- Ez a mechanizmus érvényességi igazolásokat használ, és kriptográfia hatalmazza fel. A felgöngyölített tranzakcióköteg egy „zk-snark” néven ismert kriptográfiai bizonyítékot tartalmaz. A bizonyítást az 1. rétegbeli intelligens szerződések gyorsan ellenőrzik a tranzakcióköteg benyújtásakor, az érvényteleneket pedig elutasítják.
- Optimizmus: - Ez a mechanizmus csalásbiztosan működik. Ez azt jelenti, hogy bizonyítanunk kell, hogy az 1. rétegbe benyújtott köteg nem csalárd. Két fél vesz részt, az egyik benyújtja a köteget az 2. réteg protokollnak, mondván, hogy a köteg helyes, és némi pénzt tesz kockára, ha bebizonyosodik, hogy téves, a másik fél pedig megpróbál csalásbiztos benyújtani, és kijelenti, hogy ez a köteg rosszindulatú. és ezzel az állítással némi tétet tesz. Ha valaki csalás bizonyítékát állítja fel, a köteget a Layer 1 protokollon ellenőrzik, és a hibásnak bizonyult felet megbüntetik.
A poligon zkEVM architektúrája: -
Mostanra már tisztességesen ismernie kell a roll-up működését, különösen a zk-roll-up működését. A poligon zkEVM-ében található fő összetevők a következők:
- Konszenzusos szerződés (PolygonZkEVM.sol)
- zkNode
- zkProver
Konszenzusos szerződés
Ez a szerződés az L1-en van telepítve, és kulcsfontosságú szerepet játszik azáltal, hogy érvényességi igazolást alkalmaz az állapotátmenetek robusztusságának biztosítása érdekében. Ehhez előre meghatározott szabályokkal rendelkezik, amelyek betartása lehetővé teszi az állapotátmeneteket.
Az állapotátmenet sikeres befejezésének ellenőrzésére ez a szerződés zk-SNARK áramköröket alkalmaz. Ez a rendszer két folyamatra támaszkodik, a tranzakciókra, amelyek a kötegelés és a tranzakció érvényesítése, amint azt korábban kifejtettük.
A tranzakció kötegelés és a tranzakció érvényesítés végrehajtásához a zkEVM két résztvevőt alkalmaz: -
- Sorrendezők: - tranzakciós kötegeket javasolnak a hálózatnak.
- Aggregátorok: - Ellenőrizze a tranzakciós kötegek érvényességét, és érvényes bizonyítékot nyújtson be.
Bővebben a Sequencersről és az aggregátorokról később, és koncentráljunk erre a szerződésre. A szerződés két hívást tartalmaz,
- hogy megkapja a kötegeket a Sequencerstől
- a kötegek érvényesítését kérő aggregátoroknak
Ez az egész folyamat a következő diagramban foglalható össze (itt a PoE a konszenzusos szerződésünk): -
zkNode
A Consensus Contractben ismerkedtünk meg a Sequencerrel és az Aggregatorral, ez a kettő kulcsfontosságú része a zkEVM architektúrának, és a zkNode az a szoftver, amely felhatalmazza őket erre. A zkNode egy kliens, amely a szinkronizálás megvalósításához és a szekvenálók és aggregátorok irányításához szükséges. Tehát a zkNode szoftver 4 szempontot tesz lehetővé: -
- Sorrendezők: - A szekvenszer az, aki megkapja az L2 tranzakciókat a felhasználóktól, és előfeldolgozza azokat egy új L2 kötegbe, amelyet azután a Concensous Contracthoz javasolnak. A szekvenszer megkapja a felhasználók által az L2-n végzett tranzakcióikért benyújtott díjat. Ennek a kötegnek az L1-ben való közzétételéhez a Sorrendezőnek L1-díjat kell fizetnie, és fizetnie kell néhány MATIC tokent is, amelyek ösztönzik az aggregátorokat a köteg érvényesítésére. Tehát a szekvenszer akkor nyereséges, ha: - txn díjak (amit a felhasználók az L2-ben kapnak a tranzakciójukért) > L1 hívás (gázdíj az L1-en történő közzétételhez) + MATIC díj (az aggregátorok érvényesítésének ösztönzése)
- Aggregátorok: - Az aggregátorok alapvető fontosságúak a köteg integritásának ellenőrzéséhez. Az aggregátorok megkapják az összes tranzakciós információt, majd elküldik a „zkProver”-nek (erről később), ami viszont egy „zk-Proof”-ot biztosít, amely összetett polinomszámítások eredménye. A „zk-Proof” ezután elküldésre kerül az intelligens szerződésnek, hogy ellenőrizze a bizonyíték helyességét. Ezt a tételt helyesen jelölik meg, és készen áll a hozzáadásra. Az aggregátor akkor nyereséges, ha: - MATIC díj (a szekvencer által) > L1 hívás (gázdíj) + Szerverköltség (a bizonyíték létrehozásához)
- Szinkronizáló: - A szinkronizáló fő szempontja, hogy beolvassa az eseményeket az Ethereum blokkláncból, és belefoglalja az új kötegeket az állapot szinkronizálása érdekében. Az ezekből az eseményekből származó információkat az adatbázisban tároljuk. A szinkronizáló megkapja az adatokat az intelligens szerződésekből. Mindezeket az adatokat ezután harmadik feleknek a JSON-RPC szolgáltatáson keresztül szolgáltatják.
- RPC:- A JSON-RPC egy kulcsfontosságú interfész, amely kompatibilis az Ethereummal. Amikor szükségünk van egy szoftveralkalmazásra az Ethereum blokklánchoz való csatlakozáshoz, az csatlakozik egy Ethereum csomóponthoz. Így jön a képbe az RPC. Lehetővé teszi a zkEVM számára, hogy integrálja a Metamaskot és az Etherscant, és együttműködjön a Pool és State tranzakciókkal.
zkProver
A zkEVM architektúrának ez a része technológiailag leginkább orientált és legösszetettebb. Meg fog lepődni, ha megtudja, hogy ezt végre kell hajtani. A fejlesztőknek két új programozási nyelvet kellett kifejleszteniük a szükséges elemek megvalósításához: -
- Zero — Knowledge Assembly: – Egyszerűen fogalmazva, ez a nyelv leképezi a zkProver fő állapotú gépének utasításait más állapotgépekre. Ha többet szeretne megtudni erről a nyelvről, ellenőrizze ezt.
- Polynomial Identity Language (PIL): - Sok kutatás folyt a blokklánc adatvédelem, biztonság és méretezhetőség trilemma megoldására. A mai napig számos próbálkozás és különféle elméleti próbálkozás történt, de a mai napig leginkább elfogadott a „polinomiális kötelezettségvállalási rendszer”. Ezért csak polinomiális nyelven kényelmes számításokat végezni. Így a PIL kódok képezik a zkProver ellenőrző kódjának alapját. Ha többet szeretne tudni róla, kövesse itt.
A zkProver mögött sok évnyi kutatás áll a különböző részlegeken, ami indokolttá teszi összetettségét. A zkProver főbb összetevőiből áll: -
- A végrehajtó: - Ez a rész a zkEVM végrehajtásával foglalkozik a fő állapotgépről. Ez az a hely, ahol az EVM bájtkódokat a korábban tárgyalt új „nulla tudású összeállítási nyelv” (zkASM) segítségével értelmezik. Ebben a részben a polinomiális megszorítások beállításával foglalkozunk, amelyeket minden érvényes tranzakciókötegnek teljesítenie kell, és betáplálnia kell a bemenetet, például tranzakciókat, régi/új állapotot, láncazonosítót stb. Itt található a PIL (polinomiális azonosító nyelv) a polinomiális kényszerek. Ennek a lépésnek a kimenete a „kötelezettségvállalási polinomok”, amely a PIL hardveren lévő összes utasítás végrehajtásának eredménye.
- Stark rekurziós komponens: - Ez a lépés három fő bemenet interakcióját foglalja magában: Kötelezett polinomok, állandó polinomok és egy utasításlista. Ez a három bemenet keveredik a zk-STARK bizonyítványok előállításához. Ezt a több zk-STARK bizonyítványt néhány zk-STARK bizonyítványból álló kötegekbe rendezik, és mindegyik kötegből egy zk-STARK bizonyítványt állítanak elő. Ezután ezek a bizonyítások egy kötegbe kerülnek, és egybesorolják, hogy egyetlen zk-STARK bizonyítást kapjanak. Így több száz zk-STARK bizonyítást ábrázolnak és bizonyítanak egyetlen zk-STARK bizonyítással.
- CIRCOM Library: - Ez a lépés magában foglalja a Verifier adatokkal és a Stark Recursion Componenten keresztül létrehozott egyetlen zk-STARK bizonyítvánnyal való interakciót a „tanú” generálásához, ez a lépés szükséges a következő lépéshez, amely a zk-STARK bizonyítást zk-re konvertálja. SNARK bizonyíték.
- Rapid Snark:- Ez a zkProver utolsó összetevője. Ez az a szakasz, ahol a „tanú” a CIRCOM könyvtár kimenetét a STARK ellenőrző adatokkal együtt táplálja a zk-SNARK bizonyítvány létrehozásához.
A zk-STARK bizonyításokat gyorsaságuk miatt használják, de sokkal nagyobbak, mint a zk-SNARK bizonyítások. Emiatt a zkProver az utolsó lépésben létrehozott zk-SNARK-ot használja a zk-STARK bizonyításokból származó adatok felhasználásával. A négy komponens kölcsönhatása a következőképpen tekinthető:
A biztonsági szempontokat tekintve
Biztonsági szempontból a zkEVM projekt a középkori szakaszában tart, a poligon csapat folyamatosan részt vett a belső és külső auditokban. A belső auditok eredményeiről szóló információk többnyire titkosak, de a Polygon két külső auditor (Hexens és Spearbit) segítségét is igénybe vette. Bemutatva a intelligens szerződés-ellenőrzést kell végezni még a nagy óriások által is. Igaz, hogy „a hackek váratlanul jönnek”. Valójában soha nem lehetsz ennyire biztos és biztos. A web3 ökoszisztéma legtöbb óriása megérti ezt, és keményen igyekszik biztosítani magát.
Most minden eddiginél jobban meg kell védenünk a web3-at. Ebben a szakaszban létfontosságú az intelligens szerződések professzionális kódellenőrzése, amellyel a fejlesztők számtalan munkaórát takaríthatnak meg. A szerződések biztonságosságának biztosítása fontosabb, mint valaha. Együtt biztonságosabbá tehetjük a Web3-at. Látogassa meg QuillAudits különböző szolgáltatások és megoldások feltárására.
11 Nézetek
- SEO által támogatott tartalom és PR terjesztés. Erősödjön még ma.
- Platoblockchain. Web3 metaverzum intelligencia. Felerősített tudás. Hozzáférés itt.
- Forrás: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- Rólunk
- erről
- hozzáadott
- Összesítő
- aggregators
- Minden termék
- között
- és a
- Alkalmazás
- alkalmazások
- építészet
- megjelenés
- szempontok
- Assembly
- társult
- Kísérletek
- könyvvizsgálók
- ellenőrzések
- vissza
- Hátgerinc
- háttal ellátott
- alap
- mert
- előtt
- hogy
- Jobb
- Nagy
- Keverék
- blockchain
- Blog
- ragyogó
- Bringing
- épít
- épült
- Csomag
- számítások
- hívás
- visz
- lánc
- Láncazonosító
- Változások
- ellenőrizze
- Város
- követelés
- klasszikus
- osztályozott
- vásárló
- kód
- Kódellenőrző
- gyűjt
- hogyan
- elkötelezettség
- elkötelezett
- közösség
- összeegyeztethető
- befejezés
- bonyolult
- bonyolultság
- összetevő
- alkatrészek
- számítások
- Vonatkozik
- megerősít
- Csatlakozás
- összeköt
- megegyezés
- állandó
- állandóan
- korlátok
- tovább
- folyamatosan
- szerződés
- szerződések
- Kényelmes
- megtérít
- teremt
- készítette
- Korona
- kritikus
- kriptográfiai
- kriptográfia
- dátum
- adatbázis
- találka
- nap
- üzlet
- Ajánlatok
- ajánlás
- osztályok
- telepített
- bevet
- Fejleszt
- fejlesztők
- különböző
- tárgyalt
- változatos
- megosztott
- Ennek
- dollár
- hátrányai
- minden
- ökoszisztéma
- elemek
- alakult
- alkalmaz
- felhatalmazott
- felhatalmazza
- lehetővé teszi
- biztosítására
- lényegében
- létrehozni
- stb.
- ETH
- Et 2.0
- eth klasszikus
- Ethereum
- Ethereum blokklánc
- Ethereum Classic
- ETHEREUM MAINNET
- ethereum méretezés
- Etherscan
- Még
- események
- EVER
- Minden
- EVM
- példa
- végrehajtás
- drága
- magyarázható
- magyarázat
- feltárása
- feltárt
- külső
- megkönnyíti
- néző
- gyorsabb
- Fed
- díj
- díjak
- kevés
- utolsó
- Találjon
- vezetéknév
- Összpontosít
- következik
- követ
- következő
- forma
- korábban
- Előre
- csalás
- csalás bizonyítéka
- csaló
- ból ből
- GAS
- gázdíjak
- Általános rendeltetésű
- generál
- kap
- szerzés
- Go
- jó
- Kemény
- hardver
- fej
- segít
- itt
- Hexens
- Magas
- FORRÓ
- NYITVATARTÁS
- Hogyan
- azonban
- HTTPS
- Több száz
- ID
- Identitás
- végre
- in
- Más
- Ösztönző
- tartalmaz
- magában foglalja a
- Növelje
- Növeli
- hihetetlenül
- információ
- bemenet
- utasítás
- integrálni
- sértetlenség
- kölcsönhatás
- kölcsönhatásba lép
- Felület
- belső
- Bevezetett
- részt
- IT
- Tart
- Ismer
- tudás
- ismert
- L1
- l2
- nyelv
- Nyelvek
- nagyobb
- keresztnév
- réteg
- 1 réteg
- Réteg 2
- 2. réteg méretezése
- TANUL
- levél
- könyvtár
- LIMIT
- korlátozás
- Lista
- Hosszú
- Sok
- gép
- gép
- Fő
- mainnet
- fenntartja
- fontos
- csinál
- KÉSZÍT
- Gyártás
- sikerült
- sok
- Térképek
- megjelölt
- Matic
- Matic hálózat
- eszközök
- mechanizmus
- középkori
- metamaszk
- Módszertan
- elmék
- pillanat
- pénz
- több
- a legtöbb
- mozog
- elengedhetetlen
- Szükség
- hálózat
- Új
- következő
- csomópont
- ONE
- Más
- rész
- résztvevők
- különös
- fél
- alkatrészek
- párt
- Fizet
- Teljesít
- előadó
- fázis
- kép
- Plató
- Platón adatintelligencia
- PlatoData
- pont
- Poligon
- Sokszög hálózat
- poligon
- medence
- POS
- lehetséges
- állás
- potenciális
- Hadifogoly
- korábban
- magánélet
- folyamat
- Folyamatok
- gyárt
- Termékek
- szakmai
- nyereséges
- Programozás
- programozási nyelvek
- program
- projektek
- biztató
- bizonyíték
- igazolások
- javasol
- javasolt
- protokoll
- Bizonyít
- bizonyított
- ad
- biztosít
- közzétesz
- Nyomja
- Toló
- tesz
- helyezi
- gyorsan
- Quillhash
- emelés
- Olvass
- kész
- ok
- kap
- kapott
- kap
- csökkenteni
- engedje
- képviselők
- kötelező
- kutatás
- korlátozás
- eredményez
- Eredmények
- Kritika
- robusztusság
- Szerep
- Tekercs
- felteker
- Roll-upok
- tekercselt
- összegző
- szabályok
- biztonságosabb
- azonos
- megtakarítás
- skálázhatóság
- Skála
- skálázás
- Méretezési megoldás
- Második
- biztonság
- biztonság
- szolgáltatás
- Szolgáltatások
- készlet
- számos
- kirakatba
- oldallánc
- Egyszerű
- egyetlen
- okos
- okos szerződés
- Intelligens szerződések
- Snark
- So
- szoftver
- SOL
- megoldások
- Megoldások
- SOLVE
- néhány
- Valaki
- Hely
- sebesség
- Színpad
- tét
- állványok
- csillag
- merev
- Állami
- Lépés
- Még mindig
- memorizált
- tanulmányok
- beküldése
- benyújtott
- sikeres
- ilyen
- ÖSSZEFOGLALÓ
- foglalta
- meglepetés
- összehangolás
- rendszer
- Vesz
- tart
- bevétel
- csapat
- feltételek
- A
- az információ
- Az állam
- a világ
- azok
- maguk
- dolog
- Harmadik
- harmadik felek
- három
- Keresztül
- áteresztőképesség
- idő
- nak nek
- Ma
- együtt
- tokenek
- felső
- tranzakció
- ügyleti
- Tranzakciók
- átmenet
- átmenetek
- igaz
- FORDULAT
- alatt
- megért
- megértés
- UPS
- Felhasználók
- kihasználva
- ÉRVÉNYESÍT
- érvényesítés
- jármű
- Igazolás
- ellenőrzött
- ellenőrzése
- fontos
- módon
- Web3
- Web3 közösség
- Web3 ökoszisztéma
- Web3 tér
- Mit
- ami
- WHO
- egész
- lesz
- Munka
- művek
- világ
- lenne
- ír
- írás
- Rossz
- év
- te
- A te
- zephyrnet
- zk-rollup
- zkEVM