Das Unternehmen GKR senkt die Kosten für den ZK-Nachweis, indem es sich nur auf Eingaben und Ausgaben konzentriert und alle schweren Zwischenschritte überspringt.

Der Mitbegründer von Ethereum, Vitalik Buterin, hat ein Verschlüsselungsprotokoll namens GKR vorgestellt, das für Goldwasser–Kalai–Rothblum steht, um Null-Wissen-Nachweise (ZK) viel schneller und skalierbarer zu machen.

Das Protokoll wird die Kosten für die Berechnung von ZK-Beweisen senken, die die Grundlage für Datenschutz- und Skalierbarkeitssolutions im Ethereum-Ökosystem bilden.

Wie GKR den Prozess der Fehlerbeweisführung beschleunigt, ohne große Verpflichtungen einzugehen.

In einem detaillierten Tutorial auf seinem persönlichen Blog beschrieb Buterin, wie GKR die Berechnungen, die mehr als eine Datenschicht erfordern, wie kryptographische Hashes oder neuronale Netzwerk-Inferenz, effizienter macht.

Laut ihm erfordern traditionelle Systeme wie STARKs, dass Benutzer sich zu jedem Schritt in einem Berechnungsprozess verpflichten, was bedeutet, dass Hunderte von Hashes für jedes Byte an Daten durchgeführt werden müssen. GKR umgeht jedoch diese Zwischenverpflichtungen vollständig und verpflichtet sich nur zu den Eingaben und Ausgaben, was Zeit und Ressourcen erheblich spart.

Der grundlegende Mechanismus basiert auf einem mathematischen Verfahren, das als "vollständige Überprüfung" bekannt ist. Dieser Prozess ermöglicht es dem Beweiser und dem Prüfer, komplexe Berechnungen zu überprüfen, indem sie nur einige zufällig ausgewählte Punkte betrachten, anstatt die gesamte Datenmenge zu betrachten.

\u003ct-17/\u003e

\u003ct-47/\u003e

\u003ct-32/\u003e

\u003ct-10/\u003e\u003ct-11/\u003e

\u003cc-3/\u003e