Sårbarheten i SP1 åtgärdades efter risk för ogiltiga bevis
Succinct offentliggjorde en allvarlig sårbarhet som påverkade tillförlitligheten i deras zero-knowledge-bevissystem SP1. Felet berörde inbyggda Rust-verifierare i versionerna 6.0.0 till 6.8.0 och kunde ha gjort det möjligt för Prover Network på mainnet att godta bevis för ogiltiga exekveringar. Sårbarheten i SP1 berodde på att verifierarna kontrollerade dataetiketter utan att bekräfta att antalet lagrade element stämde överens med de angivna dimensionerna. Kontroller med fast form för Groth16 och Plonk, samt Solidity-verifierare på kedjan, påverkades inte. Den 24 september släppte Succinct version 6.8.1, som lade till en längdkontroll vid deserialisering, och driftsatte den på mainnet. Problemet rapporterades av Vitalis Salis via Immunefi. Användare som kör inbyggda Rust-verifierare och godtar bevis från otillförlitliga bevisgenererare bör uppgradera till version 6.8.1.
Neutral
Sårbarheten utgjorde en betydande säkerhetsrisk: om den utnyttjades kunde ogiltiga exekveringsbevis ha godtagits av berörda inbyggda Rust-verifierare för SP1, vilket potentiellt kunde undergräva applikationer som förlitar sig på dem. Rapporten uppger dock att Succinct har släppt och distribuerat en korrigering, medan kontroller med fast form för Groth16 och Plonk samt Solidity-verifierare på kedjan inte påverkades. Det begränsar tecknen på ett pågående, brett marknadshot. Den mest sannolika direkta effekten är riktat operativt arbete för användare som kör berörda Rust-verifierare, snarare än omedelbart tryck på kryptopriserna. Kortsiktiga reaktioner bland handlare kan innebära närmare bevakning av SP1-relaterade projekt, verifieringsaktivitet och eventuella uppgifter om utnyttjande eller förluster. På längre sikt kan incidenten förstärka granskningen av implementationer av bevissystem och öka efterfrågan på revisioner, versionsuppgraderingar och försvar på djupet genom flera lager av kontroller. Liknande sårbarheter i infrastrukturen kan utlösa kraftiga kursrörelser när medel går förlorade eller tjänster störs i ett helt nätverk. I avsaknad av bevis för utnyttjande eller långvariga störningar här är en neutral marknadsbedömning mer lämplig.