La aclaración sobre SP1 centra la revisión de seguridad en la ruta de verificación
L2BEAT afirma que los verificadores onchain Groth16 y Plonk no se vieron afectados por el problema divulgado en Rust nativo. Los integradores deben identificar la ruta en la que confían sus aplicaciones.
L2BEAT aclaró el viernes que la vulnerabilidad divulgada de SP1 afectaba la verificación nativa en Rust, mientras que la verificación onchain de Groth16 y Plonk mediante verificadores Solidity no se vio afectada. Esa distinción importa más que considerar igualmente expuestos todos los usos del mismo sistema de pruebas.
El aviso original de Succinct, publicado a comienzos de este mes, describe datos de prueba malformados cuyas dimensiones declaradas no coinciden con su contenido almacenado. Indica que mainnet Prover Network recibió una corrección y remite a los operadores independientes de verificadores nativos afectados a la versión corregida. El aviso está disponible en https://github.com/succinctlabs/sp1/security/advisories/GHSA-p7v2-jjv3-8p8f .
Para un puente, rollup o aplicación que consume pruebas, la pregunta útil es qué componente toma la decisión final de aceptación. Un servicio de verificación nativa y una prueba encapsulada comprobada por un contrato Solidity pueden tener exposiciones diferentes, incluso dentro del mismo producto.
Los equipos deberían identificar el modo de prueba, la implementación del verificador y la versión del software antes de sacar conclusiones a partir del nombre de un producto. La aclaración de L2BEAT delimita este incidente; no certifica todos los despliegues ni sustituye una revisión específica de la integración.