Ang ZKsync na pinuri ni Vitalik ay maaaring talagang hindi nabibigyan ng sapat na halaga

Para sa isang GPU lamang, ang Airbender ay hindi lamang ang pinakamabilis sa bilis ng beripikasyon, kundi pati na rin ang may pinakamababang gastos.

May-akda: Eric, Foresight News

Noong Nobyembre 1, binanggit ni Vitalik ang tweet ng tagapagtatag ng ZKsync tungkol sa pag-upgrade ng ZKsync Atlas, at pinuri ang ZKsync sa paggawa ng maraming “underappreciated ngunit mahalagang trabaho para sa Ethereum ecosystem.”

Agad na tumugon ang merkado sa sinabi ni Vitalik, kung saan ang presyo ng ZK ay tumaas ng higit sa 2.5 beses sa loob ng dalawang araw ng weekend, at ang mga token sa ZK ecosystem, kabilang ang ALT (AltLayer), STRK (Starknet), SCR (Scroll), MINA (Mina) at iba pa ay nagpakita rin ng magagandang pagtaas.

Matapos maunawaan ang ZKsync Altas upgrade, napagtanto namin na maaaring tunay na hindi nabibigyan ng sapat na halaga ang ginagawa ng ZKsync.

Mabilis, Maliit ngunit Magastos na ZKP

Ang ZKP (zero-knowledge proof) na matagal nang isinusulong ng Ethereum Foundation ay pangunahing layunin na lutasin ang problema ng mabagal na beripikasyon at malaking dami ng data na kailangang beripikahin.

Ang ZKP ay sa esensya ay isang matematikal na problema ng probabilidad. Halimbawa, upang ipaliwanag ang prinsipyo nito: Ipagpalagay na may isang tao na nagsasabing nalutas niya ang “four color problem,” paano mo mapapatunayan na nalutas niya ito nang hindi ibinubunyag ang buong solusyon? Ang solusyon ng zero-knowledge proof ay pumili ng ilang bahagi ng buong larawan at patunayan na sa mga bahaging ito, walang magkatabing bahagi na may parehong kulay. Kapag ang bilang ng mga napiling bahagi ay umabot sa isang tiyak na halaga, maaari nang patunayan na ang posibilidad na nalutas ng taong ito ang four color problem ay umabot na sa 99.99...%. Sa ganitong paraan, kahit hindi natin alam ang buong detalye, napapatunayan natin na “talagang nalutas niya ang four color problem.”

Ito ang madalas nating naririnig na, “patunayan na nagawa mo ang isang bagay nang hindi ipinapaliwanag kung paano mo ito ginawa” na zero-knowledge proof. Ang dahilan kung bakit malakas na isinusulong ang ZKP sa Ethereum ecosystem ay dahil ang teoretikal na bilis ng ZKP ay mas mabilis kaysa sa beripikasyon ng bawat transaksyon, at ang data na nalilikha ng proof ay napakaliit.

Mabilis ang bilis dahil hindi kailangan ng ZKP na malaman ang buong detalye, kailangan lang magsagawa ng challenge. Halimbawa, sa beripikasyon ng isang Ethereum block, ang kasalukuyang paraan ay bawat node ay beripikahin ang bawat transaksyon kung may sapat na balanse at iba pang pangunahing isyu, ngunit kung isang node lang ang gagamit ng ZKP para beripikahin ang bawat transaksyon at lumikha ng isang “proof,” ang ibang mga node ay kailangang beripikahin lamang na ang “proof” ay mapagkakatiwalaan. Mas mahalaga, ang laki ng data ng “proof” ay napakaliit, kaya mabilis ang transmission at beripikasyon, at mas mababa ang gastos sa pag-iimbak ng data.

Ang dahilan kung bakit hindi agad ginagamit ang teknolohiyang ito na puro benepisyo ay dahil napakamahal nito.

Kahit hindi kailangang ulitin ang lahat ng proseso sa ZKP, ang mismong challenge ay nangangailangan ng napakalaking computing power. Kung parang AI arms race na mag-iipon ng GPU, maaaring makamit ang mas mabilis na bilis, ngunit hindi lahat ay kayang tustusan ang ganitong gastos. Ngunit kung sa pamamagitan ng algorithm at engineering innovation ay mapapababa ang kinakailangang computing power at oras ng paggawa ng proof sa ilalim ng mababang computing power, at maabot ang balanse sa pagitan ng “pagtaas ng presyo ng Ethereum dahil sa teknolohikal na inobasyon at mas maraming aplikasyon” at “gastos sa pagbili ng GPU para sa pagpapatakbo ng node,” magiging posible na gawin ito.

