Soundness issue with Plonky2 look up tables
Sin señal de explotación. Ningún artefacto público de explotación conocido hasta ahora.
Las tablas de búsqueda de Plonky2 tienen una falla que permite a un probador deshonesto demostrar falsamente que cualquier función devuelve 0 cuando recibe 0 como entrada, a menos que el tamaño de la tabla cumpla requisitos específicos. Esto compromete la seguridad de las pruebas generadas.
La vulnerabilidad surge del relleno con ceros en LookupTableGate cuando la longitud de la tabla no es divisible por 26 (floor(num_routed_wires / 3)), permitiendo a un probador malicioso falsificar pruebas para el par entrada-salida f(0) = 0 independientemente del contenido real de la tabla. Este problema de solidez compromete la integridad criptográfica de los SNARKs basados en PLONK y se mitiga ampliando tablas a longitudes divisibles o actualizando a la versión 1.0.1.