Succinct 旗下 SP1 曝露高嚴重性漏洞，主網可能接受無效證明

Succinct 旗下零知識證明系統 SP1 曝出高嚴重性可靠性漏洞。該漏洞通過 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露，影響 SP1 原生 Rust 驗證器 6.0 至 6.8.0 版本，使主網 Prover Network 可能接受無效證明：惡意證明者可提交無效執行的證明，而網路驗證器仍會接受。

漏洞原因是驗證器仅读取數據的標籤（聲明維度），未校驗實際存儲元素數量是否等於維度乘積，攻擊者可偽造標籤使無效證明通過。採用固定形狀 wrap 證明的 Groth16 與 Plonk 檢查不受影響，鏈上 Solidity 檢查器亦安全。Succinct 於 9 月 24 日發布修復版本 6.8.1，並已部署至主網；該版本新增反序列化長度校驗。

漏洞由 Vitalis Salis 發現，並經 Immunefi 漏洞賞金計畫上報。自行運行原生 Rust 驗證器且接受不可信證明者的用戶需升級至 6.8.1。