Improper Validation of Integrity Check Value Affecting sp1-recursion-circuit-v2 package, versions *
Do your applications use this vulnerable package?
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 applications- Snyk ID SNYK-RUST-SP1RECURSIONCIRCUITV2-8366352
- published 10 Nov 2024
- disclosed 8 Nov 2024
- credit Unknown
How to fix?
There is no fixed version for sp1-recursion-circuit-v2.
Overview
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.