Di recente abbiamo scoperto un problema di solidità sottile ma importante in Halo2, che abbiamo chiamato il bug della collisione delle query. Colpisce alcuni circuiti in casi limite ed era presente in versioni ampiamente utilizzate, inclusa l'implementazione principale di Zcash e il fork di PSE. 👇🏼