{"id":"CVE-2024-35229","summary":"ZKsync Era evaluation order of Yul function arguments","details":"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.\n","aliases":["GHSA-jf9w-7f5g-j95p"],"modified":"2026-04-02T12:16:28.194027Z","published":"2024-05-27T16:20:27.432Z","database_specific":{"cna_assigner":"GitHub_M","osv_generated_from":"https://github.com/CVEProject/cvelistV5/tree/main/cves/2024/35xxx/CVE-2024-35229.json","cwe_ids":["CWE-696"]},"references":[{"type":"ADVISORY","url":"https://github.com/CVEProject/cvelistV5/tree/main/cves/2024/35xxx/CVE-2024-35229.json"},{"type":"ADVISORY","url":"https://github.com/matter-labs/era-compiler-solidity/security/advisories/GHSA-jf9w-7f5g-j95p"},{"type":"ADVISORY","url":"https://nvd.nist.gov/vuln/detail/CVE-2024-35229"},{"type":"FIX","url":"https://github.com/matter-labs/era-compiler-solidity/commit/46ce047b51576495779b9f67534207d8154eab79"}],"affected":[{"ranges":[{"type":"GIT","repo":"https://github.com/matter-labs/era-compiler-solidity","events":[{"introduced":"0"},{"fixed":"46ce047b51576495779b9f67534207d8154eab79"}]},{"type":"GIT","repo":"https://github.com/matter-labs/era-compiler-solidity","events":[{"introduced":"0"},{"fixed":"46ce047b51576495779b9f67534207d8154eab79"}]}],"database_specific":{"source":"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2024-35229.json"}}],"schema_version":"1.7.5","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:N"}]}