Zero-knowledge proof infrastructure provider Succinct has fixed a vulnerability in its SP1 proving system that could have allowed invalid proofs to pass. The flaw affected native Rust verification in versions 6.0.0 to 6.8.0, but on-chain Groth16 and Plonk verification via Solidity verifiers were not impacted.