CVE-2024-34704: Matter-Labs Era-Compiler-Solidity

Medium severity, CVSS 5.9. EPSS: 0.5% chance of exploitation in the next 30 days.

era-compiler-solidity is the ZKsync compiler for Solidity. The problem occurred during instruction selection in the `DAGCombine` phase while visiting the XOR operation. The issue arises when attempting to fold the expression `!(x cc y)` into `(x !cc y)`. To perform this transformation, the second operand of XOR should be a constant representing the true value. However, it was incorrectly assumed that -1 represents the true value, when in fact, 1 is the correct representation, so this transformation for this case should be skipped. This vulnerability is fixed in 1.4.1.

Affected products

• Matter-Labs Era-Compiler-Solidity: from 1.2.0, up to and including 1.4.0; from 1.2.0, before 1.4.1 (fixed in 1.4.1)

Published 2024-05-14. Last modified 2026-06-17.