The SP1 soundness flaw affected native Rust verification in sp1_hypercube, sp1_prover, and sp1_sdk versions 6.0.0 through 6.8.0
Agree
Disagree
Overview
Debates
Related claims
Topics
Sources
From the article
SP1 bug exposed Succinct's own Prover Network
Also in
Succinct Patches SP1 Bug That Could Let Invalid Proofs Pass
C
c9f267dc
Article
SP1 bug exposed Succinct's own Prover Network
0
C
c9f267dc
Article
Succinct Patches SP1 Bug That Could Let Invalid Proofs Pass
0