Effiziente Optimierung von ZK-Beweisen durch Ragged Multi-Instance GKR
Die Evaluierung von Hash-Funktionen bestimmt in modernen Zero-Knowledge-Beweis-Systemen – insbesondere im Kontext von Ethereum-Post-Quanten-Roadmaps und zkEVM-Architekturen – die Prover-Laufzeit. Der neu vorgestellte Ragged Multi-Instance GKR (kurz Ragged-GKR) reduziert die Laufzeit und den Speicherbedarf erheblich, indem er mehrere ungleich große Poseidon2b-Hash-Regionen ohne physisches Max-Padding aggregiert. Der Ansatz liefert messbare Verbesserungen bei Prover- und Verifier-Zeit, Transkriptgröße und physischer Zeilenanzahl, ohne die kryptographische Sicherheit zu beeinträchtigen. Grundlagen des GKR-Protokolls und Sumcheck über binären Turmfeldern Das GKR-Protokoll, benannt nach Goldwasser, Kalai & Rothblum (2008),Weiterlesen
