CVE-2026-61618

Prior to version 0.2.5 , SNARK Verifier is vulnerable to a denial-of-service condition due to noncanonical KZG accumulator public-instance limbs being decoded without consistent enforcement of limb bounds. Specifically, in the EVM loader (snark-verifier/src/loader/evm/loader.rs), shl and add oper...