Ivo Kubjas

5 exploits Active since Oct 2023
CVE-2023-44378 WRITEUP HIGH WRITEUP
gnark < 0.9.0 - Incorrect Comparison via Field Overflow
gnark is a zk-SNARK library that offers a high-level API to design circuits. Prior to version 0.9.0, for some in-circuit values, it is possible to construct two valid decomposition to bits. In addition to the canonical decomposition of `a`, for small values there exists a second decomposition for `a+r` (where `r` is the modulus the values are being reduced by). The second decomposition was possible due to overflowing the field where the values are defined. Upgrading to version 0.9.0 should fix the issue without needing to change the calls to value comparison methods.
CVSS 7.1
CVE-2024-45040 WRITEUP MEDIUM WRITEUP
gnark-crypto < 0.11.0 - Exposure of Sensitive Information via Groth16 Commitment
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.
CVSS 5.9
CVE-2024-50354 WRITEUP MEDIUM WRITEUP
gnark < 0.12.0 and 0.11.0 - Uncontrolled Resource Consumption via Groth16 Verification Key Deserialization
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. In gnark 0.11.0 and earlier, deserialization of Groth16 verification keys allocate excessive memory, consuming a lot of resources and triggering a crash with the error fatal error: runtime: out of memory.
CVSS 5.5
CVE-2025-58157 WRITEUP HIGH WRITEUP
gnark 0.12.0-<0.13.0 - Denial of Service via Fake-GLV Algorithm
gnark is a zero-knowledge proof system framework. In version 0.12.0, there is a potential denial of service vulnerability when computing scalar multiplication is using the fake-GLV algorithm. This is because the algorithm didn't converge quickly enough for some of the inputs. This issue has been patched in version 0.13.0.
CVSS 7.5
CVE-2025-58157 WRITEUP HIGH WRITEUP
gnark 0.12.0-<0.13.0 - Denial of Service via Fake-GLV Algorithm
gnark is a zero-knowledge proof system framework. In version 0.12.0, there is a potential denial of service vulnerability when computing scalar multiplication is using the fake-GLV algorithm. This is because the algorithm didn't converge quickly enough for some of the inputs. This issue has been patched in version 0.13.0.
CVSS 7.5