CVE-2024-43366: zkvyper ignored loop range bounds
Vulnerability summary
CVE-2024-43366 is a critical (CVSS 9.1) Loop with Unreachable Exit Condition vulnerability in matter-labs era-compiler-vyper. EPSS estimates a 0.51% chance of exploitation in the next 30 days, higher than 43.6% of scored vulnerabilities. 1 public exploit is recorded.
Public exploit (GitHub, Date unknown)
Source freshness unavailable
How is this decided?Timeline
- 15-08-2024PublishedVulnerability first disclosed.
- 16-08-2024Last modifiedVulnerability information updated.
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.
CVSS metrics
2 scores · 2 sources · 1 version- CVE.orgCNA7.5HighCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:NDiffers
EPSS trend
Probability
0.51%
Chance of exploitation in the next 30 days
Percentile
44%
Versus all other CVEs
30-day change
No change 0.00 pp
From 0.51% on 04-10-2026
Known exploited
Compare KEV catalogs
CISA KEVNot in the CISA KEV catalog.
ENISA CNWNot in the ENISA CNW catalog.
CIRCLNot in the CIRCL catalog.
Public exploits
1 foundEra Compiler Vyper
Maturity: poc
Weaknesses
CWE · root causeAffected systems
Known conditions: network-reachable, no authentication, no user interaction (CVSS vector). Other conditions: not stated in public data.
Matter-labs2 products
- era-compiler-vyper≥ 1.3.12, < 1.5.3
- zkvyper≥ 1.3.12, < 1.5.3
1 vendor · 2 products
References
1 links- github.com/matter-labs/era-compiler-vyper/security/advisories/GHSA-8j77-7rrv-6pxxX Refsource CONFIRMExploitThird Party Advisory