SP1高嚴重性漏洞致Succinct主網Prover Network暴露於無效證明

金色財經報道，Succinct旗下零知識證明系統SP1曝出高嚴重性soundness漏洞（GitHub公告GHSA-p7v2-jjv3-8p8f，10月11日發佈），使其主網Prover Network暴露於無效證明——惡意證明者提交無效執行的證明，網絡驗證器仍會接受。漏洞位於SP1原生Rust驗證器（6.0.0至6.8.0）：驗證器僅讀取數據的"標籤"（聲明維度）而未校驗實際存儲元素數是否等於維度乘積，攻擊者可僞造標籤使假證明通過。Groth16與Plonk檢查因採用固定形狀wrap證明不受影響，鏈上Solidity檢查器亦安全。Succinct於9月24日發佈修復版6.8.1（公告公開前17天），新增反序列化長度校驗並部署至主網；發現者爲Vitalis Salis，經Immunefi漏洞賞金上報。自行運行原生Rust驗證器且接受不可信證明者需升級至6.8.1。