Kripto vodič: Kako da skalirate Ethereum uz 'Zero knowledge' magiju?

Kripto vodič: Kako da skalirate Ethereum uz ‘Zero knowledge’ metodologiju?

Na ovogodišnjoj Infobip Shift konferenciji, u okviru predavanja 'Scaling Ethereum with Zero-Knowledge magic' na Web3 stejdžu predstavljena su rešenja koja mogu da pojednostave i ubrzaju skaliranje na Ethereumu.

Ethereum je u datom trenutku veoma spor i skup, ali dobra vest je da postoje rešenja koja mogu da ublaže ovaj problem. U pitanju su razni mehanizmi skaliranja layer-a 2 (rollups), a Ivan Pavičić, inženjering menadžer u kompaniji Shard Labs, svoje predavanje je posvetio onom zasnovanom na principu Zero-knowledge, objasnivši kako on funkcioniše i zašto je tako uzbudljiva tema u kripto zajednici.

Naime, kako je broj ljudi koji koriste Ethereum rastao, blockchain je dostigao određena ograničenja kapaciteta. Ovo je povećalo troškove korišćenja mreže, stvarajući potrebu za “rešenjima za skaliranje”. Postoji više rešenja koja se istražuju, testiraju i primenjuju, a koja koriste različite pristupe za postizanje sličnih ciljeva.

Glavni cilj skaliranja je povećanje brzine transakcije (faster finality) i protoka transakcija (high transactions per second), bez žrtvovanja decentralizacije ili sigurnosti. Na blockchain-u layer 1 Ethereum-a, velika potražnja dovodi do sporijih transakcija i neodrživih cena gasa. Povećanje kapaciteta mreže u smislu brzine i propusnosti je fundamentalno za smisleno i masovno usvajanje Ethereuma.

Iako su brzina i propusnost važni, neophodno je da rešenja za skaliranje, koja omogućavaju ove ciljeve ostanu decentralizovana i bezbedna. Održavanje niske ulazne barijere za operatere node-ova je krucijalno za sprečavanje centralizacije.

On-chain i Off-chain skaliranje

On-chain je metod skaliranja koji zahteva promene u Ethereum protokolu (layer 1 Mainnet), a trenutno je Sharding glavni proces za ovaj metod skaliranja. U pitanju je horizontalno razdvajanje baze podataka u cilju raspodele opterećenja.

U kontekstu Ethereum-a, sharding će smanjiti zagušenje mreže i povećati transakcije u sekundi stvaranjem novih lanaca, poznatih kao shards. Ovo će takođe olakšati opterećenje za svaki validator koji više neće morati da obrađuje sve transakcije širom mreže.

Off-chain skaliranje nudi rešenja koje se implementiraju odvojeno od glavne mreže layer 1, pa ne zahtevaju promene u postojećem Ethereum protokolu. Pojedina rešenja, poznata kao “layer 2 rešenja”, svoju bezbednost izvode direktno iz konsenzusa Ethereum layer 1, kao što su optimistic rollups, zero-knowledge rollups ili state channels.

Druga rešenja uključuju kreiranje novih lanaca u različitim oblicima koji svoju sigurnost izvode odvojeno od Mainnet-a, kao što su sidechains, validiums, ili plasma chains. Ova rešenja komuniciraju sa Mainnet-om, ali svoje sigurnosne procene izvode drugačije u zavisnosti od ciljeva koje postave.

Zašto nam je potreban layer 2?

Layer 2 je zbirni izraz za rešenja dizajnirana da pomognu u skaliranju vaše aplikacije rukovanjem transakcijama van glavne mreže Ethereum-a (layer 1) uz korišćenje prednosti agilnog decentralizovanog bezbednosnog modela Mainnet-a. A to podrazumeva:

  • Povećan broj transakcija u sekundi, što značajno poboljšava korisničko iskustvo i smanjuje zagušenje mreže na Mainnet Ethereum-u;
  • Transakcije koje se objedinjuju u jednu transakciju za Mainnet Ethereum, smanjujući naknade za gas za korisnike čineći Ethereum inkluzivnijim i dostupnijim za ljude svuda;
  • Bilo kakva ažuriranja skalabilnosti ne bi trebalo da budu na štetu decentralizacije ili bezbednosti – layer 2 se gradi na vrhu Ethereuma;
  • Postojanje mreža layer 2 specifičnih za aplikaciju, a koje donose sopstveni skup efikasnosti kada se radi sa sredstvima u velikom obimu.

