In a few clicks we can analyze your entire application and see what components are vulnerable in your application, and suggest you quick fixes.
Test your applicationsThere is no fixed version for sp1-recursion-circuit-v2
.
sp1-recursion-circuit-v2 is a performant, 100% open-source, contributor-friendly zkVM
Affected versions of this package are vulnerable to Improper Validation of Integrity Check Value during proof generation, by not sufficiently observing the cumulative sumof the permutation argument sent to the verifier when sampling zeta. An attacker with impractically extensive compute power and deep knowledge of cryptographic attacks may be able to manipulate prover behvaior.