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