Ethereum įsitvirtino kaip dominuojanti pasaulinė platforma išmaniesiems kontraktams ir decentralizuotoms programoms. Tačiau šis milžiniškas pasiekimas sukėlė reikšmingų iššūkių dėl tinklo talpos ir našumo. Kai tūkstančiai vartotojų bando vienu metu atlikti sandorius tinkle, sistema užsikemša. Tai lemia lėtesnį apdorojimo laiką ir staigiai kylančias sandorio mokesčius, kurie tampa nepasiekiami kasdieniams vartotojams.
Šie apribojimai paskatino greitą mastelio sprendimų kūrimą, skirtą tvarkyti eksponentinį augimą neaukojant tinklo pagrindinio saugumo. 2 sluoksnio protokolai veikia ant pagrindinio Ethereum bloklančiams, dažnai vadinamo 1 sluoksniu. Jie apdoroja sandorius ne tinkle ir tada praneša rezultatus atgal į pagrindinį tinklą galutiniam atsiskaitymui.
Įvairių mastelio metodų tarpe rollup'ai išsiskyrė kaip perspektyviausia technologija artimai ir ilgalaikei ateičiai. Jie vykdo sandorius už pagrindinės grandinės ribų, bet saugo sandorių duomenis joje. Ši unikali architektūra leidžia jiems paveldėti Ethereum tvirtus saugumo savybes, tuo pačiu sumažindama išlaidas dešimt kartų.
Mastelio trilema
Bloklančių architektai dažnai susiduria su sunkiu kompromisu, plačiai žinomu kaip mastelio trilema. Ši pagrindinė koncepcija rodo, kad decentralizuotas tinklas gali vienu metu pasiekti tik dvi iš trijų pagrindinių privalumų: decentralizaciją, saugumą ir mastelį. Beveik neįmanoma maksimaliai padidinti visus tris viename sluoksnyje.
Ethereum iš pradžių teikė prioritetą saugumui ir decentralizacijai mastelio sąskaita. Šis dizaino pasirinkimas užtikrina, kad tinklas išlieka atsparus cenzūrai ir atakoms, kas yra gyvybiškai svarbu pasaulinio atsiskaitymo sluoksniui. Tačiau tai daro pagrindinę grandinę brangią ir lėtą didelės paklausos laikotarpiu.
2 sluoksnio sprendimai bando tai išspręsti perkeldami sunkią sandorių vykdymo naštą. Jie palieka pagrindinei grandinei tvarkyti konsensusą, saugumą ir duomenų prieinamumą. Šis modulinis požiūris leidžia ekosistemai efektyviai mastelintis nekeičiant pagrindinio protokolo pasitikėjimo modelio.
Dujų mokesčių vaidmuo
Dujų mokesčiai yra mokėjimai, kuriuos vartotojai atlieka kompensuodami kompiuterinius resursus, reikalingus sandoriams apdoroti ir patvirtinti. Pagrindiniame tinkle blokų vieta yra ribota. Vartotojai turi konkuruoti siūlydami kainą, kad jų sandoriai būtų įtraukti į kitą bloką.
Per bulių rinką ar labai laukiamą NFT leidimą šie mokesčiai gali tapti neįperkami. Paprastas žetonų keitimas gali kainuoti daugiau mokesčių nei paties sandorio vertė. Ši ekonominė kliūtis trukdo decentralizuotų finansų plačiajam įsisavinimui ir riboja tinklo naudingumą.
2 sluoksnio rollup'ai drastiškai sumažina šias išlaidas sujungdami šimtus ar net tūkstančius sandorių į vieną paketą. Dujų mokestis už tą vieną paketinio sandorio vykdymą pagrindinėje grandinėje paskirstomas visiems paketą sudarantiems vartotojams. Tai lemia individualius mokesčius, kurie yra ženkliai mažesni nei 1 sluoksnio operacijos.
Sandorių sujungimo mechanika
Rollup'ai veikia kaip atskiras vykdymo sluoksnis, veikiantis lygiagrečiai su pagrindine Ethereum grandine. Vartotojai įneša lėšas į išmanųjį kontraktą 1 sluoksnyje, kuris tada atrakina ekvivalentines lėšas 2 sluoksnyje. Buvus rollup'e, vartotojai gali laisvai sandoriauti dideliu greičiu ir maža trintis.
Technologija vadinama taip dėl proceso, kai "susukami" keli sandoriai į vieną duomenų gabalą. Užuot pagrindiniam tinklui tikrinus kiekvieną parašą ir kontraktų sąveiką atskirai, jam tereikia patikrinti paketų santrauką. Tai sukuria didžiulį efektyvumo prieaugį.
Šis duomenų suspaudimas yra mastelio raktas. Rollup'o operatorius gauna sandorius iš vartotojų, juos išrikiuoja ir vykdo skaičiavimus. Tada operatorius pateikia labai suspaustą duomenų paketą atgal į pagrindinį Ethereum tinklą finalizavimui.
Tinklo duomenų prieinamumas
Kad rollup'as išliktų saugus, duomenys, reikalingi grandinės būsenos atkūrimui, turi būti prieinami visiems. Rollup'ai skelbia šiuos sandorių duomenis Ethereum 1 sluoksnyje kaip "calldata". Tai užtikrina, kad grandinės istorija būtų saugiai ir viešai išsaugota.
Kadangi duomenys gyvena pagrindinėje grandinėje, rollup'as išlieka atsparus cenzūrai. Net jei rollup'o operatoriai išsijungia ar veikia piktybiškai, vartotojai gali naudoti tinklo duomenis balansams apskaičiuoti. Jie tada gali išimti lėšas tiesiogiai iš išmaniojo kontrakto be operatoriaus leidimo.
Tai išskiria rollup'us nuo kitų mastelio sprendimų, kaip šoninės grandinės. Šoninės grandinės paprastai saugo duomenis atskirai ir remiasi savo nepriklausoma validatorių grupe. Jei šoninė grandinė sugenda, vartotojų lėšos gali būti prarastos. Rollup'ai gauna saugumą tiesiogiai iš Ethereum konsensuso mechanizmo.
Sekvencieriaus vaidmuo
Daugumoje dabartinių rollup'ų įgyvendinimų specifinis mazgas, vadinamas sekuencieriumi, atsakingas už sandorių rikiuotę. Vartotojai siunčia prekybos užklausas sekuencieriui. Sekuencierius jas išrikiuoja, vykdo logiką ir suformuoja į bloką pateikimui.
Nors tai įveda laikiną centralizacijos tašką, sekuencierius negali pavogti lėšų ar suklastoti neteisingų sandorių, jei pagrindinė įrodymo sistema yra patikima. Blogiausia, ką sekuencierius gali padaryti, yra cenzūruoti sandorius, bet vartotojai gali tai apeiti pateikdami sandorius tiesiogiai į 1 sluoksnį.
Projektai aktyviai dirba decentralizuodami sekuencieriaus vaidmenį, siekdami pagerinti atsparumą. Platinamas sekuencierių tinklas dar labiau sustiprintų sistemos patikimumą. Šis evoliucija užtikrina, kad jokia viena subjektas nekontroliuoja sandorių rikiuotės proceso, atitinkant kripto ethosą.
Optimistinių rollup'ų tyrinėjimas
Optimistiniai rollup'ai gauna pavadinimą iš prielaidos apie sandorius. Jie mano, kad visi tinklui pateikti sandoriai yra galiojantys pagal nutylėjimą. Jie neatlieka sudėtingo kriptografinio patikrinimo kiekvienam apdorojamam paketui.
Šis "optimistinis" požiūris leidžia itin greitus apdorojimo greičius. Kadangi tinklui nereikia iš anksto tikrinti kiekvieno parašo skaičiavimo galios, jis gali tvarkyti didelį aktyvumo srautą. Fokusas yra greitis ir įdiegimo paprastumas.
Sistema remiasi mechanizmu, vadinamu sukčiavimo įrodymais, saugumui užtikrinti. Jei sekuencierius bando pateikti neteisingą sandorį, bet kuris tinklo dalyvis gali jį užginčyti. Tai sukuria sistemą, pagrįstą ekonominiais paskatinimais ir žaidimų teorija, o ne gryna matematika.
Ginčų sprendimo langas
Kad leisti laiką ginčams, optimistiniai rollup'ai taiko delsą išėmimams į pagrindinį tinklą. Tai dažnai vadinama "ginčo periodu" ir paprastai trunka septynias dienas. Per šį laiką lėšos negali būti perkeliamos atgal į pagrindinį Ethereum tinklą.
Jei kas nors pastebi sukčiavimo sandorį per šį langą, jie gali pateikti sukčiavimo įrodymą. 1 sluoksnio išmanusis kontraktas tada patikrina reikalavimą iš naujo vykdydamas konkretų sandorį. Jei sandoris iš tiesų neteisingas, sekuencierius nubaudžiamas, o grandinės būsena atkuriama.
Validatorių reikalaujama įnešti užstatą ar statymus norint dalyvauti tinkle. Jei jie veikia piktybiškai, šis užstatas sumažinamas ir atiduodamas ginčytojui. Ši ekonominė bausmė veikia kaip stiprus sukčiavimo atgrasymas, užtikrindamas, kad racionalūs dalyviai apdoroja sandorius sąžiningai.
Suderinamumas su EVM
Vienas didžiausių optimistinių rollup'ų privalumų yra suderinamumas su Ethereum virtualia mašina (EVM). Kūrėjai gali perkelti esamus išmaniuosius kontraktus iš Ethereum 1 sluoksnio į rollup'ą su minimaliomis ar jokiomis modifikacijomis.
Šis perkėlimo paprastumas paskatino greitą pripažinimą tarp pagrindinių DeFi protokolų. Skolinimo, prekybos ir pajamingumo ūkininkavimo programos veikia sklandžiai šiuose tinkluose. Vartotojai gauna tą patį patyrimą, prie kurį pripratę Ethereum, naudodami tas pačias pinigines, bet už dalelę kainos.
Kadangi skaičiavimai vykdomi ne tinkle ir ginčijami tik jei reikia, skaičiavimo apkrova yra maža. Šis efektyvumas daro optimistinius rollup'us praktišku ir greitu sprendimu mastelinti dabartinę Ethereum ekosistemą, kol kitos technologijos subręsta.
Nulinės žinios rollup'ų galia
Nulinės žinios (ZK) rollup'ai taiko visiškai kitokį patikrinimo metodą. Užuot manę, kad sandoriai galioja, jie generuoja kriptografinį įrodymą, patvirtinantį kiekvieno paketo galiojumą. Šis įrodymas pateikiamas Ethereum pagrindiniam tinklui kartu su duomenimis.
Šis metodas seka šūkiu "nepasitikėk, patikrink". 1 sluoksnio išmanusis kontraktas patikrina kriptografinį įrodymą prieš priimdamas būsenos atnaujinimą. Jei įrodymas matematiškai teisingas, sandoriai garantuotai galioja iš karto.
Kadangi patikrinimas vyksta akimirksniu pateikus, nėra poreikio ginčo periodui. Kai įrodymas priimamas Ethereum, būsena yra galutinė. Vartotojai gali išimti lėšas iš karto be dienų laukimo, siūlydami reikšmingą vartotojo patirties pranašumą.
Galiojimo įrodymų supratimas
Pagrindinė technologija už ZK rollup'ų yra sudėtinga matematika, žinoma kaip nulinės žinios įrodymai. Šie įrodymai leidžia vienai šaliai įrodyti kitai, kad teiginys teisingas, neatskleidžiant jokios informacijos už teiginio galiojumo ribų.
Mastelio kontekste jie dažnai vadinami "galiojimo įrodymais". Jie matematiškai demonstruoja, kad nauja bloklančių būsena yra teisingas sandorių paketo taikymo ankstesnei būsenai rezultatas. Sukčiavimas neįmanomas, nes neteisinga būsena negali generuoti galiojančio įrodymo.
Yra du pagrindiniai įrodymų tipai: SNARKs ir STARKs. SNARKs yra glausti ir greitai tikrinami, bet paprastai reikalauja patikimo įdiegimo ritualo. STARKs yra skaidresni ir atsparesni kvantiniams kompiuteriams, bet paprastai turi didesnius įrodymų dydžius.
Skaičiavimo iššūkiai
Pagrindinis ZK rollup'ų trūkumas yra intensyvi skaičiavimo galia, reikalinga šiems įrodymams generuoti. Įrodymo kūrimas sandorių paketui yra sunki užduotis, reikalaujanti specializuotos įrangos ir reikšmingo laiko palyginti su optimistiniu vykdymu.
Ši sudėtingumas istoriškai sunkiai leido palaikyti bendros paskirties išmaniuosius kontraktus. Ankstyvi ZK rollup'ai buvo riboti paprastais pervedimais ir specifinėmis prekybos programomis. Pilno EVM suderinamo ZK aplinkos kūrimas yra milžiniškas inžinerinis iššūkis, kurį kūrėjai vis dar tobulina.
Tačiau neseniai pasiekti proveržiai paskatino zkEVM kūrimą. Šios sistemos siekia sujungti galiojimo įrodymų saugumą ir greitį su Ethereum kūrėjo patirtimi. Tai ženklus žingsnis į priekį, leidžiantis standartiniams išmaniesiems kontraktams veikti ZK architektūroje.
Mastelio metodų palyginamoji analizė
Rinkimasis tarp optimistinių ir ZK rollup'ų dažnai priklauso nuo specifinių vartotojo ar kūrėjo poreikių. Optimistiniai modeliai teikia prioritetą integracijos paprastumui ir mažesnėms pradinėms skaičiavimo išlaidoms. ZK modeliai teikia prioritetą bepasitikėjimo saugumui ir galutinio patvirtinimo greičiui.
Duomenų suspaudimas yra dar vienas skirtumo taškas. ZK rollup'ai gali būti efektyvesni su tinklo duomenimis, nes įrodymas patvirtina pokyčius. Jiems nereikia skelbti tiek sandorių duomenų kiek optimistiniams rollup'ams, kurie turi leisti pakartojimą sukčiavimo atveju.
Žemiau pateikta lentelė apibūdina pagrindinius šių dviejų dominuojančių mastelio paradigmų skirtumus, padedanti vizualizuoti jų skirtumus.
| Savybė | Optimistiniai rollup'ai | ZK rollup'ai |
|---|---|---|
| Saugumo modelis | Ekonominiai paskatinimai (žaidimų teorija) | Kriptografinis (galiojimo įrodymai) |
| Išėmimo laikas | ~7 dienos (ginčo periodas) | Akimirksniu (po patikrinimo) |
| EVM palaikymas | Aukštas (gimtoji suderinamumas) | Vidutinis (zkEVM augantis) |
Kapitalo efektyvumo svarstymai
Išėmimo delsos optimistiniuose rollup'uose sukelia kapitalo neefektyvumą. Likvidumo teikėjai dažnai siūlo akimirksninius išėmimus už mokestį, užpildami spragą. Tai sukuria antrinę rinką, bet prideda išlaidų vartotojui, norinčiam greičio.
ZK rollup'ai visiškai pašalina šią problemą. Kapitalas nėra užrakintas ginčo languose, leidžiantis sklandesnį turto judėjimą tarp sluoksnių. Tai ypač svarbu instituciniams prekeiviams ir arbitražo strategijoms, reikalaujančioms greito atsiskaitymo tarp skirtingų rinkų.
Ilgalaikės perspektyvos diskusijose dažnai teikiama pirmenybė ZK technologijai. Nors optimistiniai rollup'ai suteikė lemiamą pirmamoverio pranašumą, daugelis ekspertų mano, kad galiojimo įrodymai yra galutinis tikslas. Matematinė garantija siūlo tvirtesnį pagrindą nei ekonominės prielaidos, ypač didelės vertės finansinėse sistemose.
Hibridinė ateitis
Technologijai subrendus, šių sprendimų ribos gali pradėti neryškėti. Kai kurie projektai tyrinėja hibridinius metodus, naudojančius optimistinį vykdymą greičiui, bet generuojančius galiojimo įrodymus periodais. Tai galėtų pasiūlyti abiejų pasaulių geriausiąją dalį.
Galiausiai, šių dviejų technologijų konkurencija yra sveika ekosistemai. Ji skatina inovacijas, mažina išlaidas ir gerina vartotojo patirtį. Kūrėjai turi daugiau pasirinkimų, o vartotojai gauna naudą iš įvairesnio ir atsparesnio tinklo.
Išvada
2 sluoksnio sprendimų evoliucija reiškia kritinę brandos fazę bloklančių pramonėje. Perkeldami vykdymą ne tinkle, bet išlaikydami bazinio sluoksnio saugumą, šie protokolai sprendžia spaudžiamiausius masinio įsisavinimo barjerus. Tiek optimistiniai, tiek ZK rollup'ai siūlo gyvybingus kelius į prieinamesnę, efektyvesnę ir mastelniejszą decentralizuotą finansų sistemą.
Nors optimistiniai rollup'ai šiuo metu dominuoja pagal užrakintos vertės ir kūrėjų naudojimo rodiklius dėl suderinamumo, ZK rollup'ai sparčiai mažina atotrūkį. Kai įrodymų generavimas pigs ir zkEVM taps patikimesni, skirtumai gali neryškėti. Galiausiai, ši technologinė konkurencija pagreitina inovacijas, vedančias prie greitesnės, pigesnės ir saugesnės patirties visame pasaulyje vartotojams.
Rollup'ai yra raktas atrakinti kripto potencialą, darydami sandorius greitus ir pigius neaukojant saugumo.