ZkSync je nastao kao odgovor na ograničen kapacitet i visoke naknade Ethereuma tijekom razdoblja snažnog rasta decentraliziranih aplikacija. Matter Labs započeo je razvoj 2018., prva verzija mreže zkSync pokrenuta je 2020., a zkSync Era otvorena je korisnicima 2023. godine. Cilj je bio izgraditi skalabilno izvršno okruženje koje sigurnost nasljeđuje od Ethereuma, ali većinu transakcija obrađuje izvan njegova osnovnog sloja.
Projekt, čiji se naziv danas često stilizira kao ZKsync, pripada kategoriji Layer 2 mreža. Za razliku od optimistic rollupa, kod kojih se transakcije smatraju ispravnima dok ih netko ne ospori, ZK rollupi stvaraju kriptografski dokaz valjanosti. Ethereum ne mora ponovno izvršavati svaku transakciju, nego provjerava dokaz da je cijela serija proizvela valjano novo stanje.
Takva arhitektura obećava niže naknade, kraće vrijeme konačnosti i veću propusnost. Međutim, generiranje dokaza, razvoj složenih kriptografskih sklopova i održavanje infrastrukture nisu besplatni. Pitanje je stoga može li zkSync i zero-knowledge rollup dugoročno ponuditi održivu ekonomiku ili složenost samo premješta trošak na operatere i razvojne timove.
Kako zkSync tehnički obrađuje transakcije
Korisnik šalje transakciju sekvenceru na zkSync Eri. Sekvencer određuje redoslijed, izvršava transakcije u posebnom virtualnom stroju i grupira ih u serije. Rezultat nije samo popis prijenosa tokena, nego nova vrijednost korijena stanja koja obuhvaća račune, salda i podatke pametnih ugovora. Važan dio podataka zatim se objavljuje na Ethereumu kako bi stanje bilo rekonstruirljivo čak i ako operator mreže prestane raditi.
Prover pretvara izvršavanje serije u matematički problem i generira dokaz da su sva pravila protokola poštovana. ZKsync koristi dokazni sustav Boojum, zasnovan na STARK pristupu i FRI shemi obveza. Njegova je prednost transparentna kriptografska konstrukcija bez klasične pouzdane početne ceremonije za osnovni dokazni sustav. Dokazi se mogu rekurzivno agregirati i komprimirati prije provjere na Ethereumu.
Pametni ugovor na Ethereumu provjerava dokaz i prihvaća novo stanje samo ako je dokaz valjan. Time se sigurnost ne oslanja na poštenje sekvencera: operator može cenzurirati ili odgađati transakcije, ali ne može proizvoljno ukrasti sredstva stvaranjem nevaljanog stanja. Ipak, ta tvrdnja vrijedi samo ako su dokazni sklopovi i L1 ugovori ispravni te ako administrativni ključevi ne omogućuju opasnu nadogradnju.
ZKsync Era nije identična kopija Ethereumova virtualnog stroja. Podržava Solidity i poznate razvojne obrasce, ali ugovori se prevode za vlastiti zkEVM, zbog čega određene operacije, prekompajlirani ugovori i pretpostavke o potrošnji plina mogu imati drukčije ponašanje. Migracija aplikacije zato zahtijeva testiranje na razini bajtkoda i infrastrukture, a ne samo ponovno postavljanje postojećih ugovora.
Koliko zero-knowledge rollup stvarno košta
Naknada na zkSyncu sastoji se od lokalnog izvršavanja, objave podataka, generiranja dokaza i provjere na osnovnom sloju. Najskuplja komponenta povijesno je bila dostupnost podataka na Ethereumu. Uvođenjem blobova kroz EIP-4844 rollupi su dobili jeftiniji prostor za privremenu objavu podataka, pa je trošak po transakciji znatno smanjen u usporedbi s klasičnim calldata modelom.
Ekonomika ipak ovisi o popunjenosti serija. Generiranje i slanje dokaza ima uglavnom fiksne troškove koji se raspoređuju na sve transakcije u seriji. Kada je aktivnost visoka, amortizacija je učinkovita. Kada je mreža slabo korištena, trošak po korisniku raste ili ga operator mora subvencionirati. Blob naknade također ovise o potražnji drugih rollupa, pa niske naknade nisu trajno zajamčene.
Prover infrastruktura zahtijeva specijalizirani softver, mnogo memorije i paralelno računanje. Hardver s vremenom postaje učinkovitiji, ali kriptografska složenost raste s funkcionalnošću virtualnog stroja. Zbog toga ZK rollup nije preskup zato što je kriptografija nužno neodrživa, nego zato što mora dosegnuti dovoljan volumen da bi fiksni operativni troškovi postali ekonomski opravdani.
Ekosustav, token i praktična upotreba
Na zkSync Eri djeluju decentralizirane burze poput SyncSwapa i Koi Financea, platforme za trgovanje poput Holdstationa te mostovi i infrastrukturni servisi povezani s DeFi tržištem. Korisnicima su posebno zanimljive niske naknade i brže potvrde, dok programeri dobivaju nativnu apstrakciju računa. Ona omogućuje pametne račune i paymastere, primjerice plaćanje naknade stablecoinom umjesto ETH-om.
Token ZK uveden je 2024. i koristi se u upravljačkom okviru ekosustava, ali mrežne naknade na zkSync Eri standardno se plaćaju u ETH-u. Zbog toga vrijednost tokena ne proizlazi automatski iz svake transakcije. Pri procjeni treba razlikovati korištenje mreže od potražnje za tokenom, jer rast broja transakcija ne mora izravno stvoriti jednak rast ekonomske vrijednosti ZK-a.
ZK Stack omogućuje izgradnju dodatnih lanaca temeljenih na istoj tehnologiji, često opisanih kao ZK chainovi unutar Elastic Network koncepta. Namjera je povezati više specijaliziranih mreža zajedničkim mostovima i agregacijom dokaza. To može povećati kapacitet, ali istodobno uvodi složeniju koordinaciju likvidnosti, poruka i sigurnosnih pretpostavki između lanaca.
Ključni rizici i ograničenja
Prvi rizik je centralizacija operativnih komponenti. Ako jedan sekvencer određuje redoslijed transakcija, može privremeno cenzurirati korisnike, izvući vrijednost promjenom redoslijeda ili uzrokovati prekid rada. Mehanizmi prisilnog uključivanja transakcija preko Ethereuma ublažavaju problem, ali su sporiji i skuplji. Validnost stanja nije isto što i dostupnost usluge.
Drugi rizik proizlazi iz složenosti dokaznih sklopova, mostova i nadogradivih ugovora. Pogreška u sklopu može dopustiti prihvaćanje neispravnog prijelaza stanja, dok kompromitiran administrativni ključ može otvoriti put zlonamjernoj nadogradnji. Revizije i vremenske odgode smanjuju izloženost, ali ne uklanjaju rizik implementacije iz sustava s velikim brojem međusobno povezanih komponenti.
Treći problem je fragmentacija kapitala. Sredstva raspoređena između Ethereuma, zkSynca i drugih rollupa ovise o mostovima, a prijenos može zahtijevati dodatne naknade i čekanje. Manji protokoli često imaju pliću likvidnost, veći slippage i ovisnost o poticajima u tokenima. Za profesionalne korisnike zato je važnija kvaliteta izlazne likvidnosti od samog broja transakcija ili deklarirane propusnosti.
Zaključak
ZkSync pokazuje da zero-knowledge rollupi mogu smanjiti opterećenje Ethereuma bez odvajanja od njegove sigurnosne baze. Kriptografski dokazi, blobovi, agregacija serija i apstrakcija računa nude konkretne tehničke prednosti. Istodobno, trošak provera, centralizirani sekvencer, nadogradivi ugovori i fragmentirana likvidnost ostaju stvarna operativna ograničenja.
Za aplikacije s velikim brojem transakcija zkSync može biti racionalno skalabilno rješenje. Za protokole s malim volumenom ili visokim zahtjevima za neovisnošću infrastruktura može biti previše složena. Stoga nije riječ ni o univerzalnom rješenju ni o preskupom eksperimentu, nego o tehnologiji čija održivost ovisi o korištenju, decentralizaciji i kvaliteti implementacije.
