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 de cas limites et était présent dans des versions largement utilisées, y compris l'implémentation principale de Zcash et le fork de PSE. 👇🏼