axiom-crypto snark-verifier

• CVE-2026-62337 Medium 6.9 SNARK Verifier: Halo 2 aggregation mishandles point-at-infinity proof elements 0.3%
• CVE-2026-61618 Medium 6.9 SNARK Verifier: noncanonical accumulator limb decoding 0.4%