Vulnerability · Published Aug 15, 2024 · Assigned by GitHub_M
CVE-2024-43366zkvyper ignored loop range bounds
High 7.5
In plain English
A high-severity infinite loop in era-compiler-vyper from matter-labs. Proof-of-concept exploit code is public. The chance it is exploited in the next 30 days is estimated at 0.5% (higher than 44% of all known vulnerabilities).
Official description
zkvyper is a Vyper compiler. Starting in version 1.3.12 and prior to version 1.5.3, since LLL IR has no Turing-incompletness restrictions, it is compiled to a loop with a much more late exit condition. It leads to a loss of funds or other unwanted behavior if the loop body contains it. However, more real-life use cases like iterating over an array are not affected. No contracts were affected by this issue, which was fixed in version 1.5.3. Upgrading and redeploying affected contracts is the only way to avoid the vulnerability.
Affected products (as reported)
| Vendor | Product | Versions |
|---|---|---|
| matter-labs | era-compiler-vyper | >= 1.3.12, < 1.5.3 |
Weakness: CWE-835 · Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N