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

Odaily星球日報訊 Succinct 旗下零知識證明系統 SP1 曝出高嚴重性可靠性漏洞。該漏洞於 10 月 11 日透過 GitHub 公告 GHSA-p7v2-jjv3-8p8f 披露，影響 SP1 原生 Rust 驗證器 6.0.0 至 6.8.0 版本，使主網 Prover Network 可能接受無效證明：惡意證明者可提交無效執行的證明，而網路驗證器仍會接受。漏洞原因是驗證器僅讀取資料的標籤（宣告維度），未校驗實際儲存元素數量是否等於維度乘積，攻擊者可偽造標籤使無效證明通過。採用固定形狀 wrap 證明的 Groth16 與 Plonk 檢查不受影響，鏈上 Solidity 檢查器亦安全。Succinct 於 9 月 24 日發布修復版本 6.8.1，並已部署至主網；該版本新增反序列化長度校驗。漏洞由 Vitalis Salis 發現，並經 Immunefi 漏洞賞金計畫上報。自行運行原生 Rust 驗證器且接受不可信證明者的使用者需升級至 6.8.1。