zkvyper ignored loop range bounds
Default status is the baseline for the product, each version can override it (e.g. patched versions marked unaffected).
| Vendor | Product | Default status | Versions | ||||||
|---|---|---|---|---|---|---|---|---|---|
| matter-labs | era-compiler-vyper | affected |
|
No data.
No data available yet.
| Source | ID | Title |
|---|---|---|
EUVD |
EUVD-2024-40254 | 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. |
No CVSS v4.0
No CVSS v3.0
No CVSS v2
This CVE is not in the KEV list.
Exploit prediction score: < 1% (0.511% probability within 30 days)
| Type | Values Removed | Values Added |
|---|---|---|
| First Time appeared |
Matter-labs zkvyper
|
|
| CPEs | cpe:2.3:a:matter-labs:zkvyper:*:*:*:*:*:*:*:* | |
| Vendors & Products |
Matter-labs zkvyper
|
| Type | Values Removed | Values Added |
|---|---|---|
| First Time appeared |
Matter-labs
Matter-labs era-compiler-vyper |
|
| CPEs | cpe:2.3:a:matter-labs:era-compiler-vyper:*:*:*:*:*:*:*:* | |
| Vendors & Products |
Matter-labs
Matter-labs era-compiler-vyper |
|
| Metrics |
ssvc
|
| Type | Values Removed | Values Added |
|---|---|---|
| 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. | |
| Title | zkvyper ignored loop range bounds | |
| Weaknesses | CWE-835 | |
| References |
| |
| Metrics |
cvssV3_1
|