🧵 Au cours des derniers mois, nous avons publié une série d’articles de blog explorant les défis techniques et les idées qui façonnent les preuves à divulgation nulle de connaissance, la cryptographie et la sécurité. Ce fil de discussion rassemble les dernières nouveautés, de la recherche de bogues à l’aide de l’IA aux SNARK post-quantiques 👇
Nous avons récemment découvert un problème de solidité subtil mais important dans Halo2, que nous avons nommé le bug de collision de requête. Il affecte certains circuits à la limite et était présent dans les versions largement utilisées, y compris l’implémentation principale de Zcash et le fork de PSE. 👇🏼