| タイトル | OpenVMにおける入力確認に関する脆弱性 |
|---|---|
| 概要 | OpenVMは、高性能でモジュール式のzkVMフレームワークであり、カスタマイズ性と拡張性を重視して構築されています。バージョン1.6.0以前では、openvm-pairingゲストライブラリのtry_honest_pairing_check関数がhttps://eprint.iacr.org/2024/640.pdfの定理3を呼び出していましたが、スケーリング係数sがFp12の適切な部分体に属しているかどうかを確認していませんでした。そのため、ペアリングチェックにおいて誤った結果が許容されてしまっていました。この問題はバージョン1.6.0で修正されました。 |
| 想定される影響 | ・当該ソフトウェアが扱う情報について、外部への漏えいは発生しません。 ・当該ソフトウェアが扱う全ての情報が書き換えられる可能性があります。 ・当該ソフトウェアは停止しません。 |
| 対策 | ベンダ情報を参照して適切な対策を実施してください。 |
| 公表日 | 2026年6月10日0:00 |
| 登録日 | 2026年6月15日11:22 |
| 最終更新日 | 2026年6月15日11:22 |
| CVSS3.0 : 重要 | |
| スコア | 7.5 |
|---|---|
| ベクター | CVSS:3.0/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N |
| OpenVM |
| OpenVM 1.6.0 未満 |
| No | 変更内容 | 変更日 |
|---|---|---|
| 1 | [2026年06月15日] 掲載 |
2026年6月15日11:22 |
| 概要 | OpenVM is a performant and modular zkVM framework built for customization and extensibility. Prior to version 1.6.0, the openvm-pairing guest library's try_honest_pairing_check function invokes Theorem 3 of https://eprint.iacr.org/2024/640.pdf but does not check that the scaling factor s is in a proper subfield of Fp12. This allows incorrect results to the pairing check. This issue has been patched in version 1.6.0. |
|---|---|
| 公表日 | 2026年6月11日7:17 |
| 登録日 | 2026年6月12日4:16 |
| 最終更新日 | 2026年6月13日4:38 |
| 構成1 | 以上 | 以下 | より上 | 未満 | |
| cpe:2.3:a:openvm:openvm:*:*:*:*:*:*:*:* | 1.6.0 | ||||