Vulnerabilitatea SP1 a fost remediată după riscul de dovezi invalide
Succinct a dezvăluit o vulnerabilitate gravă de fiabilitate în sistemul său de dovezi cu cunoaștere zero SP1. Defectul afecta verificatoarele native Rust din versiunile 6.0.0 până la 6.8.0 și ar fi putut permite rețelei Prover Network de pe mainnet să accepte dovezi ale unor execuții invalide. Vulnerabilitatea SP1 era cauzată de faptul că verificatoarele controlau etichetele datelor fără să confirme că numărul elementelor stocate corespundea dimensiunilor declarate. Verificările cu formă fixă din Groth16 și Plonk, precum și verificatoarele Solidity on-chain, nu au fost afectate. Pe 24 septembrie, Succinct a lansat versiunea 6.8.1, care adaugă o verificare a lungimii la deserializare, și a implementat-o pe mainnet. Problema a fost raportată de Vitalis Salis prin Immunefi. Utilizatorii care folosesc verificatoare native Rust și acceptă dovezi de la provers care nu sunt de încredere ar trebui să facă upgrade la versiunea 6.8.1.
Neutral
Vulnerabilitatea reprezenta un risc semnificativ de securitate: dacă ar fi fost exploatată, verificatoarele native SP1 scrise în Rust și afectate ar fi putut accepta dovezi de execuție invalide, subminând potențial aplicațiile care se bazează pe ele. Totuși, raportul afirmă că Succinct a lansat și a implementat o remediere, în timp ce verificările Groth16 și Plonk cu structură fixă și verificatoarele Solidity on-chain nu au fost afectate. Acest lucru limitează indiciile privind existența unei amenințări persistente și extinse pentru piață. Cel mai probabil efect direct este necesitatea unor măsuri operaționale punctuale pentru utilizatorii care rulează verificatoarele Rust afectate, nu o presiune imediată asupra prețurilor criptomonedelor. Pe termen scurt, traderii ar putea urmări mai atent proiectele asociate cu SP1, activitatea de verificare și orice comunicări despre exploatarea vulnerabilității sau pierderi. Pe termen lung, incidentul ar putea intensifica examinarea implementărilor sistemelor de dovezi și ar putea spori cererea de audituri, actualizări de versiune și verificări de apărare în profunzime. Vulnerabilități similare ale infrastructurii pot provoca mișcări bruște atunci când se pierd fonduri sau sunt întrerupte servicii la nivelul întregii rețele; în lipsa unor dovezi de exploatare sau de perturbări de durată în acest caz, este mai potrivită o evaluare neutră a pieței.