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 相關項目、驗證活動，以及任何有關漏洞遭利用或蒙受損失的披露。長遠而言，這宗事件可能促使各界更嚴格審視證明系統的實作，並增加對審計、版本升級和縱深防禦檢查的需求。類似的基礎設施漏洞在資金損失或整個網絡的服務受阻時，可能引發市場劇烈波動；但鑑於目前沒有證據顯示本案曾遭利用或造成持續中斷，採取中性的市場評估較為合適。