Improper Validation of Integrity Check Value Affecting sp1-recursion-circuit package, versions <3.0.0-rc4
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 IDSNYK-RUST-SP1RECURSIONCIRCUIT-8366351
- published10 Nov 2024
- disclosed8 Nov 2024
- creditUnknown
Introduced: 8 Nov 2024
CVE NOT AVAILABLE CWE-354 (opens in a new tab)Common Weakness Enumeration (CWE) is a category system for software weaknesses
How to fix?
Upgrade sp1-recursion-circuit to version 3.0.0-rc4 or higher.
Overview
sp1-recursion-circuit 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.