On-chain Solidity verifiers for Groth16 and Plonk checks and applications whose proof aggregation ended in Groth16 or Plonk proofs were unaffected by SP1's high-severity soundness bug

From the articleSP1 bug exposed Succinct's own Prover NetworkAlso in Succinct Patches SP1 Bug That Could Let Invalid Proofs Pass