🧵 En los últimos meses, hemos publicado una serie de publicaciones de blog que exploran los desafíos técnicos y las ideas que dan forma a las pruebas de conocimiento cero, la criptografía y la seguridad. Este hilo resume lo último, desde la búsqueda de errores usando IA hasta SNARK 👇 poscuánticos
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. 👇🏼