CVE-2026-40323 in sp1
Résumé
par VulDB • 02/06/2026
SP1 est une machine virtuelle à connaissance nulle qui prouve l'exécution correcte de programmes compilés pour l'architecture RISC-V. Dans les versions 6.0.0 à 6.0.2, une vulnérabilité de soundness (fiabilité) dans le vérificateur de shard récursif SP1 V6 permet à un prouveur malveillant de construire une preuve récursive à partir d'une preuve de shard que le vérificateur natif rejetterait. La version 6.1.0 corrige ce problème.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.