Les SNARKs post-quantiques deviennent transparents. Greyhound par @zksecurityXYZ montre comment 👇

@zksecurityXYZ Greyhound est un SNARK basé sur un réseau transparent. Il tire parti des réseaux structurés, des engagements d'Ajtai et de techniques de génération de preuves efficaces.

@zksecurityXYZ L'innovation principale : remplacer les configurations traditionnelles basées sur le logarithme discret ou les appariements par des hypothèses de réseau, visant une sécurité post-quantique tout en maintenant la concision et la vérifiabilité.

@zksecurityXYZ Primitive clé : engagement d'Ajtai. Il utilise la dureté dans le pire des cas des problèmes de réseau (par exemple, SIS) pour lier les valeurs engagées. Greyhound l'implémente dans son système d'engagement polynomial et de preuve de connaissance.

Le protocole de Greyhound fonctionne sur des réseaux d'entiers. Il évite la configuration de confiance grâce à des paramètres choisis publiquement. La sécurité découle de la difficulté des problèmes de réseau face à des adversaires quantiques, plutôt que des hypothèses sur l'ordre des groupes.

@zksecurityXYZ Efficacité : les auteurs rapportent une "construction efficace" tant pour le prouveur que pour le vérificateur. Bien que toujours plus grande que les SNARKs basés sur le couplage, Greyhound se développe avec des opérations modulaires sur des vecteurs/matrices, plus adaptées au matériel optimisé pour les réseaux.

@zksecurityXYZ Performance du vérificateur : constante ou logarithmique en fonction de la taille du circuit, selon la paramétrisation. Elle repose sur des procédures d'échantillonnage et de vérification caractéristiques des engagements en treillis, conçues pour réduire l'interactivité et la surcharge du prouveur.

@zksecurityXYZ Angle d'intégration : Greyhound peut s'adapter aux chaînes d'outils SNARK existantes via un remplacement modulaire du schéma d'engagement. Il ne nécessite pas de redéfinition des abstractions de circuit, ce qui le rend pragmatique pour la transition post-quantique.

@zksecurityXYZ D'un point de vue cryptographique, cela démontre sa viabilité : configuration transparente, hypothèses de réseau, et structure de preuve efficace. Des questions clés demeurent concernant les tailles de preuve concrètes, l'optimisation des paramètres, et la performance de mise en œuvre dans le monde réel.

@zksecurityXYZ En résumé, Greyhound est un SNARK basé sur des réseaux construit sur des engagements d'Ajtai. Il atteint une sécurité post-quantique sans configuration de confiance, visant des tailles de preuve pratiques et une efficacité des vérificateurs. Il propose une feuille de route pour intégrer la cryptographie résistante aux quantiques dans les systèmes existants.

@zksecurityXYZ Lisez l'article de blog 👇

@zksecurityXYZ Les dernières nouveautés en ZK, ici, chaque mois👇