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.

• CWE-200

• https://github.com/Consensys/gnark/commit/afda68a38acca37becb8ba6d8982d03fee9559a0Patch
• https://github.com/Consensys/gnark/pull/1245Product
• https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6Third Party Advisory

Published

Sep 6, 2024

Last Modified

Jun 17, 2026

Status

Analyzed

• How Strix found a critical auth bypass in etcdStrix autonomously discovered a critical authentication bypass in etcd, later designated CVE-2026-33413.
• Autonomous PentestingAI agents that find and validate exploitable vulnerabilities like this one across your applications.
• PR ReviewsPentest every pull request so vulnerable code is caught before it ships to production.
• AI Penetration TestingHow AI-driven penetration testing continuously covers your attack surface.

• CVE-2024-45034Apache Airflow versions before 2.10.1 have a vulnerability t…8.8
• CVE-2024-45036Tophat is a mobile applications testing harness. An Improper…4.3
• CVE-2024-45037The AWS Cloud Development Kit (CDK) is an open-source framew…6.4
• CVE-2024-45038Meshtastic device firmware is a firmware for meshtastic devi…7.5
• CVE-2024-45039gnark is a fast zk-SNARK library that offers a high-level AP…6.2
• CVE-2024-4504A vulnerability, which was classified as critical, has been …7.2
• CVE-2024-45041External Secrets Operator is a Kubernetes operator that inte…8.8
• CVE-2024-45042Ory Kratos is an identity, user management and authenticatio…4.4
• CVE-2024-45043The OpenTelemetry Collector module AWS firehose receiver is …5.3
• CVE-2024-45044Bareos is open source software for backup, archiving, and re…8.8
• CVE-2024-45045Collabora Online is a collaborative online office suite base…6.1
• CVE-2024-45046PHPSpreadsheet is a pure PHP library for reading and writing…5.4