Vulnerabilità di SP1 corretta dopo il rischio di prove non valide
Succinct ha divulgato una vulnerabilità di affidabilità ad alta gravità nel suo sistema di prove a conoscenza zero SP1. Il difetto interessava i verificatori Rust nativi delle versioni dalla 6.0.0 alla 6.8.0 e avrebbe potuto consentire alla Prover Network della mainnet di accettare prove di esecuzioni non valide. La vulnerabilità di SP1 derivava dal fatto che i verificatori controllavano le etichette dei dati senza verificare che il numero di elementi memorizzati corrispondesse alle dimensioni dichiarate. I controlli a forma fissa di Groth16 e Plonk, così come i verificatori Solidity on-chain, non sono stati interessati. Il 24 settembre Succinct ha rilasciato la versione 6.8.1, che aggiunge un controllo della lunghezza durante la deserializzazione, e l'ha distribuita sulla mainnet. Il problema è stato segnalato da Vitalis Salis tramite Immunefi. Gli utenti che utilizzano verificatori Rust nativi e accettano prove da prover non attendibili dovrebbero aggiornare alla versione 6.8.1.
Neutral
La vulnerabilità comportava un rischio per la sicurezza significativo: se sfruttata, avrebbe potuto consentire ai verificatori nativi di SP1 in Rust interessati di accettare prove di esecuzione non valide, compromettendo potenzialmente le applicazioni che dipendono da essi. Tuttavia, il rapporto afferma che Succinct ha rilasciato e distribuito una correzione, mentre i controlli Groth16 e Plonk a forma fissa e i verificatori Solidity on-chain non sono stati interessati. Ciò riduce gli elementi che indicano una minaccia persistente e generalizzata per il mercato. L’effetto diretto più probabile consiste in interventi operativi mirati per gli utenti che utilizzano i verificatori Rust interessati, anziché in una pressione immediata sui prezzi delle criptovalute. Nel breve termine, i trader potrebbero monitorare più attentamente i progetti legati a SP1, l’attività di verifica e qualsiasi comunicazione relativa a sfruttamenti o perdite. Nel lungo termine, l’incidente potrebbe intensificare l’esame delle implementazioni dei sistemi di prova e aumentare la domanda di audit, aggiornamenti di versione e controlli di difesa in profondità. Vulnerabilità infrastrutturali simili possono provocare forti oscillazioni quando si perdono fondi o vengono interrotti servizi a livello di rete; in assenza, in questo caso, di prove di sfruttamento o di interruzioni durature, è più appropriata una valutazione neutrale del mercato.