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

ChainCatcher 消息，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。

• 喜歡使用社交軟體關注？關注我們的 Twitter，或者加入 Telegram！
• 想關注最新資訊？ 下載CoinCarp App吧
• 有新聞需要爆料，官方公告需要發布? 來給我們發郵件吧！[email protected]