Vitalik veröffentlicht GKR-Tutorialartikel: Das "Batch × Layer"-Protokoll, das ultraschnelle ZK-Proofs unterstützt

ChainCatcher berichtet, dass Vitalik Buterin in seinem neuesten Artikel das GKR (Goldreich–Kahan–Rothblum) Protokoll detailliert erläutert, welches zur Beschleunigung von ZK-Proofs eingesetzt wird. Es ist an die „Batch × Multi-Layer“-Berechnungsstruktur angepasst und reduziert die Anzahl der Zwischenebenen-Verpflichtungen erheblich, indem es nur für Eingaben und Ausgaben Verpflichtungen eingeht.

Der Artikel verwendet Poseidon2 Hash als Beispiel und erklärt den rekursiven Beweisprozess, der auf sumcheck basiert, im Detail. Zudem werden Optimierungen wie Gruen’s trick, lineares Batch-Processing und das Kubieren nur des ersten Elements in bestimmten Runden vorgestellt. Im Kontext von Polynomial Commitments kann dies mit BaseFold oder FRI kombiniert werden. Der Autor gibt an, dass der tatsächliche Overhead etwa 100-mal geringer ist als der theoretische Wert traditioneller STARKs, und dass Overhead auf Einzeldigit-Ebene erreichbar ist. Zudem wird darauf hingewiesen, dass bei der Fiat–Shamir-Challenge das Risiko der Vorhersagbarkeit innerhalb des Schaltkreises beachtet werden muss.