CVE-2026-40323 | SP1 V6 Recursion Circuit Row-Count Binding Gap

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture. In versions 6.0.0 through 6.0.2, a soundness vulnerability in the SP1 V6 recursive shard verifier allows a malicious prover to construct a recursive proof from a shard proof that the native verifier would reject. Version 6.1.0 fixes the issue.

公開： 2026-04-17 最終更新： 2026-06-17 Assigner： [email protected] ソース： [email protected]
NVD ステータス：Analyzed，CVE の状態： published
参照： NVD, CVE.org, EUVD, JVN

CVE-2026-40323 は低リスク（39/100）。CVSS 深刻度は高。悪用される可能性が高い（EPSS 0.19%、9 パーセンタイル） 悪用情報と EPSS の推移を監視し、必要に応じて優先度を見直してください。

リスクは変動します。再評価に基づき、本ページの表示内容を更新しています。

CVE-2026-40323 の EPSS（Exploit Prediction Scoring System）スコア

EPSS は日次で悪用されやすさの相対度合いを推定します。パーセンタイルは採点済み CVE の中での相対位置（高いほど相対的に深刻）を示します。

# 日付 旧 EPSS スコア 新 EPSS スコア Δ（新 − 旧）
1 2026-06-15 0.03% 0.19% +0.16%
2 2026-04-18 — 0.03% —

EPSS の全履歴 （全 2 件）

CVE-2026-40323 の CVSS（Common Vulnerability Scoring System）指標

この CVE の CVSS 指標。

ベーススコア バージョン 深刻度 ベクトル 悪用しやすさ 影響 スコアの出典
8.9 4.0 HIGH
CVSS:4.0/AV:N/AC:H/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:H/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X クリックして展開
攻撃ベクター (AV:N)
インターネットや社内 WAN など、ルーティングされたネットワーク越しに遠隔から踏み台にしうる。
攻撃の複雑さ (AC:H)
タイミング・負荷・周辺設定に左右され、安定して成功させにくい。
攻撃要件 (AT:N)
到達性以外に、追加のインフラ条件やデータ前提は要らない。
必要な権限 (PR:N)
昇格やログインなしで踏み台にしうる。
ユーザーの関与 (UI:N)
被害者の操作なしでも攻撃が完結しうる。
脆弱システムの機密性への影響 (VC:N)
脆弱な対象から機微情報が読まれうる余地はほとんどない。
脆弱システムの完全性への影響 (VI:H)
監査ログの改竄や広範なデータ偽装など、信頼根拠を崩す水準。
脆弱システムの可用性への影響 (VA:N)
業務を止めるほどの停止や劣化は想定しにくい。
後続システムの機密性への影響 (SC:N)
脆弱点を経由して下流の機微情報が読まれうる余地はほとんどない。
後続システムの完全性への影響 (SI:H)
下流にまたがる広範な改竄や偽装が現実的。
後続システムの可用性への影響 (SA:N)
下流サービスが止まるほどの影響は想定しにくい。
悪用の成熟度（Threat） (E:X)
Threat 情報が未指定のとき、最悪側（実害報告あり）に寄せて採点する。
機密性に対するセキュリティ要件（環境） (CR:X)
未指定のときは情報不足とみなし、スコア上は高要求（保守的）として扱う。
完全性に対するセキュリティ要件（環境） (IR:X)
未指定のときは情報不足とみなし、スコア上は高要求（保守的）として扱う。
可用性に対するセキュリティ要件（環境） (AR:X)
未指定のときは情報不足とみなし、スコア上は高要求（保守的）として扱う。
変更後の攻撃ベクター (MAV:X)
環境側で上書きしない限り、ベースの AV を採用。
変更後の攻撃の複雑さ (MAC:X)
環境側で上書きしない限り、ベースの AC を採用。
変更後の攻撃要件 (MAT:X)
環境側で上書きしない限り、ベースの AT を採用。
変更後の必要な権限 (MPR:X)
環境側で上書きしない限り、ベースの PR を採用。
変更後のユーザーの関与 (MUI:X)
環境側で上書きしない限り、ベースの UI を採用。
変更後の脆弱システムの機密性への影響 (MVC:X)
環境側で上書きしない限り、ベースの VC を採用。
変更後の脆弱システムの完全性への影響 (MVI:X)
環境側で上書きしない限り、ベースの VI を採用。
変更後の脆弱システムの可用性への影響 (MVA:X)
環境側で上書きしない限り、ベースの VA を採用。
変更後の後続システムの機密性への影響 (MSC:X)
環境側で上書きしない限り、ベースの SC を採用。
変更後の後続システムの完全性への影響 (MSI:X)
環境側で上書きしない限り、ベースの SI を採用。
変更後の後続システムの可用性への影響 (MSA:X)
環境側で上書きしない限り、ベースの SA を採用。
安全性（補足、スコア非変更） (S:X)
人的安全への追加評価を行わない。
自動化可否（補足、スコア非変更） (AU:X)
キルチェーン自動化の評価を行わない。
復旧（補足、スコア非変更） (R:X)
サービス復元パスの評価を行わない。
価値密度（補足、スコア非変更） (V:X)
一撃で握れる資産規模の評価を行わない。
対応工数（補足、スコア非変更） (RE:X)
修復コストの評価を行わない。
提供元の緊急度（補足、スコア非変更） (U:X)
ベンダー色分けの緊急度を付さない。
 — — [email protected]
7.5 3.1 HIGH
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N クリックして展開
攻撃ベクター (AV:N)
インターネットなど、ルーティングされたネットワーク越しに遠隔から悪用しうる。端末の前にいる必要はない。
攻撃の複雑さ (AC:L)
攻撃者が条件を満たせば、レース条件や珍しい構成に依存せずに再現しやすい。
必要な権限 (PR:N)
事前のログインや昇格は不要で、匿名アクセスのまま踏み台にしうる。
ユーザーの関与 (UI:N)
メールのリンクを開く、マクロを有効にするなど、被害者の協力がなくても成立しうる。
スコープ (S:U)
影響は脆弱コンポーネントと同一のセキュリティ権限・信頼境界の内側に収まる。
機密性への影響 (C:N)
機微情報の漏えいは想定しにくい。
完全性への影響 (I:H)
権限の奪取や広範なログ改竄など、システムの信頼根拠を揺るがす改ざんが現実的。
可用性への影響 (A:N)
業務継続に支障が出るレベルの停止や劣化は想定されない。
 3.9 3.6 [email protected]

CVE-2026-40323 の弱点分類（列挙）

CVE-2026-40323 の GitHub Security Advisory

GHSA-63x8-x938-vx33 · 深刻度： high · エコシステム： rust — SP1 V6 Recursion Circuit Row-Count Binding Gap

CVE-2026-40323 の影響を受けるソフトウェア／構成

ベンダー 製品 バージョン 生の CPE
succinct sp1 >= 6.0.0, < 6.1.0 cpe:2.3:a:succinct:sp1:*:*:*:*:*:*:*:*

CVE-2026-40323 の参考情報

cvelogic Threat Intelligence