CVE-2024-43366

HIGH

zkvyper 1.3.12-1.5.3 - Infinite Loop via LLL IR Compilation

Title source: llm
STIX 2.1

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.

References (1)

Core 1
Core References

Scores

CVSS v3 7.5
EPSS 0.0051
EPSS Percentile 39.3%
Attack Vector NETWORK
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N

CISA SSVC

Vulnrichment
Exploitation poc
Automatable yes
Technical Impact partial

Details

CWE
CWE-835
Status published
Products (1)
matter-labs/zkvyper 1.3.12 - 1.5.3
Published Aug 15, 2024
Tracked Since Feb 18, 2026