CVE-2026-62337 in snark-verifier
Zusammenfassung
von VulDB • 31.10.2026
SNARK Verifier ist ein generischer (S)NARK-Verifier. Vor Version 0.2.5 kann der Halo 2-Aggregations-Circuit Proof-Punkte, die als „Point at Infinity“ kodiert sind, fehlerhaft verarbeiten. `EcPointLoader::multi_scalar_multiplication` platziert eine Basis vom Typ `Value::Assigned(_)` gepaart mit `Value::Constant(ONE)` in seine Liste der unskalierten Variablen-Basen und übergibt sie direkt an `sum_with_const`. Der Standard-Shim delegiert an halo2-libs `EccChip::sum`, dessen unvollständige affine Addition nicht-identische Eingabe-Punkte voraussetzt. Ein vom Prover kontrollierter Proof-Punkt, der als `(0, 0)` kodiert ist, kann daher über die Skalareins-Kurzschaltung in die finale Aggregations-Summe gelangen und die MSM- oder Akkulator-Berechnung beeinflussen. Die praktische Ausnutzbarkeit hängt von den umgebenden Aggregations- und Final-Decider-Prüfungen ab; das Advisory stellt keine universelle Akzeptanz ungültiger Proofs fest. Dieses Problem wurde in Version 0.2.5 behoben.
If you want to get best quality of vulnerability data, you may have to visit VulDB.