Vitalik veröffentlicht Artikel: GKR-Protokoll verbessert die Effizienz der Zero-Knowledge-Proof-Berechnungen

ChainCatcher berichtet, dass Ethereum-Gründer Vitalik Buterin heute Morgen einen Beitrag über das GKR-Protokoll veröffentlicht hat. Das GKR (Goldwasser-Kalai-Rothblum) Protokoll entwickelt sich zur Schlüsseltechnologie für leistungsstarke Zero-Knowledge-Proof-Systeme.

Neueste Forschungen zeigen, dass GKR durch das Vermeiden von Commitments in den Zwischenschichten und Commitments nur für Eingaben und Ausgaben den theoretischen Overhead herkömmlicher STARK-Methoden von dem 100-fachen auf etwa das 15-fache reduzieren kann, in der praktischen Umsetzung sogar auf unter das 10-fache. Das Protokoll eignet sich besonders für mehrschichtige Berechnungsmodelle wie die Poseidon-Hashfunktion und neuronale Netzwerke. Die zentrale „sumcheck“-Technologie vereinfacht mehrdimensionale Probleme rekursiv durch zufällige lineare Kombinationen. GKR bietet zwar selbst keine Zero-Knowledge-Eigenschaften, kann jedoch mit ZK-SNARK oder ZK-STARK kombiniert werden und ist bereits eine Schlüsseltechnologie für Echtzeit-ZK-EVM-Beweise sowie die Verifizierung großskaliger Machine-Learning-Modelle.