Succinct SP1 descubre una vulnerabilidad de alta gravedad que podría aceptar pruebas inválidas en la red principal

El sistema de pruebas de conocimiento cero SP1 de Succinct ha revelado una vulnerabilidad de alta gravedad en su confiabilidad. Esta vulnerabilidad fue divulgada el 11 de octubre a través del anuncio de GitHub GHSA-p7v2-jjv3-8p8f, afectando las versiones 6.0.0 a 6.8.0 del validador nativo de Rust de SP1, lo que podría permitir que la red principal Prover Network acepte pruebas inválidas. Los probadores maliciosos pueden presentar pruebas de ejecuciones inválidas, y el validador de la red aún las aceptará. La causa de la vulnerabilidad es que el validador solo lee las etiquetas de los datos y no verifica si la cantidad real de elementos almacenados es igual al producto de las dimensiones; los atacantes pueden falsificar etiquetas para que las pruebas inválidas sean aceptadas. Las pruebas Groth16 y Plonk que utilizan pruebas de forma fija no se ven afectadas, y el verificador de Solidity en la cadena también es seguro. Succinct lanzó la versión de corrección 6.8.1 el 24 de septiembre, que ya ha sido desplegada en la red principal; esta versión incluye una verificación de longitud de deserialización. La vulnerabilidad fue descubierta por Vitalis Salis y reportada a través del programa de recompensas por vulnerabilidades de Immunefi. Los usuarios que ejecutan el validador nativo de Rust y aceptan probadores no confiables deben actualizar a la versión 6.8.1.

Este contenido se ofrece únicamente con fines informativos generales y no constituye asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, tradear o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.