Recientemente descubrimos un problema de solidez sutil pero importante en Halo2, al que hemos llamado el error de colisión de consultas. Afecta a ciertos circuitos de caja límite y estaba presente en versiones ampliamente utilizadas, incluida la implementación principal de Zcash y la bifurcación de PSE. 👇🏼