Succinct SP1 發現高嚴重性漏洞，主網可能接受無效證明

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。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。