Kaya, ang maraming ZK concept projects o open-source developers sa Ethereum ecosystem ay pangunahing nakatuon sa: paggawa ng ZK proof sa mas mababang gastos at mas mabilis na bilis sa ilalim ng mababang gastos. Kamakailan, ang Brevis team ay gumamit lamang ng kalahating gastos ng SP1 Hypercube solution (64 na piraso ng RTX 5090 GPU) upang makamit ang average na 6.9 segundo na proof ng Ethereum block (99.6% ng proof time ay mas mababa sa kasalukuyang average block time ng Ethereum: sa loob ng 12 segundo), kaya’t pinuri ito ng Ethereum community.

Kahit na ang gastos sa GPU ay higit pa rin sa 100,000 USD, kahit paano ay bumaba na ang proof speed sa kasalukuyang antas na walang ZKP, at ang susunod na gawain ng lahat ay pababain pa ang gastos.

Nakamit ng Altas Upgrade ang 1 Segundo na ZK Finality

Marahil hindi alam ng marami, ang open-source zkVM ZKsync Airbender na inilunsad ng ZKsync ay ang pinakamabilis na zkVM sa single GPU verification speed. Ayon sa Ethproofs, gamit ang isang 4090 ZKsync Airbender, ang average verification time ay 51 segundo, at ang gastos ay mas mababa sa isang sentimo—parehong pinakamahusay sa mga zkVM.

Ayon sa sariling datos ng ZKsync, hindi kasama ang recursion, ang Airbender gamit ang isang H100 at ZKsync OS storage model ay may average verification time ng Ethereum mainnet na 17 segundo. Kahit isama ang recursion, ang kabuuang average time ay mga 35 segundo lamang. Naniniwala ang ZKsync na mas maganda ito kaysa sa paggamit ng dose-dosenang GPU para makamit ang verification sa loob ng 12 segundo. Ngunit dahil sa kasalukuyan ay may dalawang GPU lamang na may average na 22.2 segundo, hindi pa tiyak ang aktwal na resulta.

At ang lahat ng ito ay hindi lamang dahil sa Airbender, kundi dahil din sa algorithm at engineering optimization, at higit sa lahat, sa malalim na integrasyon sa ZKsync technology stack. Ang mas mahalaga, ipinapakita nito na posible ang real-time proof ng Ethereum mainnet gamit ang isang GPU lamang.

Noong katapusan ng Hunyo, inilunsad ng ZKsync ang Airbender, at sa ikalawang huling araw ng National Day holiday ay inilunsad ang Altas upgrade. Ang upgrade na ito na pinagsama ang Airbender ay nagdala ng malaking pagtaas sa throughput, confirmation speed, at gastos ng ZKsync.

Sa throughput, in-optimize ng ZKsync ang sequencer sa engineering: sa pamamagitan ng independent asynchronous components, nabawasan ang gastos ng synchronization; pinaghiwalay ang state na kailangan ng VM, state na kailangan ng API, at state na kailangan para sa paggawa ng zero-knowledge proof o pag-verify ng zero-knowledge proof sa L1, kaya nabawasan ang hindi kailangang gastos ng components.

Sa aktwal na pagsubok ng ZKsync, ang TPS sa high-frequency price updates, stablecoin transfers sa payment scenarios, at native ETH transfers ay umabot sa 23k, 15k, at 43k ayon sa pagkakasunod.

Ang isa pang malaking pagbabago ay mula sa Airbender, na tumulong sa ZKsync na makamit ang 1 segundo na block confirmation at 0.0001 USD na gastos kada transfer. Hindi tulad ng pag-verify ng mainnet block, tanging ang validity ng state transition ang bineberipika ng ZKsync, kaya mas maliit ang kinakailangang computation. Kahit na ang ZK finality na transaksyon ay kailangang ma-verify pa rin sa mainnet bago makamit ang L1 finality, ang ZK verification ay nagpapakita na valid ang transaksyon, at ang L1 finality ay mas parang proseso ng garantiya.

Ibig sabihin, ang mga transaksyon na isinasagawa sa ZKsync ay maaaring ganap na makumpirma na valid gamit lamang ang ZKP verification, at dahil sa malaking pagbaba ng gastos, nakamit ng ZKsync, gamit ang kanilang sariling mga salita, ang mga application scenarios na tanging Airbender lang ang makakapagbigay:

