Buterin introducerar GKR-bevissystem för att öka Ethereums skalbarhet
Ethereums medgrundare Vitalik Buterin har introducerat GKR-protokollet, ett nästa generations bevissystem som är utformat för att göra ZK-beräkningar (zero-knowledge) snabbare och mer effektiva. Handledningen publicerades på hans blogg vitalik.eth.limo den 20 oktober och beskriver hur Goldwasser-Kalai-Rothblum (GKR)-metoden dramatiskt kan förbättra hur Ethereum verifierar storskaliga beräkningar.
Denna artikel har översatts från originalet. Läs originalversionen av vår korrespondent här.
GKR-ramverket använder rekursiv bevisaggregering, vilket gör det möjligt för utvecklare att verifiera massiva satser av operationer med minimal overhead på kedjan, rapporterar Crypto News.
Genom att bearbeta bevis i logaritmisk tid och eliminera behovet av kostsamma mellanliggande åtaganden erbjuder GKR ett mer effektivt alternativ till traditionella ZK-SNARK- och ZK-STARK-system.
Buterin berömde Lev Soukhanov, Zhenfei Zhang och Zachary Williamson för deras feedback på arbetet och noterade att protokollets effektivitet och skalbarhet gör det till "en naturlig passform för att bevisa stora satser av hashar och beräkningar i stil med neurala nätverk".
Snabbare, billigare och skalbara kryptografiska bevis
GKR-protokollet gör det möjligt för bevisare att hoppa över mellanliggande åtaganden - en stor flaskhals i befintliga ZK-bevissystem. Denna design minskar avsevärt beräkningskostnaden och gasförbrukningen, vilket banar väg för bevisgenerering och verifiering i realtid i både blockchain- och AI-beräkningssammanhang.
Även om GKR i sig inte är nollkunskap kan det förpackas i SNARK- eller STARK-lager för att lägga till integritet, vilket kombinerar beviskorthet med konfidentialitet. Denna flexibilitet gör det idealiskt för Ethereums lager-2-skalningslösningar, rollups och användningsfall för interoperabilitet mellan kedjor.
Protokollet ger också en mer strömlinjeformad struktur för batchverifiering, där tusentals transaktioner eller beräkningar kan valideras samtidigt utan att kompromissa med effektiviteten i kedjan. Utvecklarna förväntar sig att GKR kan minska verifieringstiderna med en storleksordning jämfört med nuvarande metoder, särskilt inom rollup-aggregering och AI-modellverifiering.
En milstolpe i Ethereums "Lean"- och kvantresistenta färdplan
GKR-versionen utgör ytterligare ett steg i Buterins långsiktiga strategi för "Lean Ethereum" - en förenklad, effektiv och kvantresistent blockkedjearkitektur. Protokollet kompletterar Ethereums pågående utveckling mot snabbare finalitet, ZK-baserad skalbarhet och lättviktsklienter som minskar kraven på nodlagring.
Nya blogginlägg från Buterin har utforskat liknande riktningar, inklusive ZK-aktiverad styrning, lager-2 interoperabilitetsramverk och partiella statslösa klienter. Tillsammans syftar dessa framsteg till att göra Ethereum mer modulärt, säkert och hållbart när nätverket övergår till sin nästa fas av skalbarhet.
Med introduktionen av GKR kan Ethereums kryptografiska ryggrad bli både lättare och snabbare, vilket gör det möjligt för utvecklare att bygga rollups med hög genomströmning, privata DeFi-applikationer och verifierbara AI-beräkningssystem - viktiga pelare för att förverkliga Buterins vision om ett verkligt skalbart, verifierbart och decentraliserat internet.
Nyligen skrev vi att Ethereums väg på kort sikt kommer att vara starkt beroende av institutionella och stora ägares flöden, eftersom ackumulering eller utflöden kan flytta priset mer än typisk detaljhandel.
Senaste Ethereum nyheterna
- Forex
- Crypto