Skip to content
OpenAdvisories

Vendor

axiom-crypto

2 known vulnerabilities.

Products

snark-verifier 2
All Critical High Medium Low Exploited only Public exploit

2 results · Clear filters · Feed

  • Medium 6.9
    CVE-2026-62337

    SNARK Verifier: Halo 2 aggregation mishandles point-at-infinity proof elements

    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. `EcPointLoader::multi_scalar_multiplication` places a `Value::Assigned(_)` base paired with `Value::Const…

    axiom-crypto snark-verifier
  • Medium 6.9
    CVE-2026-61618

    SNARK Verifier: noncanonical accumulator limb decoding

    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 bounds before elliptic-curve coordinate reconstruction. `PlonkProof::read` selects scalars using `acc…

    axiom-crypto snark-verifier