Contract logic corruption via incorrect XOR folding
Published May 13, 2024 · Updated Aug 2, 2024
Incorrect calculation in Matter Labs ZKsync Solidity Compiler 1.2.0 through 1.4.0 allows remote attackers to corrupt contract logic. The DAGCombine XOR visitor treats -1 as true while folding an extended comparison into its inverse, producing incorrect EraVM bytecode. Exploitation requires optimized LLVM IR containing a comparison extended to 256 bits and XORed with -1; deployed contracts can then execute unintended logic.
Summary
What happened
Incorrect calculation in Matter Labs ZKsync Solidity Compiler 1.2.0 through 1.4.0 allows remote attackers to corrupt contract logic. The DAGCombine XOR visitor treats -1 as true while folding an extended comparison into its inverse, producing incorrect EraVM bytecode. Exploitation requires optimized LLVM IR containing a comparison extended to 256 bits and XORed with -1; deployed contracts can then execute unintended logic.
The record
- CVE
- CVE-2024-34704
- Published
- May 13, 2024
- Updated
- Aug 2, 2024
- Vendor
- Matter Labs
- Product
- ZKsync Solidity Compiler
- Classifications
- CWE-682
- Attack vector
- network
- Privileges
- unauthenticated
Timeline
How it unfolded
- May 13, 2024CVE publishedPublication date reported by the CVE source.
- Aug 2, 2024Record updatedLatest update available in the CVE record.
Exploitability
Present is not the same as exploitable
Compare your product and version with the public record. A matching version still requires validation against your environment.
Is a vulnerable build present?
Compare these published version ranges with your installed build and any vendor patches.
- Affected versionversion=>= 1.2.0, <= 1.4.0
- Affected versionversion=1.2.0 <1.4.1
What conditions does exploitation require?
What is affected?
Published CVSS scores
CVSS describes severity. EPSS estimates exploitation probability.
Attacks
What attackers are doing with it
Daily unique IPs observed by Shadowserver honeypots for known exploited vulnerabilities (KEVs). Missing observations do not establish an absence of attacks.
Weakness, pattern, technique
Public exploit references
No public exploit references are available in this record.
Labels summarize the accepted research assessment. They do not indicate a test against your environment.
Technologies
Your stack
See the directory against your own environment.
Your stack
Check the software in your environment
Book a demo to see how Hinoki identifies affected software and validates exploitability in your environment.
Book a demo