Šta su Rollup-ovi i čemu služe?

Rollup-ovi su mehanizmi skaliranja layer 2, koji obrađuju podatke off-chain, a zatim ih grupno kompresuju (menjaju proračunom) i nakon tranzicije ih isporučuju u main-chain, odnosno Ethereum.

Postoje dve vrste rollup-ova koji koriste različite sigurnosne modele:

  • Optimistic rollups: pretpostavljaju da su transakcije važeće dok se ne dokaže suprotno (Fraud Proof); 
  • ZK (Zero Knowledge) rollups: poseduju dokaz o validnosti – odmah utvrđuju da li su transakcije ispravne ili ne.
Predavanje je održao Ivan Pavičić, inženjering menadžer u kompaniji Shard Labs.

Zero Knowledge magija

Zero Knowledge rollups spajaju (ili “skupljaju”) transakcije u grupe koje se izvršavaju off-chain. Računanje van lanca smanjuje količinu podataka koji se moraju objaviti u blockchain-u. ZK rollup operateri šalju sažetak izmena potrebnih za predstavljanje svih transakcija u grupi umesto da šalju svaku transakciju pojedinačno.

Oni takođe proizvode dokaze o validnosti kako bi potvrdili ispravnost svojih promena. Dokaz validnosti sa kriptografskom sigurnošću pokazuje da su predložene promene stanja Ethereuma zaista krajnji rezultat izvršavanja svih transakcija u grupi.

Uz sve to, postoji off-chain pametan ugovor koji ima samo dva zadatka:

  1. Obrada depozita i uplata;
  2. Potvrda dokaza – da sve što se dešava off-chain prati pravila, pa se može uključiti u blockchain.  

Kako ZK rollup-ovi skaliraju Ethereum?

ZK rollup-ovi proširuju propusnost na Ethereum-ov osnovni sloj (layer 1) sprovodeći off-chain račun i kompresujući podatke o transakcijama. Veličina bloka u okviru Ethereum-a ograničava podatke koji svaki blok može da drži i, prema tome, broj transakcija obrađenih po bloku. Kompresovanjem podataka koji se odnose na transakcije, ZK rollup-ovi i značajno povećavaju broj transakcija obrađenih po bloku.

ZK rollup-ovi mogu da komprimuju podatke o transakcijama bolje nego što to čine optimistic rollup-ovi, jer ne moraju da dostavljaju sve podatke potrebne za validaciju svake transakcije. Oni samo treba da objave minimalne podatke potrebne za obnovu najnovijeg stanja računa i stanja na rollup-u.

Rekurzivni dokazi

Prednost Zero knowledge rollup-ova je u tome što mogu dokazati da je nešto ispravno bez potrebe da otkriju šta zapravo dokazuju. Kako onda znati da je off-chain aktivnost ispravna?

Ključ je u sažimanju: dokazi su mali i samim tim lako proverljivi čak i kada je dokazivanje samog koncepta komplikovano.

Trenutno se dokazi o validnosti (takozvani SNARKS) generišu na block-by-block bazi i podnose se L1 ugovoru na verifikaciju. Njihove glavne karakteristike su:

  • Zahtevaju inicijalni, poverljivi setup; 
  • Manje skalabilni;
  • Manje su veličine, a samim time i jeftiniji.

Međutim, verifikacija dokaza jednog bloka ograničava propusnost koju ZK rollup-ovi mogu postići pošto samo jedan blok može biti finalizovan kada operater podnese dokaz.

Rekurzivni dokazi (ZK-SNARKS), međutim, omogućavaju finalizaciju nekoliko blokova sa jednom potvrdom validnosti. To je zato što kolo za dokazivanje rekurzivno agregira više dokaza blokova dok se ne kreira jedan konačni dokaz.

Operator L2 dostavlja ovaj rekurzivni dokaz, i ako ga ugovor prihvati, svi relevantni blokovi će biti trenutno finalizovani. Sa rekurzivnim dokazima, broj ZK transakcija koje se mogu finalizovati na Ethereum-u u intervalima se povećava.

Na primer, jedan ZK-SNARK može da verifikuje druge ZK-SNARK. Takvi “dokazi” se nazivaju rekurzivni dokazi i dramatično povećavaju propusnost na ZK rollup-ovima. Uz to oni poseduju i sledeće karakteristike:

  • Skalabilni transparentni argumenti znanja; 
  • Zasnovani na novim kriptografskim dokazima i modernoj algebri (kriptografski hešovi i polinomi); 
  • Bez inicijalnog poverljivog setupa;
  • Više skalabilni;
  • Kvantno otporni;
  • Krupniji dokazi – zahtevaju više vremena za verifikaciju.