Una, natural na kabilang dito ang on-chain order books, payment systems, exchanges, at automated market makers. Pinapabilis ng Airbender ang verification at settlement, at binabawasan ang panganib ng rollback ng mga application na ito sa chain.

Pangalawa, ito ay isang bagay na hindi kayang gawin ng maraming L2 ngayon: ang suporta para sa public at private systems (tulad ng Prividiums ng ZKsync) na maaaring mag-interoperate nang walang third party. Ang Prividiums ay isang infrastructure na inilunsad ng ZKsync upang tulungan ang mga negosyo na magtayo ng private chain. Para sa mga negosyo, ang mga pangunahing pangangailangan sa blockchain ay mabilis na settlement at privacy. Hindi na kailangang ipaliwanag ang mabilis na settlement, at ang natural na privacy ng ZKP ay nagpapahintulot sa mga private chain ng negosyo na mag-interoperate sa public chain nang hindi ibinubunyag ang ledger information ng chain habang napapatunayan ang validity ng transaksyon. Ang kombinasyon ng dalawa ay nakakatugon pa sa mga regulasyon ng on-chain securities at forex trading tungkol sa settlement time.

Maaaring ito rin ang dahilan kung bakit ang ZKsync ay naging pangalawang pinakamalaking tokenized RWA asset issuance network pagkatapos ng Ethereum.

Ipinagmamalaki rin ng ZKsync na lahat ng ito ay posible lamang sa ilalim ng Altas upgrade: ang sequencer ay nagbibigay ng low-latency transaction packaging, ang Airbender ay gumagawa ng proof sa loob ng isang segundo, at pagkatapos ay ang Gateway ay nagbeberipika at nagko-coordinate ng cross-chain messages.

Pagkonekta sa L1 at L2

Tulad ng nire-tweet ni Vitalik sa tweet, naniniwala ang tagapagtatag ng ZKsync na si Alex na pagkatapos ng Altas upgrade, tunay na nakamit ng Zksync ang pagkonekta sa Ethereum mainnet.

Ngayon, ang final confirmation time ng transaksyon sa ZKsync (mga 1 segundo) ay mas maikli kaysa sa average block time ng Ethereum mainnet (12 segundo), na nangangahulugan na ang mga institutional at RWA transactions na isinasagawa sa ZKsync ay katulad ng sa Ethereum mainnet, at kailangan lang hintayin ang confirmation ng Ethereum mainnet. Nangangahulugan ito na hindi na kailangang magtayo ng liquidity center sa L2, at maaaring direktang gamitin ang liquidity ng mainnet, dahil ang cross-chain sa pagitan ng ZK Rollup at mainnet ay hindi tulad ng OP Rollup na nangangailangan ng 7 araw na challenge period, at ang Altas upgrade ay lalo pang pinabilis ang bilis.

Dahil dito, ang isyu ng L2 fragmentation na kamakailan ay pinag-uusapan sa Ethereum community ay napabuti, at ang L2 at L1 ay hindi na magkahiwalay na chain, kundi pinagsama sa pamamagitan ng mabilis na confirmation at verification, at ang L2 ay tunay na maaaring tawaging “scaling network” sa unang pagkakataon.

Naaalala pa noong unang inilunsad ang ZKsync at Scroll sa mainnet, ang transaction confirmation speed at Gas fee ay halos kapareho o mas mataas pa kaysa sa mainnet, dahil noong una ay wala pang systematic optimization ng algorithm at engineering para sa ZKP, kaya mabagal ang verification at mataas ang gastos, na nagdulot pa ng trust crisis sa ZK Rollup. Sa ngayon, unti-unti nang lumilipat ang Optimism at Arbitrum mula OP Rollup patungong ZK Rollup (o kombinasyon ng dalawa), at ang patuloy na pagpapababa ng gastos at pagpapabilis ng ZKsync at iba pang ZK Rollup, pati na rin ang decentralized ZKP ng Scroll, ay mula sa “kalokohan” ay naging resulta na karapat-dapat asahan.

Mula sa pagiging hindi pinapansin hanggang sa maging pinakapopular, dumating na ang liwanag para sa ZK. Kapag ang sequencer at cross-chain bridge multisig ay ganap nang na-decentralize, maaaring tunay nang makamit ang sinabi ng Dragonfly managing partner na si Hasseb Qureshi na “can't be evil.”