Ny forskning av Vitalik Buterin
Vitalik Buterin har delat ny forskning som kan omforma hur Ethereum hanterar bevisverifiering och skalning under de kommande åren. Han har introducerat GKR-protokollet, ett banbrytande bevisystem utformat för att göra zero-knowledge-beräkningar snabbare och mer effektiva.
Detaljer om GKR-protokollet
Publicerad den 20 oktober på hans personliga blogg vitalik.eth.limo, detaljerar Buterins nya handledning Goldwasser–Kalai–Rothblum-protokollet. Denna rekursiva bevisaggregationsmetod har potential att helt förändra hur Ethereum (ETH) hanterar skalning och verifiering.
GKR-ramverket verifierar stora beräkningar med liten on-chain overhead, vilket förenklar komplexa kryptografiska bevis. Buterin beskriver hur GKR bearbetar bevis på logaritmisk tid utan att kräva kostsamma mellanåtaganden, vilket gör det mycket mer effektivt än konventionella ZK-SNARK– eller STARK-system.
Betydelse och framtid
”Det är en naturlig lösning för att bevisa stora mängder av hash och beräkningar i stil med neurala nätverk,” skrev han och framhöll dess lämplighet för både blockchain- och AI-arbetsbelastningar.
På grund av protokollets design kan provare utelämna åtaganden i mellanliggande steg, vilket sänker kostnaden och den beräkningsmässiga belastningen. Även om GKR inte är zero-knowledge i sig, kan det omslutas i ZK-SNARK– eller STARK-lager för integritet, vilket kombinerar kortfattadhet med konfidentialitet.
GKR stämmer överens med Buterins bredare vision för ”Lean Ethereum”, en förenklad och kvantmotståndskraftig nätverksdesign. Det stöder direkt Ethereums rörelse mot snabbare slutgiltighet, bevisaggregat för rollups och zero-knowledge-baserad skalbarhet.
Relaterade initiativ
Denna release följer flera relaterade initiativ från Buterin, såsom förslag på avancerade interoperabilitetsverktyg mellan lager-2-nätverk, delvis stateless-klienter för att minimera nodlagring och styrning möjliggjord av ZK. Tillsammans syftar dessa initiativ till att göra Ethereum mer effektivt, privat och tillgängligt.
Ethereums kryptografiska ryggrad kan bli lättare och snabbare när utvecklare börjar experimentera med GKR-baserade system, vilket skulle hjälpa till att förverkliga Buterins långsiktiga mål om skalbar, verifierad beräkning.
