- Sinasabi ni Vitalik na ang makabagong ZK proofs ay nagbibigay-daan sa ganap na beripikasyon ng chain nang hindi na kailangang ulitin ang kasaysayan.
- Kanyang inuugnay ang pagbabagong ito sa mga pagkaantala, panganib ng censorship, at pag-asa sa maselan na third-party na mga serbisyo.
- Muling sinusuri ng Ethereum ang mga lumang limitasyon ng disenyo habang nagiging praktikal na ang beripikasyon para sa mga gumagamit.
Sinabi ni Vitalik Buterin, co-founder ng Ethereum, na hindi na siya sumasang-ayon sa isang post noong Hunyo 9, 2017 na bumabalewala sa regular na pagbeberipika ng buong kasaysayan ng blockchain ng mga ordinaryong gumagamit. Ang pahayag ay muling bumabalik sa naunang debate kung dapat lamang mag-imbak ng blockchain ng mga order ng transaksyon o dapat ding itala ang buong system state. Sinabi ni Buterin na ang mga sumunod na pag-unlad sa teknolohiya at mga kabiguan sa totoong mundo ay nagbago sa kanyang pananaw ukol sa tradeoff ng beripikasyon at pangmatagalang self-sovereignty.
Noong panahon na iyon, ang debate ay umiikot sa kung dapat bang buuing muli ng mga gumagamit ang state ng blockchain sa pamamagitan ng pag-replay ng bawat transaksyon o magtiwala sa mga third party. Dati nang tinanggihan ni Buterin ang mga disenyo na nag-iiwan sa mga gumagamit ng dalawang opsyon lang para makuha ang balanse o datos ng smart contract. Sinabi niya na ang mga assumptions na gumabay sa posisyong iyon ay hindi na tumutugma sa kasalukuyang teknolohiya o realidad ng operasyon.
Ano ang mangyayari kapag kailangang mabuhay ng mga blockchain sa kabila ng mga pagkaantala, censorship, at sentralisadong kontrol nang hindi umaasa sa mga developer?
Maagang Pagsalungat sa Stateless na Disenyo ng Blockchain
Sinabi ni Buterin na ang kanyang mga komento noong 2017 ay nagmula sa debate kay Ian Grigg tungkol sa pag-order ng transaksyon kumpara sa state tracking. Iginiit ni Grigg na dapat i-log ng mga blockchain ang mga mensahe habang hinahayaan ang mga computer na maghinuha at magtapon ng state. Sa ilalim ng pamamaraang iyon, ang mga balanse at datos ng kontrata ay hindi direktang mananatili on-chain.
Tutol si Buterin sa ideyang iyon dahil mawawalan ng direktang akses ang mga gumagamit sa state maliban na lang kung magsasagawa sila ng matinding pagsisikap o magtitiwala sa iba. Sinabi niya na kailangang i-process ng mga gumagamit ang bawat transaksyon mula simula o umasa sa external providers. Parehong opsyon ay naghahatid ng hadlang para sa mga ordinaryong gumagamit na naghahangad ng independiyenteng beripikasyon.
Kinumpara niya iyon sa disenyo ng Ethereum, na naglalagay ng state roots sa block headers. Ang pamamaraang ito ay nagpapahintulot sa mga gumagamit na patunayan ang mga partikular na halaga gamit ang Merkle branches sa ilalim ng assumption ng honest majority. Sinabi ni Buterin na mas ligtas pa rin ang magtiwala sa majority ng mga validator kaysa sa isang remote na service provider lamang.
Binabago ng Teknolohiya ang Tradeoff sa Beripikasyon
Sinabi ni Buterin na ang zero-knowledge proofs ang pinakamalaking pagbabago mula sa dati niyang pananaw. Tinukoy niya ang ZK-SNARKs bilang paraan upang mapatunayan ang correctness ng chain nang hindi na kailangang ulitin ang bawat transaksyon. Ang teknolohiyang ito ay nagbibigay-daan sa beripikasyon na may matibay na garantiya at mas mababang computation cost.
Ikinumpara niya ang pag-unlad na ito sa pagkuha ng mga benepisyong dati ay inakalang hindi makakamit kung walang malalaking sakripisyo. Pinapayagan ng ZK-SNARKs ang lakas ng beripikasyon nang hindi nililimitahan ang block capacity sa hindi praktikal na antas. Sinabi ni Buterin na binabago nito ang mga dating trade-offs na ginawa noong mas limitado pa ang teknolohiya.
Sa pag-usbong ng mas mahusay na mga kasangkapan, sinabi niyang dapat muling suriin ng Ethereum ang mga desisyong hinubog ng dating mga limitasyon. Napansin niyang ang mga natitirang isyu sa block construction at data bandwidth ay nangangailangan pa rin ng pansin. Ang mga isyung ito ay hiwalay sa kakayahan ng beripikasyon, ayon sa kanyang paliwanag.
Kaugnay: Sinabi ni Vitalik Buterin na ang mga Institusyon ay Hindi Kaibigan o Kaaway ng Crypto
Ang mga Kabiguan sa Totoong Mundo ay Humuhubog sa mga Prayoridad ng Disenyo
Sinabi ni Buterin na nagbago rin ang kanyang pananaw dahil sa pagmasid ng mga kabiguan ng mga sistema sa totoong mundo.
Nabanggit niya ang mga peer-to-peer outages, biglaang pagtaas ng latency, at pag-asa sa mga serbisyong biglaang nagsasara. Ang mga ganitong kabiguan ay maaaring pumilit sa mga gumagamit na magpatakbo ng sarili nilang imprastraktura o malagay sa panganib na mawalan ng akses sa pondo.
Binalaan din niya na maaaring magkaroon ng konsentrasyon ang pagmimina at staking sa antas na posibleng mangyari ang majority attacks. Sa mga kasong iyon, ang mga security assumption ay lumalapit sa single-actor control kaysa sa malawak na desentralisasyon. Ang mga kaganapan gaya ng Tornado Cash ay nagpakita kung paano maaaring i-censor ng mga intermediary ang mga aplikasyon ng sabay-sabay.
Sinabi ni Buterin na kailangang gumana ang mga self-sovereign na blockchain nang hindi laging umaasa sa interbensyon ng developer. Inilarawan niya ang “Mountain Man’s cabin” bilang huling takbuhan kapag pumalya ang mga sistema. Ang konseptong ito ay nagsisilbing matatag na alternatibo na nagpapalakas sa Ethereum sa simpleng pag-iral nito.
