Recentemente, descobrimos um problema de solidez sutil, mas importante, no Halo2, que nomeamos de bug de colisão de consulta. Ele afeta certos circuitos em casos extremos e estava presente em versões amplamente utilizadas, incluindo a implementação principal do Zcash e o fork da PSE. 👇🏼