CVE-2026-61618

The record

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 `accumulator_indices` and passes them to `AccumulatorEncoding::from_repr`. For the EVM loader, `LimbsEncoding::from_repr` forwards them to `EvmLoader::ec_point_from_limbs` in `snark-verifier/src/loader/evm/loader.rs`, where `shl` and `add` reconstruct coordinates before `validate_ec_point` checks the resulting affine point rather than the original limb bounds. The related native path in `snark-verifier/src/pcs/kzg/accumulator.rs` can reach assertion- or unwrap-based decoding and panic instead of returning a verification error. This allows noncanonical encodings at the verifier boundary and can crash the native verifier. Standard SDK aggregation circuits are expected to constrain accumulator limbs before this boundary, which limits practical exploitability. This issue is fixed in version 0.2.5.

Affected packages

Related vulnerabilities

• CVE-2026-63339 IXP Manager is a full-stack web application for managing Internet Exchange Points. CWE-20
• CVE-2026-62958 libriscv is a RISC-V sandbox and emulator. CWE-20
• CVE-2026-119342 Stirling-PDF is a locally hosted web application that facilitates various operations on… CWE-20
• CVE-2026-119339 Tesseract is an open source OCR engine. CWE-20
• CVE-2026-62335 OpenVM is a performant and modular zkVM framework built for customization and… CWE-20
• CVE-2026-62337 SNARK Verifier is a generic (S)NARK verifier. CWE-20
• CVE-2026-62333 OpenVM is a performant and modular zkVM framework built for customization and… CWE-20
• CVE-2026-59978 AdminNeo is a full-featured database management tool written in PHP. CWE-20