La vulnérabilité de SP1 corrigée après un risque lié à des preuves invalides
Succinct a révélé une vulnérabilité de gravité élevée affectant la fiabilité de son système de preuves à divulgation nulle de connaissance SP1. La faille touchait les vérificateurs Rust natifs des versions 6.0.0 à 6.8.0 et aurait pu permettre au Prover Network du mainnet d’accepter des preuves d’exécutions invalides. La vulnérabilité de SP1 venait du fait que les vérificateurs contrôlaient les étiquettes des données sans vérifier que le nombre d’éléments stockés correspondait aux dimensions annoncées. Les contrôles Groth16 et Plonk à forme fixe, ainsi que les vérificateurs Solidity on-chain, n’étaient pas concernés. Le 24 septembre, Succinct a publié la version 6.8.1, qui ajoute une vérification de longueur lors de la désérialisation, et l’a déployée sur le mainnet. Le problème a été signalé par Vitalis Salis via Immunefi. Les utilisateurs qui exécutent des vérificateurs Rust natifs et acceptent des preuves provenant de prouveurs non fiables devraient passer à la version 6.8.1.
Neutral
Cette vulnérabilité présentait un risque important pour la sécurité : si elle avait été exploitée, des vérificateurs Rust natifs de SP1 concernés auraient pu accepter des preuves d’exécution invalides, compromettant potentiellement les applications qui en dépendent. Toutefois, le rapport indique que Succinct a publié et déployé un correctif, tandis que les vérifications à forme fixe de Groth16 et de Plonk ainsi que les vérificateurs Solidity sur la chaîne n’ont pas été touchés. Les signes d’une menace de marché généralisée et persistante sont donc limités. L’effet direct le plus probable est un travail opérationnel ciblé pour les utilisateurs qui exécutent les vérificateurs Rust concernés, plutôt qu’une pression immédiate sur les cours des cryptomonnaies. À court terme, les traders pourraient surveiller de plus près les projets liés à SP1, les activités de vérification et toute révélation d’exploitation ou de pertes. À plus long terme, l’incident pourrait renforcer l’examen des implémentations de systèmes de preuve et accroître la demande d’audits, de mises à niveau de version et de vérifications reposant sur une défense en profondeur. Des vulnérabilités d’infrastructure similaires peuvent provoquer de fortes variations lorsque des fonds sont perdus ou que des services à l’échelle d’un réseau sont perturbés. En l’absence de preuves d’exploitation ou de perturbation durable dans le cas présent, une évaluation neutre du marché est plus appropriée.