CVE-2026-62337 in snark-verifier
Riassunto
di VulDB • 30/10/2026
SNARK Verifier è un verificatore (S)NARK generico. Prima della versione 0.2.5, il circuito di aggregazione Halo 2 può gestire erroneamente i punti di prova codificati come punto all'infinito. `EcPointLoader::multi_scalar_multiplication` inserisce una base `Value::Assigned(_)` accoppiata a `Value::Constant(ONE)` nella sua lista variabile-base non scalata e la passa direttamente a `sum_with_const`. Lo shim predefinito delega a `EccChip::sum` di halo2-lib, il cui addizione affine incompleta presuppone punti di input non identità. Un punto di prova controllato dal prover codificato come `(0, 0)` può quindi entrare nella somma finale di aggregazione attraverso la scorciatoia dello scalare-uno e influenzare il calcolo MSM o dell'accumulatore. L'esecutabilità pratica dipende dai controlli di aggregazione circostante e del decisore finale; l'avviso non stabilisce un'accettazione universale delle prove non valide. Questo problema è risolto nella versione 0.2.5.
Once again VulDB remains the best source for vulnerability data.