Skip to main content
VulnerabilityPublished

CVE-2026-62337: axiom-crypto snark-verifier · Improper Input Validation

Affects axiom-crypto snark-verifierSource CVE Database V5

0
Compare

Not known to be exploited · CVSS 6.9 Medium : upgrade to 0.2.5 when convenient.

Data as of 30 Oct 2026, 20:38 UTC

CVSS 4.0 base score
6.9Medium
How severe the flaw is on the 0–10 CVSS scale.

Thin evidence

One scorer or none
CVSS scores by source
CNA (GitHub_M)CVSS 4.06.9
Patch
Available – fixed in 0.2.5
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N

Exploitation evidence

  1. Disclosed: evidence found.

    CVE published 30 Oct 2026

  2. Detectable: no evidence on record.

    No public nuclei template indexed

  3. Weaponized: no evidence on record.

    No public exploit code indexed in Metasploit or Exploit-DB

  4. Exploited in the wild: no evidence on record.

    Not in CISA KEV and no source reports exploitation

  5. Observed by OffSeq Mirage: no evidence on record.

    No attack traffic recorded by OffSeq Mirage sensors

A missing step is not evidence of safety. Sources: cve.org (opens in a new tab), the Metasploit, Exploit-DB and nuclei-templates index as of 30 Oct 2026.

What to do

Upgrade axiom-crypto snark-verifier to 0.2.5.

Affected software

ProductAffectedFixed in
axiom-cryptosnark-verifierAffected
  • <0.2.5
Fixed in
  • 0.2.5

AI-suggested

Upgrade to axiom-crypto snark-verifier version 0.2.5 or later, where this improper input validation issue is fixed. No other mitigation is indicated by the advisory.

Description

CVE-2026-62337 is an improper input validation vulnerability in the axiom-crypto snark-verifier prior to version 0.2.5. The Halo 2 aggregation circuit mishandles proof points encoded as the point at infinity, allowing a prover-controlled proof point (0,0) to affect the multi-scalar multiplication and accumulator computation. This flaw is fixed in version 0.2.5.

References

Community reviews

Loading reviews…