CVE-2024-45040

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.
Configurations

Configuration 1 (hide)

cpe:2.3:a:consensys:gnark-crypto:*:*:*:*:*:*:*:*

History

20 Sep 2024, 00:13

Type Values Removed Values Added
CWE NVD-CWE-noinfo
CPE cpe:2.3:a:consensys:gnark-crypto:*:*:*:*:*:*:*:*
First Time Consensys
Consensys gnark-crypto
Summary
  • (es) gnark es una librería zk-SNARK rápida que ofrece una API de alto nivel para diseñar circuitos. Antes de la versión 0.11.0, los compromisos con testigos privados en Groth16 tal como se implementaron rompen la propiedad de conocimiento cero. La vulnerabilidad afecta solo a las pruebas de Groth16 con compromisos. En particular, las pruebas PLONK no se ven afectadas. La vulnerabilidad afecta la propiedad de conocimiento cero de las pruebas: en caso de que los valores de los testigos (secretos o internos) sean pequeños, entonces el atacante puede enumerar todas las opciones posibles para deducir el valor real. Si las opciones posibles para las variables que se comprometerán son grandes o hay muchos valores comprometidos, entonces sería computacionalmente inviable enumerar todas las opciones válidas. No afecta la integridad/solidez de las pruebas. La vulnerabilidad se ha corregido en la versión 0.11.0. El parche para solucionar el problema es agregar un valor aleatorio adicional a la lista de valores comprometidos en el momento de la prueba para enmascarar el resto de los valores que se comprometieron. Como workaround, el usuario puede comprometerse manualmente con un valor aleatorio.
References () https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0 - () https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0 - Patch
References () https://github.com/Consensys/gnark/pull/1245 - () https://github.com/Consensys/gnark/pull/1245 - Product
References () https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6 - () https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6 - Third Party Advisory

06 Sep 2024, 13:15

Type Values Removed Values Added
New CVE

Information

Published : 2024-09-06 13:15

Updated : 2024-09-20 00:13


NVD link : CVE-2024-45040

Mitre link : CVE-2024-45040

CVE.ORG link : CVE-2024-45040


JSON object : View

Products Affected

consensys

  • gnark-crypto
CWE
NVD-CWE-noinfo CWE-200

Exposure of Sensitive Information to an Unauthorized Actor