Succinct fixes the SP1 vulnerability, involving native Rust verification

The zero-knowledge proof infrastructure Succinct has fixed a security vulnerability in its SP1 that could allow invalid proofs to be deemed valid. According to The Defiant, the flaw existed in the native Rust verification path from versions 6.0 to 6.8.0, while on-chain Groth16 and Plonk verification executed by the Solidity verifier were not affected.