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
Link | Resource |
---|---|
https://github.com/matter-labs/era-compiler-vyper/security/advisories/GHSA-8j77-7rrv-6pxx | Exploit Third Party Advisory |
Configurations
History
27 Sep 2024, 18:08
Type | Values Removed | Values Added |
---|---|---|
CPE | cpe:2.3:a:matter-labs:zkvyper:*:*:*:*:*:*:*:* | |
References | () https://github.com/matter-labs/era-compiler-vyper/security/advisories/GHSA-8j77-7rrv-6pxx - Exploit, Third Party Advisory | |
CVSS |
v2 : v3 : |
v2 : unknown
v3 : 9.1 |
First Time |
Matter-labs zkvyper
Matter-labs |
19 Aug 2024, 13:00
Type | Values Removed | Values Added |
---|---|---|
Summary |
|
15 Aug 2024, 21:15
Type | Values Removed | Values Added |
---|---|---|
New CVE |
Information
Published : 2024-08-15 21:15
Updated : 2024-09-27 18:08
NVD link : CVE-2024-43366
Mitre link : CVE-2024-43366
CVE.ORG link : CVE-2024-43366
JSON object : View
Products Affected
matter-labs
- zkvyper
CWE
CWE-835
Loop with Unreachable Exit Condition ('Infinite Loop')