Groth16 and Plonk proof checks in SP1 remained safe because they used wrapped proofs with fixed shapes that bypassed prover-controlled tensor formats
Agree
Disagree
Overview
Debates
Related claims
Topics
Sources
From the article
Succinct Patches SP1 Bug That Could Let Invalid Proofs Pass
Also in
SP1 bug exposed Succinct's own Prover Network
C
c9f267dc
Article
Succinct Patches SP1 Bug That Could Let Invalid Proofs Pass
0
C
c9f267dc
Article
SP1 bug exposed Succinct's own Prover Network
0