Instituto Nacional de ciberseguridad. Sección Incibe
Instituto Nacional de Ciberseguridad. Sección INCIBE-CERT

Vulnerabilidad en Plonky2 (CVE-2025-24802)

Gravedad CVSS v3.1:
ALTA
Tipo:
No Disponible / Otro tipo
Fecha de publicación:
30/01/2025
Última modificación:
30/01/2025

Descripción

Plonky2 es una implementación de SNARK basada en técnicas de PLONK y FRI. Las tablas de búsqueda, cuya longitud no es divisible por 26 = floor(num_routed_wires / 3) siempre incluyen el par de entrada-salida 0 -> 0. Por lo tanto, un probador malintencionado siempre puede probar que f(0) = 0 para cualquier tabla de búsqueda f (a menos que su longitud sea divisible por 26). La causa del problema es que las LookupTableGate-s están rellenas con ceros. Un workaround del lado del usuario es extender la tabla (repitiendo algunas entradas) para que su longitud sea divisible por 26. Esta vulnerabilidad se corrigió en 1.0.1.