Skip to main content

Exposure of Sensitive Information to an Unauthorized Actor

CVE-2024-45039

Medium
6.2/10

Summary

gnark is a fast zk-SNARK library that offers a high-level API for designing circuits. In versions prior to 0.11.0 have a soundness issue - in case of multiple commitments used inside the circuit, the prover can choose all but the last commitment. As gnark uses the commitments for optimized non-native multiplication, lookup checks etc. as random challenges, then it could impact the soundness of the whole circuit. However, using multiple commitments has been discouraged due to the additional cost to the verifier and it has not been supported in the recursive in-circuit Groth16 verifier and Solidity verifier. gnark's maintainers expect the issue's impact to be very small - only for the users who have implemented the native Groth16 verifier or are using it with multiple commitments. We do not have information on such users.

  • LOW
  • LOCAL
  • HIGH
  • UNCHANGED
  • NONE
  • NONE
  • NONE
  • NONE

CWE-200 - Information Exposure

An information exposure vulnerability is categorized as an information flow (IF) weakness, which can potentially allow unauthorized access to otherwise classified information in the application, such as confidential personal information (demographics, financials, health records, etc.), business secrets, and the application's internal environment.

References

Advisory Timeline

  • Published