Na kraju svog predavanja, Ivan je istakao Cairo, programski jezik za generisanje ZK SNARK dokaza. U pitanju je low level jezik opšte primene, koji nije EVM kompatibilan, ali veoma dobro generiše matematičke dokaze.

Dobra vest je što se očekuje verzija 1.0 koja će biti veoma slična Rust programskom jeziku, pa će skaliranje Ethereum-a uz pomoć Zero Knowledge rollup-ova dobiti jednu sasvim novu dimenziju. 


Želiš da podeliš svoje mišljenje o ovoj temi? Komentari su otvoreni na našoj Facebook i LinkedIn stranici!

Popularno

Tehnologija

Neuralink moždani čip: Revolucija u medicini ili senzacionalizam?

Čip pod nazivom 'Telepatija' uspešno je ugrađen u ljudski mozak, saopštila je kompanija Elona Maska. Analizirali smo da li je reč o velikom naučnom dostignuću, ili tek eksperimentu u testnoj fazi.

Startapi i poslovanje

Vega IT ulaže €1.000.000 u osnivanje novog startapa Thrivea

Kao nastavak globalnog širenja poslovanja, kompanija Vega IT najavila je novi poslovni poduhvat. Ovog puta, rade na razvoju inovativnog HR SaaS rešenja pod imenom Thrivea.

Startapi i poslovanje

Anygo je novi servis za deljenje vozila u Beogradu putem aplikacije – čija se mreža širi

Na ulicama glavnog grada pojavili su se mali gradski Hyundai automobili sa natpisom 'Anygo car sharing'. Prestonica je konačno dobila jedan ovakav servis, a mi vam u intervjuu sa osnivačem startapa 'Anygo' otkrivamo kako on funkcioniše i na koji način je nastao.

Propustili ste

Startapi i poslovanje

Novi GapMinder Fond II s kapitalom od €80 miliona targetira i srpske startape!

GapMinder Ventures, VC fond koji je dosad primarno ulagao u tehnološke kompanije iz Rumunije, pokreće GapMinder Fond II, investicioni paket od 80 miliona evra koji će biti alociran i na širem istočnoevropskom regionu, pa tako i Srbiji i Hrvatskoj.

Tehnologija

SEO Spam: Kako su AI generisani advokati pokušali da prevare Netokraciju?

Razvojem veštačke inteligencije cyber kriminalci postaju sve veštiji, a napadi sve maliciozniji. Donosimo vam priču o tome kako smo uspeli da raskrinkamo jedan takav pokušaj ucene.

Office Talks Podcast

Da li će Bitcoin doći do $100.000?

Dolazak Bitcoin ETF-a izazvao je pažnju mnogih u Web3 svetu. Upravo o ovoj temi ali i o stanju na tržištu kriptovaluta, razgovarali smo u novoj epizodi podkasta sa Aleksandrom Matanovićem, direktorom i osnivačem kripto menjačnice ECD.rs.

Mobilno

Uživo praćenje prevoza u Beogradu od danas na Google mapama!

Google je u okviru svoje aplikacije mapa na pametnim telefonima omogućio praćenje javnog prevoza u realnom vremenu za našu prestonicu.

Digitalni mediji

Vladimir Kovač: Iz zajednice se regrutuje radna snaga, zato kompanije treba da budu deo događaja

Zrenjaninski hotel Vojvodina tradicionalno će krajem aprila ugostiti još jednu DigiTalk konferenciju i edukaciju posvećenu e-trgovini. O važnosti održavanja ovakvih događaja za kreativnu, digitalnu i IT zajednicu, razgovaramo sa jednim od osnivača i organizatora konferencije.

Intervju

Bosch inženjerski centar u Srbiji zapošljava IT stručnjake koji razvijaju rešenja za auto industriju

Ubrzani razvoj 'automotive' industrije i okretanje u smeru sve veće integracije digitalnih rešenja, otvorile su jedno sasvim novo poglavlje za tehnološke i IT kompanije. Jedan od lidera u razvoju digitalnih rešenja za auto industriju je i kompanija Bosch, čiji IT sektor u Srbiji zapošljava više od 400 stručnjaka.