Succinct Patches SP1 Bug That Could Let Invalid Proofs Pass

The flaw affected native Rust verification in versions 6.0.0–6.8.0. Onchain Groth16 and Plonk verification through Solidity verifiers was unaffected.