CVE-2026-61618

A flaw was found in snark-verifier. Accumulator limbs are decoded without consistently enforcing canonical bounds before reconstructing elliptic-curve coordinates. A remote attacker can exploit this flaw by submitting proofs with non-canonical encodings, causing the native verifier to panic and...