Skip to content
Threat Feed
Subscribe

Tag

Recursive-Proof

1 brief RSS
high advisory

SP1 V6 Recursion Circuit Row-Count Binding Gap Vulnerability

A soundness vulnerability in the SP1 V6 recursive shard verifier allows a malicious prover to construct a recursive proof from a shard proof that the native verifier would reject due to inconsistent trace shapes, potentially leading to data forgery and circuit misrepresentation.

SP1 +3 soundness-vulnerability recursive-proof data-forgery
2r 1t