CVE-2024-45040
Gnark Groth16 Commitment Zero-Knowledge Property Break
Description
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. Prior to version 0.11.0, commitments to private witnesses in Groth16 as implemented break the zero-knowledge property. The vulnerability affects only Groth16 proofs with commitments. Notably, PLONK proofs are not affected. The vulnerability affects the zero-knowledge property of the proofs - in case the witness (secret or internal) values are small, then the attacker may be able to enumerate all possible choices to deduce the actual value. If the possible choices for the variables to be committed is large or there are many values committed, then it would be computationally infeasible to enumerate all valid choices. It doesn't affect the completeness/soundness of the proofs. The vulnerability has been fixed in version 0.11.0. The patch to fix the issue is to add additional randomized value to the list of committed value at proving time to mask the rest of the values which were committed. As a workaround, the user can manually commit to a randomized value.
INFO
Published Date :
Sept. 6, 2024, 1:15 p.m.
Last Modified :
Sept. 20, 2024, 12:13 a.m.
Source :
[email protected]
Remotely Exploitable :
Yes !
Impact Score :
3.6
Exploitability Score :
2.2
References to Advisories, Solutions, and Tools
Here, you will find a curated list of external links that provide in-depth
information, practical solutions, and valuable tools related to
CVE-2024-45040.
| URL | Resource |
|---|---|
| https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0 | Patch |
| https://github.com/Consensys/gnark/pull/1245 | Product |
| https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6 | Third Party Advisory |
We scan GitHub repositories to detect new proof-of-concept exploits. Following list is a collection of public exploits and proof-of-concepts, which have been published on GitHub (sorted by the most recently updated).
Results are limited to the first 15 repositories due to potential performance issues.
The following list is the news that have been mention
CVE-2024-45040 vulnerability anywhere in the article.
The following table lists the changes that have been made to the
CVE-2024-45040 vulnerability over time.
Vulnerability history details can be useful for understanding the evolution of a vulnerability, and for identifying the most recent changes that may impact the vulnerability's severity, exploitability, or other characteristics.
-
Initial Analysis by [email protected]
Sep. 20, 2024
Action Type Old Value New Value Added CVSS V3.1 NIST AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:N/A:N Changed Reference Type https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0 No Types Assigned https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0 Patch Changed Reference Type https://github.com/Consensys/gnark/pull/1245 No Types Assigned https://github.com/Consensys/gnark/pull/1245 Product Changed Reference Type https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6 No Types Assigned https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6 Third Party Advisory Added CWE NIST NVD-CWE-noinfo Added CPE Configuration OR *cpe:2.3:a:consensys:gnark-crypto:*:*:*:*:*:*:*:* versions up to (excluding) 0.11.0 -
CVE Received by [email protected]
Sep. 06, 2024
Action Type Old Value New Value Added Description gnark is a fast zk-SNARK library that offers a high-level API to design circuits. Prior to version 0.11.0, commitments to private witnesses in Groth16 as implemented break the zero-knowledge property. The vulnerability affects only Groth16 proofs with commitments. Notably, PLONK proofs are not affected. The vulnerability affects the zero-knowledge property of the proofs - in case the witness (secret or internal) values are small, then the attacker may be able to enumerate all possible choices to deduce the actual value. If the possible choices for the variables to be committed is large or there are many values committed, then it would be computationally infeasible to enumerate all valid choices. It doesn't affect the completeness/soundness of the proofs. The vulnerability has been fixed in version 0.11.0. The patch to fix the issue is to add additional randomized value to the list of committed value at proving time to mask the rest of the values which were committed. As a workaround, the user can manually commit to a randomized value. Added Reference GitHub, Inc. https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6 [No types assigned] Added Reference GitHub, Inc. https://github.com/Consensys/gnark/pull/1245 [No types assigned] Added Reference GitHub, Inc. https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0 [No types assigned] Added CWE GitHub, Inc. CWE-200 Added CVSS V3.1 GitHub, Inc. AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:N/A:N
CWE - Common Weakness Enumeration
While CVE identifies
specific instances of vulnerabilities, CWE categorizes the common flaws or
weaknesses that can lead to vulnerabilities. CVE-2024-45040 is
associated with the following CWEs:
Common Attack Pattern Enumeration and Classification (CAPEC)
Common Attack Pattern Enumeration and Classification
(CAPEC)
stores attack patterns, which are descriptions of the common attributes and
approaches employed by adversaries to exploit the CVE-2024-45040
weaknesses.