Nous allons montrer comment utiliser zero pour attaquer la preuve à divulgation nulle de connaissance (ZKP). En particulier, nous discuterons d'un problème *critique* dans une implémentation C++ de ZKP PLONK à la pointe de la technologie, qui permet à un attaquant de créer une preuve *falsifiée* que tous les vérificateurs accepteront. Nous montrerons comment la théorie guide la direction de l'attaque. En pratique, l'attaque fonctionne à merveille et nous montrerons comment l'attaque passe à travers une chaîne de failles logicielles parfaitement alignées.
Par : Quan Thoi Minh Nguyen
Résumé complet :