メインネットが無効な証明を受け入れる可能性、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へのアップグレードが必要である。