ZKsync Era evaluation order of Yul function arguments
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-solidity | affected |
|
No data.
No data.
| Vendor | Product | Versions |
|---|---|---|
| Matter-labs | Era-compiler-solidity | — |
| Source | ID | Title |
|---|---|---|
EUVD |
EUVD-2024-35250 | ZKsync Era is a layer 2 rollup that uses zero-knowledge proofs to scale Ethereum. Prior to version 1.3.10, there is a very specific pattern `f(a(),b()); check_if_a_executed_last()` in Yul that exposes a bug in evaluation order of Yul function arguments. This vulnerability has been fixed in version 1.3.10. As a workaround, update and redeploy affected contracts. |
No CVSS v4.0
No CVSS v3.0
No CVSS v2
This CVE is not in the KEV list.
Exploit prediction score: < 1% (0.399% probability within 30 days)
Key SSVC decision points have not yet been added.
No history.