CVE-2026-62337 in snark-verifier
Sumário
de VulDB • 31/10/2026
SNARK Verifier é um verificador (S)NARK genérico. Antes da versão 0.2.5, o circuito de agregação Halo 2 pode processar incorretamente pontos de prova codificados como o ponto no infinito. `EcPointLoader::multi_scalar_multiplication` insere uma base `Value::Assigned(_)` pareada com `Value::Constant(ONE)` em sua lista de variáveis de base não escaladas e a passa diretamente para `sum_with_const`. O shim padrão delega ao halo2-lib `EccChip::sum`, cuja adição afim incompleta assume pontos de entrada não identidade. Um ponto de prova controlado pelo prover, codificado como `(0, 0)`, pode portanto entrar na soma final de agregação através do atalho escalar-um e afetar o cálculo MSM ou acumulador. A explorabilidade prática depende das verificações de agregação circundantes e dos verificadores finais; a advisory não estabelece aceitação universal de provas inválidas. Este problema foi corrigido na versão 0.2.5.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.