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