Panayam kay StarkWare PM Gal Ron

Ang pag-scale ng Ethereum ay walang alinlangan na isa sa pinakamainit na paksa sa mga nakaraang buwan. Ang paglipat ng network sa isang proof-of-stake consensus algorithm noong Setyembre 2022 ay isang malaking milestone sa bagay na ito, dahil binuksan nito ang pinto para sa maraming iba't ibang mga solusyon sa pag-scale na maipatupad.

Habang ang mga developer ng Ethereum ay gumagawa ng mga paraan upang palakihin ang network sa katutubong paraan, ang kapangyarihan ng layer-two na mga solusyon ay nagsisimula pa lamang na mahayag.

Ang mga konsepto tulad ng zero-knowledge proofs ay nagiging isang gumaganang katotohanan, ngunit para sa marami, ang mga ito ay napaka-banyagang ideya pa rin. Upang matulungan kaming maunawaan ang higit pa tungkol sa hinaharap ng Ethereum scaling ay Gal Ron – isang product manager at isang blockchain researcher sa StarkWare – isang kumpanya na pangunahing nakatuon sa eksaktong ito.

Ang Problema Sa Ethereum

bago tayo sumisid sa ilan sa mga detalye, mahalagang maunawaan kung ano pag-scale ng Ethereum ibig sabihin talaga. Sa mga termino ng Layman, ito ang proseso ng pagpapalawak ng mga kakayahan sa pagproseso ng network upang ang bawat isa sa mga node nito ay makayanan ang mas mataas na transactional throughput.

Mayroong kasabihang ito na nagsasaad na ang isang kadena ay kasing lakas at lakas lamang ng pinakamahina nitong kawing. Ito ay dahil isa lamang sa mga link ang kailangang masira para mabigo ang buong chain. Nililimitahan din nito ang lakas ng chain dahil kakayanin lang nito ang isang load na kayang hawakan ng pinakamahina nitong link – gaano man kalakas ang lahat ng iba pang link.

Ang parehong ay totoo para sa Ethereum sa kasalukuyang estado nito. Ang pangangailangan para dito ay nagmumula sa katotohanan na ang Ethereum ay kailangang matugunan ang "tiwala" na kinakailangan.

Sa pagsasalita tungkol sa bagay na iyon, ipinaliwanag ni Ron:

Upang matugunan ang lahat ng mga pagpapalagay ng tiwala at mga kinakailangan ng tiwala, ang lahat ng mga node (sa Ethereum) ay kailangang gawin ang parehong bagay. Sa pamamagitan ng kahulugan, naglalagay ito ng limitasyon sa throughput ng system dahil kung tataasan natin ang TPS o ang laki ng block sa itaas ng isang tiyak na treshold, sisimulan nating pigilan ang mas maliit (basahin: na may mas kaunting computational power) na mga node na lumahok.

Sa esensya, ginagawa nitong ang Ethereum, sa kahulugan, ay pinaghihigpitan sa kapasidad nito.

Diskarte ng StarkWare: Ano ang ZK-Proof?

Ipinaliwanag ni Ron na mayroong ilang mga pagpipilian upang mahawakan ang mga isyu sa limitasyon ng Ethereum. Isa na rito ang mag-imbento ng iba.

Ang StarkWare, gayunpaman, ay gumawa ng ibang paraan ng "pag-scale ng Ethereum mula sa Ethereum at hindi paglikha ng isa pang chain." Ginagawa nila ito sa pamamagitan ng StarkNet at StarkEx, kaya tingnan natin.

Ang StarkNet ay inilarawan bilang isang "walang pahintulot na desentralisadong validity-rollup, na kilala rin bilang a ZK-Rollup.” Ito ay gumagana bilang isang L2 (layer-two) na network sa Ethereum, at ito ay naglalayong paganahin ang anumang desentralisadong aplikasyon (dApp) na makamit ang walang limitasyong sukat para sa pagkalkula nito. Ginagawa ito nang hindi isinasakripisyo ang seguridad at composability ng pangunahing layer – Ethereum – dahil umaasa ang StarkNet sa cryptographic proof system na kilala bilang STARK.

Maraming dapat i-unpack dito, kaya magsimula tayo sa konsepto ng zero-knowledge proofs.

"Sa Ethereum, ang lahat ng mga node ay kailangang muling patakbuhin ang lahat ng mga transaksyon. Bago ang ZK (zero-knowledge), walang ibang paraan upang magtiwala na may ibang tao na nagpatakbo ng mga pagkalkula nang may integridad. Kung ako ay isang node sa Ethereum, nakikita ko kung ano ang iba pang mga node na nag-uulat sa akin sa mga tuntunin ng kung ano ang dapat na estado ng system. Walang paraan para magtiwala ako sa kanila maliban sa muling pagpapatakbo ng parehong mga pag-compute na kanilang tinakbo.

Ang magic tungkol sa ZK ay ang paglikha nito ng isang bagong paradigm ng pagtitiwala sa iba pang mga entity nang hindi kinakailangang muling patakbuhin ang mga computations na ginawa nila." – sabi ni Ron.

Sa esensya, binabawasan ng mga ZK rollup tulad ng StarkNet ang dami ng computational work na kailangang ilagay ng mga node sa Ethereum nang malaki, kaya tumataas ang throughput ng network.

Ang lahat ng ito ay ginagawa nang hindi isinasakripisyo ang seguridad ng pangunahing layer. Upang gawin ito, ang StarkWare ay nag-imbento ng mga ZK-STARK, na nagpapahintulot sa mga blockchain na ilipat ang mga computations sa isang solong off-chain na STARK prover at pagkatapos ay i-verify ang integridad ng mga computations na iyon gamit ang isang on-chain na STARK Verifier.

Ipinaliwanag ni Gal Ron kung paano gumagana ang Prover at ang Sequencer, kaya para sa higit pang mga detalye tungkol dito, mangyaring tingnan ang video sa itaas.

Tinitingnan din namin kung ano ang eksaktong mga rollup, ano ang StarkEx, at ano ang mga plano ng StarkWare para sa hinaharap.