Inilunsad ng co-founder ng Ethereum na si Vitalik Buterin ang GKR protocol para sa mas mabilis na proof systems

Ibinahagi ni Vitalik Buterin ang bagong pananaliksik na maaaring magbago kung paano nilalapitan ng Ethereum ang proof verification at scaling sa mga darating na taon.

Ipinakilala ni Vitalik Buterin ang GKR protocol, isang makabagong proof system na dinisenyo upang gawing mas mabilis at mas episyente ang zero-knowledge computations.

Inilathala noong Oktubre 20 sa kanyang personal na blog vitalik.eth.limo, detalyado sa bagong tutorial ni Buterin ang Goldwasser–Kalai–Rothblum protocol. Ang recursive proof aggregation method na ito ay may potensyal na lubusang baguhin kung paano hinahawakan ng Ethereum (ETH) ang scaling at verification.

GKR protocol at ang hinaharap ng proof efficiency

Tinitiyak ng GKR framework ang malalaking computations na may kaunting on-chain overhead, pinapasimple ang mga komplikadong cryptographic proofs. Inilalarawan ni Buterin kung paano pinoproseso ng GKR ang mga proofs sa logarithmic na oras nang hindi nangangailangan ng magastos na intermediate commitments, dahilan upang ito ay mas episyente kaysa sa karaniwang ZK-SNARK o STARK systems.

Sa kanyang post, pinasalamatan ni Buterin sina Lev Soukhanov, Zhenfei Zhang, at Zachary Williamson para sa kanilang feedback at pagsusuri, binigyang-diin na ang pangunahing lakas ng GKR ay nasa scalability nito. “Ito ay natural na akma para sa pagpapatunay ng malalaking batch ng hashes at neural network-style computations,” isinulat niya, binibigyang-diin ang pagiging angkop nito para sa parehong blockchain at AI workloads.

Dahil sa disenyo ng protocol, maaaring hindi isama ng mga provers ang commitments sa mga intermediate stages, na nagpapababa ng gastos at computational load. Bagaman ang GKR mismo ay hindi zero-knowledge, maaari itong balutan ng ZK-SNARK o STARK layers para sa privacy, pinagsasama ang succinctness at confidentiality.

Isang mahalagang bahagi sa roadmap ng Ethereum

Ang GKR ay umaayon sa mas malawak na bisyon ni Buterin para sa “Lean Ethereum,” isang pinasimple at quantum-resistant na disenyo ng network. Direkta nitong sinusuportahan 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 kasunod ng ilang kaugnay na inisyatiba mula kay Buterin, tulad ng mga suhestyon para sa advanced interoperability tools sa pagitan ng layer-2 networks, partial stateless clients upang mabawasan ang node storage, at governance na pinapagana ng ZK. Sama-sama, layunin nilang gawing mas episyente, 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 makakatulong upang maisakatuparan ang pangmatagalang layunin ni Buterin ng scalable at verified computation.