Bagong Pananaliksik ni Vitalik Buterin
Ibinahagi ni Vitalik Buterin ang bagong pananaliksik na maaaring baguhin ang paraan ng Ethereum sa pag-verify ng proof at pag-scale sa mga darating na taon. Ipinakilala niya ang GKR protocol, isang makabagong proof system na dinisenyo upang gawing mas mabilis at mas epektibo ang zero-knowledge computations. Nailathala noong Oktubre 20 sa kanyang personal na blog na vitalik.eth.limo, detalyado ng bagong tutorial ni Buterin ang Goldwasser–Kalai–Rothblum protocol. Ang pamamaraang ito ng recursive proof aggregation ay may potensyal na baguhin ang kabuuang paraan ng paghawak ng Ethereum (ETH) sa scaling at verification.
GKR Framework at mga Benepisyo
Ang GKR framework ay nagve-verify ng malalaking computations na may kaunting on-chain overhead, na nagpapadali sa mga kumplikadong cryptographic proofs. Ipinapaliwanag ni Buterin kung paano pinoproseso ng GKR ang mga proof sa logarithmic time nang hindi nangangailangan ng magastos na intermediate commitments, na ginagawang mas epektibo ito kumpara sa mga tradisyunal na ZK-SNARK o STARK systems.
“Ito ay natural na akma para sa pagpapatunay ng malalaking batch ng hashes at computations na estilo ng neural network,” isinulat niya, na binibigyang-diin ang pagiging angkop nito para sa parehong blockchain at AI workloads.
Dahil sa disenyo ng protocol, maaaring iwasan ng mga provers ang mga commitments sa intermediate stages, na nagpapababa sa gastos at computational load. Bagaman ang GKR ay hindi zero-knowledge mismo, maaari itong balutin sa ZK-SNARK o STARK layers para sa privacy, na pinagsasama ang succinctness at pagiging kompidensyal.
Mas Malawak na Pananaw para sa Ethereum
Ang GKR ay umaayon sa mas malawak na pananaw ni Buterin para sa “Lean Ethereum”, isang pinadaling disenyo ng network na lumalaban sa quantum. Direktang sinusuportahan nito ang paglipat ng Ethereum patungo sa mas mabilis na finality, proof aggregation para sa rollups, at zero-knowledge-based scalability.
Ang paglabas na ito ay sumusunod sa ilang kaugnay na inisyatiba mula kay Buterin, tulad ng mga mungkahi para sa mga advanced interoperability tools sa pagitan ng layer-2 networks, partial stateless clients upang mabawasan ang storage ng node, at pamamahala na pinagana ng ZK. Sama-sama, layunin nilang gawing mas epektibo, pribado, at accessible ang Ethereum.
Maaaring maging mas magaan at mas mabilis ang cryptographic backbone ng Ethereum habang nagsisimulang mag-eksperimento ang mga developer sa mga GKR-based systems, na makatutulong upang maisakatuparan ang pangmatagalang layunin ni Buterin ng scalable, verified computation.