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. 👇🏼