Ethereum-Mitbegründer Vitalik Buterin stellt GKR-Protokoll für schnellere Beweissysteme vor

Vitalik Buterin hat neue Forschungsergebnisse vorgestellt, die die Herangehensweise von Ethereum an die Verifizierungen von Beweisen und das Skalieren in den kommenden Jahren grundlegend verändern könnten.

Vitalik Buterin hat das GKR-Protokoll eingeführt, ein bahnbrechendes Beweissystem, das Zero-Knowledge-Berechnungen schneller und effizienter machen soll.

Veröffentlicht am 20. Oktober auf seinem persönlichen Blog vitalik.eth.limo, beschreibt Buterins neues Tutorial das Goldwasser–Kalai–Rothblum-Protokoll. Diese rekursive Methode zur Aggregation von Beweisen hat das Potenzial, die Art und Weise, wie Ethereum (ETH) Skalierung und Verifizierung handhabt, grundlegend zu verändern.

GKR-Protokoll und die Zukunft der Effizienz von Beweisen

Das GKR-Framework verifiziert große Berechnungen mit geringem On-Chain-Overhead und vereinfacht komplexe kryptografische Beweise. Buterin beschreibt, wie GKR Beweise in logarithmischer Zeit verarbeitet, ohne teure Zwischenverpflichtungen zu benötigen, was es deutlich effizienter macht als herkömmliche ZK-SNARK- oder STARK-Systeme.

In seinem Beitrag dankt Buterin Lev Soukhanov, Zhenfei Zhang und Zachary Williamson für ihr Feedback und ihre Überprüfung und betont, dass die Kernstärke von GKR in seiner Skalierbarkeit liegt. „Es ist eine natürliche Lösung für das Beweisen großer Mengen von Hashes und Berechnungen im Stil von neuronalen Netzwerken“, schrieb er und hob hervor, dass es sowohl für Blockchain- als auch für KI-Workloads geeignet ist.

Aufgrund des Designs des Protokolls können Prover auf Verpflichtungen in Zwischenstufen verzichten, was die Kosten und die Rechenlast senkt. Obwohl GKR selbst kein Zero-Knowledge ist, kann es in ZK-SNARK- oder STARK-Schichten für Privatsphäre eingebettet werden und so Prägnanz mit Vertraulichkeit kombinieren.

Ein Schlüsselelement in Ethereums Roadmap

GKR steht im Einklang mit Buterins umfassender Vision für „Lean Ethereum“, einem vereinfachten und quantenresistenten Netzwerkdesign. Es unterstützt direkt Ethereums Entwicklung hin zu schnellerer Finalität, Beweisaggregation für Rollups und Zero-Knowledge-basierter Skalierbarkeit.

Diese Veröffentlichung folgt auf mehrere verwandte Initiativen von Buterin, wie Vorschläge für fortschrittliche Interoperabilitätswerkzeuge zwischen Layer-2-Netzwerken, teilweise zustandslose Clients zur Minimierung des Node-Speichers und durch ZK ermöglichte Governance. Zusammen sollen sie Ethereum effizienter, privater und zugänglicher machen.

Das kryptografische Rückgrat von Ethereum könnte leichter und schneller werden, wenn Entwickler beginnen, mit GKR-basierten Systemen zu experimentieren, was dazu beitragen würde, Buterins langfristiges Ziel von skalierbarer, verifizierter Berechnung zu verwirklichen.