Improper Validation of Integrity Check Value Affecting sp1-recursion-circuit-v2 package, versions *


Severity

Recommended
0.0
medium
0
10

CVSS assessment made by Snyk's Security Team. Learn more

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-SP1RECURSIONCIRCUITV2-8366352
  • published10 Nov 2024
  • disclosed8 Nov 2024
  • creditUnknown

Introduced: 8 Nov 2024

CVE NOT AVAILABLE CWE-354  (opens in a new tab)

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.

References

CVSS Scores

version 4.0
version 3.1