Am descoperit recent o problemă subtilă, dar importantă, de soliditate în Halo2, pe care am numit-o bug-ul de coliziune a interogărilor. Afectează anumite circuite edge-case și a fost prezent în versiuni utilizate pe scară largă, inclusiv implementarea principală Zcash și fork-ul PSE. 👇🏼