Vulnerabilidad de SP1 corregida tras el riesgo de pruebas inválidas
Succinct reveló una vulnerabilidad de fiabilidad de gravedad alta en su sistema de pruebas de conocimiento cero SP1. El fallo afectaba a los verificadores nativos de Rust de las versiones 6.0.0 a 6.8.0 y podría haber permitido que la Prover Network de la red principal aceptara pruebas de ejecuciones no válidas. La vulnerabilidad de SP1 se debía a que los verificadores comprobaban las etiquetas de los datos sin confirmar que el número de elementos almacenados coincidiera con las dimensiones declaradas. Las comprobaciones de forma fija de Groth16 y Plonk, así como los verificadores Solidity en cadena, no se vieron afectadas. Succinct publicó la versión 6.8.1 el 24 de septiembre, que añade una comprobación de la longitud durante la deserialización, y la desplegó en la red principal. Vitalis Salis notificó el problema a través de Immunefi. Los usuarios de verificadores nativos de Rust que acepten pruebas de probadores no fiables deben actualizar a la versión 6.8.1.
Neutral
La vulnerabilidad suponía un riesgo de seguridad significativo: si se explotaba, los verificadores nativos de SP1 escritos en Rust afectados podrían haber aceptado pruebas de ejecución no válidas, lo que podría haber socavado las aplicaciones que dependen de ellos. Sin embargo, el informe indica que Succinct publicó e implementó una solución, mientras que las comprobaciones de Groth16 y Plonk con forma fija y los verificadores Solidity en cadena no se vieron afectados. Esto limita los indicios de que exista una amenaza generalizada y persistente para el mercado. El efecto directo más probable es que los usuarios que ejecutan verificadores Rust afectados tengan que realizar tareas operativas específicas, en lugar de que se produzca una presión inmediata sobre los precios de las criptomonedas. A corto plazo, los operadores podrían vigilar más de cerca los proyectos relacionados con SP1, la actividad de verificación y cualquier comunicación sobre posibles explotaciones o pérdidas. A largo plazo, el incidente podría reforzar el escrutinio de las implementaciones de sistemas de pruebas e incrementar la demanda de auditorías, actualizaciones de versiones y comprobaciones de defensa en profundidad. Vulnerabilidades similares en infraestructuras pueden provocar movimientos bruscos cuando se pierden fondos o se interrumpen servicios en toda la red; a falta de indicios de explotación o de una interrupción duradera en este caso, resulta más apropiada una valoración neutral del mercado.