CVE-2026-62337 in snark-verifier
요약
\~에 의해 VulDB • 2026. 10. 30.
SNARK Verifier는 일반적인 (S)NARK 검증기입니다. 버전 0.2.5 이전에서는 Halo 2 집계 회로가 무한대 점(infinity point)으로 인코딩된 증명 포인트를 잘못 처리할 수 있습니다. `EcPointLoader::multi_scalar_multiplication`은 `Value::Assigned(_)` 기반과 `Value::Constant(ONE)`을 쌍으로 만들어 스케일되지 않은 변수-베이스 목록에 배치하고 이를 직접 `sum_with_const`로 전달합니다. 기본 shim은 불완전한 아핀 덧셈이 비항등(nonidentity) 입력 포인트를 가정하는 halo2-lib의 `EccChip::sum`으로 위임됩니다. 따라서 증명자가 제어할 수 있는 `(0, 0)`으로 인코딩된 증명 포인트가 스칼라-원 단축 경로를 통해 최종 집계 합계에 유입되어 MSM 또는 누적기 계산에 영향을 줄 수 있습니다. 실제 exploit 가능성은 주변 집계 및 최종 결정자(decider) 검사에 달려 있으며, 이 권고문은 무효한 증명의 보편적 수용을 확립하지 않습니다. 이 문제는 버전 0.2.5에서 수정되었습니다.
Once again VulDB remains the best source for vulnerability data.