Kwetsbaarheid in SP1 verholpen na risico op ongeldig bewijs
Succinct heeft een kwetsbaarheid met een hoge ernstgraad in de betrouwbaarheid van het SP1-systeem voor zero-knowledgebewijzen bekendgemaakt. De fout trof native Rust-verifiers in versies 6.0.0 tot en met 6.8.0 en had ertoe kunnen leiden dat het Prover Network op mainnet bewijzen van ongeldige uitvoeringen accepteerde. De SP1-kwetsbaarheid ontstond doordat verifiers de gegevenslabels controleerden zonder na te gaan of het aantal opgeslagen elementen overeenkwam met de opgegeven dimensies. De controles met vaste vorm van Groth16 en Plonk, evenals de on-chain Solidity-verifiers, werden niet getroffen. Succinct bracht op 24 september versie 6.8.1 uit, met een controle op de lengte tijdens het deserialiseren, en heeft deze op mainnet uitgerold. Vitalis Salis meldde het probleem via Immunefi. Gebruikers van native Rust-verifiers die bewijzen van niet-vertrouwde provers accepteren, moeten upgraden naar versie 6.8.1.
Neutral
De kwetsbaarheid vormde een aanzienlijk beveiligingsrisico: als deze was misbruikt, hadden de getroffen native SP1-verifiers in Rust ongeldige uitvoeringsbewijzen kunnen accepteren, waardoor toepassingen die ervan afhankelijk zijn mogelijk zouden zijn ondermijnd. Het rapport stelt echter dat Succinct een oplossing heeft uitgebracht en uitgerold, terwijl de controles voor Groth16 en Plonk met een vaste vorm en de on-chain Solidity-verifiers niet zijn getroffen. Daardoor zijn er minder aanwijzingen voor een aanhoudende, brede bedreiging voor de markt. Het meest waarschijnlijke directe gevolg is gericht operationeel werk voor gebruikers van de getroffen Rust-verifiers, en niet onmiddellijke druk op cryptoprijzen. Op korte termijn kunnen handelaren SP1-gerelateerde projecten, verificatieactiviteiten en eventuele meldingen van misbruik of verliezen nauwlettender volgen. Op langere termijn kan het incident leiden tot meer toezicht op de implementatie van bewijssystemen en tot een grotere vraag naar audits, versie-upgrades en controles voor gelaagde beveiliging. Vergelijkbare kwetsbaarheden in infrastructuur kunnen scherpe marktbewegingen veroorzaken wanneer er geld verloren gaat of netwerkbrede diensten worden verstoord; bij gebrek aan aanwijzingen voor misbruik of langdurige verstoring in dit geval is een neutrale marktbeoordeling passender.