無効な証明のリスクを受け、SP1の脆弱性を修正
Succinctは、同社のゼロ知識証明システムSP1における深刻度の高い信頼性の脆弱性を公表しました。この不具合はバージョン6.0.0から6.8.0までのネイティブRust検証器に影響し、mainnetのProver Networkが無効な実行の証明を受け入れる可能性がありました。SP1の脆弱性は、検証器がデータラベルを確認する一方で、保存された要素数が申告された次元数と一致するかを確認していなかったことに起因します。固定形状のGroth16およびPlonkのチェックと、オンチェーンのSolidity検証器は影響を受けませんでした。Succinctは9月24日に、デシリアライズ時の長さチェックを追加したバージョン6.8.1をリリースし、mainnetにデプロイしました。この問題はVitalis SalisがImmunefiを通じて報告しました。ネイティブRust検証器を使用し、信頼できないproverから証明を受け入れるユーザーは、6.8.1にアップグレードしてください。
Neutral
この脆弱性は無視できないセキュリティリスクをもたらしました。悪用された場合、影響を受けるSP1のネイティブRust検証器が無効な実行証明を受け入れ、これらに依存するアプリケーションの安全性が損なわれる可能性がありました。しかし、報告によると、Succinctは修正をリリースして適用済みであり、固定形状のGroth16およびPlonkのチェックと、オンチェーンのSolidity検証器は影響を受けていません。このため、広範かつ継続中の市場脅威を示す兆候は限定的です。最も可能性の高い直接的な影響は、暗号資産価格への即時の圧力ではなく、影響を受けるRust検証器を利用するユーザーに生じる個別の運用対応です。短期的には、トレーダーがSP1関連プロジェクト、検証活動、悪用や損失に関する開示の有無をより注意深く見守る可能性があります。長期的には、このインシデントにより証明システムの実装に対する精査が強まり、監査、バージョン更新、多層防御のためのチェックへの需要が高まる可能性があります。資金が失われたり、ネットワーク全体のサービスが妨害されたりすれば、同様のインフラ脆弱性が相場の急変を招くことがあります。しかし、今回については悪用や長期的な障害を示す証拠がないため、中立的な市場評価がより適切です。