SP1 漏洞於無效證明風險出現後修復
Succinct 揭露其 SP1 零知識證明系統存在一項高嚴重性的可靠性漏洞。此漏洞影響 6.0.0 至 6.8.0 版本的原生 Rust 驗證器，可能使 mainnet Prover Network 接受無效執行的證明。SP1 漏洞源於驗證器會檢查資料標籤，卻未確認儲存的元素數量是否符合宣稱的維度。固定形狀的 Groth16 與 Plonk 檢查，以及鏈上 Solidity 驗證器皆未受影響。Succinct 於 9 月 24 日發布 6.8.1 版本，新增反序列化時的長度檢查，並將其部署至 mainnet。Vitalis Salis 透過 Immunefi 回報此問題。使用原生 Rust 驗證器並接受不受信任 prover 所提供證明的使用者，應升級至 6.8.1。
Neutral
這項漏洞帶來了重大安全風險：若遭到利用，受影響的 SP1 原生 Rust 驗證器可能會接受無效的執行證明，進而可能危及依賴它們的應用程式。不過，報告指出 Succinct 已發布並部署修補程式，而固定形狀的 Groth16 和 Plonk 檢查，以及鏈上 Solidity 驗證器均未受影響。因此，顯示市場面臨持續且廣泛威脅的跡象有限。最可能的直接影響，是使用受影響 Rust 驗證器的使用者需要進行有針對性的營運工作，而非加密貨幣價格立即承受壓力。短期內，交易者可能會更密切關注 SP1 相關專案、驗證活動，以及任何有關漏洞遭利用或損失的揭露。長期而言，這起事件可能加強對證明系統實作的審查，並提高對稽核、版本升級及縱深防禦檢查的需求。類似的基礎設施漏洞在資金流失或整個網路的服務中斷時，可能引發劇烈的市場波動；但目前沒有證據顯示本案遭到利用或造成持續性中斷，因此採取中性的市場評估較為恰當。