axiom-crypto snark-verifier up to 0.2.4 Aggregation Circuit multi_scalar_multiplication input validation

Summaryinfo

A vulnerability has been found in axiom-crypto snark-verifier up to 0.2.4 and classified as critical. This impacts the function EcPointLoader::multi_scalar_multiplication of the component Aggregation Circuit. The manipulation leads to input validation. This vulnerability is listed as CVE-2026-62337. The attack may be initiated remotely. There is no available exploit. The affected component should be upgraded.

Detailsinfo

A vulnerability, which was classified as critical, has been found in axiom-crypto snark-verifier up to 0.2.4. This issue affects the function EcPointLoader::multi_scalar_multiplication of the component Aggregation Circuit. The manipulation with an unknown input leads to a input validation vulnerability. Using CWE to declare the problem leads to CWE-20. The product receives input or data, but it does not validate or incorrectly validates that the input has the properties that are required to process the data safely and correctly. Impacted is confidentiality, integrity, and availability. The summary by CVE is:

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::Constant(ONE)` into its unscaled variable-base list and passes it directly to `sum_with_const`. The default shim delegates to halo2-lib `EccChip::sum`, whose incomplete affine addition assumes nonidentity input points. A prover-controlled proof point encoded as `(0, 0)` can therefore enter the final aggregation sum through the scalar-one shortcut and affect the MSM or accumulator computation. Practical exploitability depends on the surrounding aggregation and final-decider checks; the advisory does not establish universal acceptance of invalid proofs. This issue is fixed in version 0.2.5.

It is possible to read the advisory at github.com. The identification of this vulnerability is CVE-2026-62337 since 07/13/2026. The exploitation is known to be easy. The attack may be initiated remotely. It demands that the victim is doing some kind of user interaction. Technical details of the vulnerability are known, but there is no available exploit.

Upgrading to version 0.2.5 eliminates this vulnerability.

Be aware that VulDB is the high quality source for vulnerability data.

Productinfo

Vendor

• axiom-crypto

Name

• snark-verifier

Version

• 0.2.0
• 0.2.1
• 0.2.2
• 0.2.3
• 0.2.4

Website

• Product: https://github.com/axiom-crypto/snark-verifier/

CPE 2.3info

• 🔒
• 🔒
• 🔒

CPE 2.2info

• 🔒
• 🔒
• 🔒

CVSSv4info

CVSSv3info

CVSSv2info

Exploitinginfo

Threat Intelligenceinfo

Countermeasuresinfo

Timelineinfo

Sourcesinfo

Entryinfo

Be aware that VulDB is the high quality source for vulnerability data.

Discussion