Innledning
Vitalik Buterin har delt ny forskning som kan omforme hvordan Ethereum nærmer seg bevisverifisering og skalering i årene som kommer. Han har introdusert GKR-protokollen, et banebrytende bevis-system designet for å gjøre nullkunnskapsberegninger raskere og mer effektive.
GKR-protokollen
Publisert 20. oktober på sin personlige blogg vitalik.eth.limo, detaljerer Buterins nye veiledning Goldwasser–Kalai–Rothblum-protokollen. Denne rekursive bevisaggregasjonsmetoden har potensial til å endre hvordan Ethereum (ETH) håndterer skalering og verifisering fullstendig.
GKR-rammeverket verifiserer store beregninger med lite on-chain overhead, noe som forenkler komplekse kryptografiske bevis. Buterin beskriver hvordan GKR prosesserer bevis i logaritmisk tid uten å kreve kostbare mellomforpliktelser, noe som gjør det langt mer effektivt enn konvensjonelle ZK-SNARK- eller STARK-systemer.
Kreditering og styrker
I sitt innlegg krediterer Buterin Lev Soukhanov, Zhenfei Zhang og Zachary Williamson for deres tilbakemeldinger og vurderinger, og understreker at GKR sin kjerne styrke ligger i dens skalerbarhet.
«Det er en naturlig tilpasning for å bevise store mengder av hasher og beregninger i stil med nevrale nettverk,»
skrev han, og fremhevet dens egnethet for både blockchain- og AI-arbeidsmengder.
På grunn av protokollens design kan bevisere utelate forpliktelser på mellomliggende stadier, noe som reduserer kostnadene og den beregningsmessige belastningen. Selv om GKR ikke er nullkunnskap i seg selv, kan det pakkes inn i ZK-SNARK- eller STARK-lag for personvern, og kombinere kortfattethet med konfidensialitet.
Buterins visjon for Ethereum
GKR er i tråd med Buterins bredere visjon for «Lean Ethereum», et forenklet og kvante-resistent nettverksdesign. Det støtter direkte Ethereums bevegelse mot raskere endelighet, bevisaggregasjon for rollups, og nullkunnskapsbasert skalerbarhet.
Denne utgivelsen følger flere relaterte initiativer fra Buterin, som forslag til avanserte interoperabilitetsverktøy mellom lag-2-nettverk, delvis stateless-klienter for å minimere nodelagring, og styring muliggjort av ZK. Sammen har de som mål å gjøre Ethereum mer effektivt, privat og tilgjengelig.
Fremtiden for Ethereum
Ethereums kryptografiske ryggrad kan bli lettere og raskere ettersom utviklere begynner å eksperimentere med GKR-baserte systemer, noe som vil bidra til å realisere Buterins langsiktige mål om skalerbar, verifisert beregning.