Post-Quanten-SNARKs werden transparent. Greyhound von @zksecurityXYZ zeigt wie 👇

@zksecurityXYZ Greyhound ist ein transparenter gitterbasierter SNARK. Er nutzt strukturierte Gitter, Ajtai-Verpflichtungen und effiziente Techniken zur Beweisgenerierung.

@zksecurityXYZ Die zentrale Innovation: Ersetzen traditioneller diskreter Logarithmen oder paarungsbasierter Setups durch Gitterannahmen, die auf post-quanten Sicherheit abzielen und gleichzeitig Kürze und Überprüfbarkeit bewahren.

@zksecurityXYZ Schlüsselprimitive: Ajtai-Verpflichtung. Sie nutzt die Worst-Case-Härte von Gitterproblemen (z.B. SIS), um verpflichtete Werte zu binden. Greyhound setzt sie in seinem polynomialen Verpflichtungs- und Wissensnachweissystem ein.

@zksecurityXYZ Das Protokoll von Greyhound funktioniert über ganzzahlige Gitter. Es vermeidet eine vertrauenswürdige Einrichtung durch öffentlich gewählte Parameter. Die Sicherheit basiert auf der Schwierigkeit von Gitterproblemen unter quantenbasierten Angreifern, anstatt auf Annahmen zur Gruppenordnung.

@zksecurityXYZ Effizienz: Die Autoren berichten von einer "effizienten Konstruktion" sowohl für den Prover als auch für den Verifier. Obwohl sie immer noch größer sind als auf Paarung basierende SNARKs, skaliert Greyhound mit modularen Operationen auf Vektoren/Matrizen – was besser für lattice-optimierte Hardware geeignet ist.

@zksecurityXYZ Verifier-Leistung: konstant oder logarithmisch in der Schaltkreisgröße, abhängig von der Parametrisierung. Sie basiert auf Sampling- und Prüfverfahren, die charakteristisch für Gitterverpflichtungen sind – entwickelt, um die Interaktivität und den Aufwand des Beweisführers zu reduzieren.

@zksecurityXYZ Integrationswinkel: Greyhound kann in bestehende SNARK-Toolchains durch modulare Ersetzung des Commitment-Schemas integriert werden. Es erfordert kein Redesign der Schaltkreisabstraktionen, was es pragmatisch für den Übergang zu post-quantum macht.

@zksecurityXYZ Aus kryptografischer Sicht zeigt es die Machbarkeit: transparente Einrichtung, Gitterannahmen und effiziente Beweisstruktur. Wichtige Fragen bleiben zu konkreten Beweisgrößen, Parameteroptimierung und der Leistung der Implementierung in der realen Welt.

@zksecurityXYZ Kurz gesagt, Greyhound ist ein gitterbasiertes SNARK, das auf Ajtai-Verpflichtungen basiert. Es erreicht post-quantensichere Sicherheit ohne vertrauenswürdige Einrichtung und zielt auf praktische Beweisgrößen und Effizienz des Verifiers ab. Es bietet einen Fahrplan zur Integration quantenresistenter Kryptographie in bestehende Systeme.

@zksecurityXYZ Lies den Blogbeitrag 👇

@zksecurityXYZ Das Neueste und Beste in ZK, hier, jeden Monat👇