Vulnerability 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 Score
HIGH
Affected Products
| Vendor | Product | Versions |
|---|---|---|
| Matter-Labs | Zkvyper | >= 1.3.12, < 1.5.3 |
Related Weaknesses (CWE)
References
- https://github.com/matter-labs/era-compiler-vyper/security/advisories/GHSA-8j77-ExploitThird Party Advisory
FAQ
What is CVE-2024-43366?
CVE-2024-43366 is a vulnerability with a CVSS score of 7.5 (HIGH). 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...
How severe is CVE-2024-43366?
CVE-2024-43366 has been rated HIGH with a CVSS base score of 7.5/10. Review the CVSS metrics above for detailed severity breakdown.
Is there a patch for CVE-2024-43366?
Check the references section above for vendor advisories and patch information. Affected products include: Matter-Labs Zkvyper.