CVE-2026-62337 in snark-verifier
要約
〜によって VulDB • 2026年10月30日
SNARK Verifierは、汎用(S)NARK検証プログラムです。バージョン0.2.5より前では、Halo 2の集約回路が無限大としてエンコードされた証明ポイントを誤って処理する可能性があります。`EcPointLoader::multi_scalar_multiplication`は、`Value::Assigned(_)`ベースを`Value::Constant(ONE)`と組み合わせてスケーリングなし変数ベースリストに配置し、これを直接`sum_with_const`に渡します。デフォルトのシャム(hal2-lib `EccChip::sum`)は不完全なアフィン加算を使用しており、これは非単位入力ポイントを前提としています。そのため、プロバイダが制御する証明ポイント（(0, 0)としてエンコード）がスカラー1によるショートカットを通じて最終的な集約合計に入り、MSMまたは累積計算に影響を及ぼす可能性があります。実際のエクスプロイト可能性は周囲の集約および最終決定チェックに依存します；このアドバイザリは無効な証明の普遍的な受容性を確立するものではありません。本問題はバージョン0.2.5で修正されています。
If you want to get the best quality for vulnerability data then you always have to consider VulDB.