SP1-Sicherheitslücke nach Risiko durch ungültige Nachweise behoben
Succinct hat eine schwerwiegende Zuverlässigkeitsschwachstelle in seinem Zero-Knowledge-Beweissystem SP1 offengelegt. Der Fehler betraf native Rust-Verifizierer der Versionen 6.0.0 bis 6.8.0 und hätte dazu führen können, dass das Prover Network im Mainnet Beweise für ungültige Ausführungen akzeptiert. Die SP1-Schwachstelle entstand, weil die Verifizierer Datenbeschriftungen prüften, ohne zu bestätigen, dass die Anzahl der gespeicherten Elemente den angegebenen Dimensionen entsprach. Prüfungen mit fester Form für Groth16 und Plonk sowie On-Chain-Solidity-Verifizierer waren nicht betroffen. Am 24. September veröffentlichte Succinct Version 6.8.1, die eine Längenprüfung bei der Deserialisierung hinzufügte, und spielte sie im Mainnet ein. Gemeldet wurde das Problem von Vitalis Salis über Immunefi. Nutzer, die native Rust-Verifizierer einsetzen und Beweise von nicht vertrauenswürdigen Provern akzeptieren, sollten auf Version 6.8.1 aktualisieren.
Neutral
Die Schwachstelle stellte ein erhebliches Sicherheitsrisiko dar: Bei einer Ausnutzung hätten betroffene native SP1-Rust-Verifier ungültige Ausführungsnachweise akzeptieren können, wodurch Anwendungen, die sich auf sie verlassen, potenziell gefährdet worden wären. Dem Bericht zufolge hat Succinct jedoch eine Korrektur veröffentlicht und eingespielt. Prüfungen mit festgelegter Form für Groth16 und Plonk sowie On-Chain-Solidity-Verifier waren nicht betroffen. Dadurch gibt es nur begrenzte Hinweise auf eine anhaltende, weitreichende Marktbedrohung. Die wahrscheinlichste unmittelbare Auswirkung ist gezielter betrieblicher Aufwand für Nutzer, die betroffene Rust-Verifier einsetzen, und nicht ein sofortiger Druck auf die Kryptopreise. Kurzfristig könnten Händler SP1-bezogene Projekte, Verifizierungsaktivitäten und mögliche Meldungen über Ausnutzungen oder Verluste genauer beobachten. Langfristig könnte der Vorfall die Überprüfung von Implementierungen von Beweissystemen verstärken und die Nachfrage nach Audits, Versionsaktualisierungen und mehrschichtigen Schutzmaßnahmen erhöhen. Ähnliche Infrastrukturschwachstellen können starke Marktbewegungen auslösen, wenn Gelder verloren gehen oder netzwerkweite Dienste gestört werden. Da es hier keine Hinweise auf eine Ausnutzung oder anhaltende Störungen gibt, ist eine neutrale Markteinschätzung angemessener.