Axiom-Crypto Snark-Verifier
2 CVEs affecting Axiom-Crypto Snark-Verifier. Latest disclosed: 2026-10-30. Critical: 0, High: 0.
| CVE | Severity | Score | Published | Summary |
|---|---|---|---|---|
CVE-2026-62337 | | 2026-10-30 | SNARK Verifier is a generic (S)NARK verifier. Prior to 0.2.5, the Halo 2 aggregation circuit can mishandle proof points encoded as the point at infinity. `EcPo… | |
CVE-2026-61618 | | 2026-10-30 | SNARK Verifier is a generic (S)NARK verifier. Prior to 0.2.5, KZG accumulator public-instance limbs are decoded without consistently enforcing canonical limb b… |