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 en casos límite y estaba presente en versiones ampliamente utilizadas, incluida la implementación principal de Zcash y el fork de PSE. 👇🏼
4,29K