SuccinctのSP1における複数の脆弱性
| Title |
SuccinctのSP1における複数の脆弱性
|
| Summary |
SP1は、RISC-Vアーキテクチャ用にコンパイルされたプログラムの正しい実行を証明するゼロ知識仮想マシンです。バージョン6.0.0から6.0.2までの間、SP1 V6の再帰シャード検証器に整合性の脆弱性があり、悪意のある証明者がネイティブ検証器が拒否するシャード証明から再帰的な証明を構築できてしまう問題が発生していました。この問題はバージョン6.1.0で修正されています。
|
| Possible impacts |
当該ソフトウェアが扱う情報について、外部への漏えいは発生しません。 また、当該ソフトウェアが扱う全ての情報が書き換えられる可能性があります。 さらに、当該ソフトウェアは停止しません。 そして、この脆弱性を悪用した攻撃の影響は、他のソフトウェアには及びません。 |
| Solution |
正式な対策が公開されています。ベンダ情報を参照して適切な対策を実施してください。 |
| Publication Date |
April 18, 2026, midnight |
| Registration Date |
May 15, 2026, 10:54 a.m. |
| Last Update |
May 15, 2026, 10:54 a.m. |
|
CVSS3.0 : 重要
|
| Score |
7.5
|
| Vector |
CVSS:3.0/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N |
Affected System
| Succinct |
|
SP1 6.0.0 以上 6.1.0 未満
|
CVE (情報セキュリティ 共通脆弱性識別子)
CWE (共通脆弱性タイプ一覧)
ベンダー情報
その他
Change Log
| No |
Changed Details |
Date of change |
| 1 |
[2026年05月15日]
掲載 |
May 15, 2026, 10:54 a.m. |
NVD Vulnerability Information
CVE-2026-40323
| Summary |
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.
|
| Publication Date |
April 18, 2026, 9:16 a.m. |
| Registration Date |
April 19, 2026, 4:08 a.m. |
| Last Update |
April 21, 2026, 4:03 a.m. |
Related information, measures and tools
Common Vulnerabilities List