CVE-2026-62337: axiom-crypto snark-verifier · Improper Input Validation
Affects axiom-crypto snark-verifierSource CVE Database V5
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
Thin evidence
One scorer or none| CNA (GitHub_M) | CVSS 4.0 | 6.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:NExploitation evidence
Disclosed: evidence found.
CVE published 30 Oct 2026
Detectable: no evidence on record.
No public nuclei template indexed
Weaponized: no evidence on record.
No public exploit code indexed in Metasploit or Exploit-DB
Exploited in the wildExploited: no evidence on record.
Not in CISA KEV and no source reports exploitation
Observed by OffSeq MirageSeen by 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
| Product | Affected | Fixed in |
|---|---|---|
| axiom-cryptosnark-verifier | Affected
| Fixed in
|
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
- github.com/axiom-crypto/snark-verifier/security/advisories/GHSA-x26x-7f4v-cqx7 (opens in a new tab)
- github.com/axiom-crypto/halo2-lib/commit/f53be0939e2accf0dd7672b1a4abe80af73dadf3 (opens in a new tab)
- github.com/axiom-crypto/snark-verifier/commit/bbfcc721d714bea0d44a27c8fc6c4736e73ca853 (opens in a new tab)
- github.com/axiom-crypto/snark-verifier/releases/tag/v0.2.5 (opens in a new tab)