Contract-state corruption via unset immutable index
Published Oct 25, 2023 · Updated Sep 10, 2024
First immutable variable initialization in ZKsync Vyper Compiler before 1.3.10 allows remote attackers to alter contract state via crafted String or Array layouts. The compiler leaves the second word index unset when allocated 256-bit words exceed initialized words, so ImmutableSimulator index zero is overwritten and the first immutable value is corrupted. Exploitation requires compiling and deploying a contract matching those layout conditions; the consequence is integrity corruption of immutable data, with no reported confidentiality or availability impact.
Summary
What happened
First immutable variable initialization in ZKsync Vyper Compiler before 1.3.10 allows remote attackers to alter contract state via crafted String or Array layouts. The compiler leaves the second word index unset when allocated 256-bit words exceed initialized words, so ImmutableSimulator index zero is overwritten and the first immutable value is corrupted. Exploitation requires compiling and deploying a contract matching those layout conditions; the consequence is integrity corruption of immutable data, with no reported confidentiality or availability impact.
The record
- CVE
- CVE-2023-46232
- Published
- Oct 25, 2023
- Updated
- Sep 10, 2024
- Vendor
- Matter Labs
- Product
- ZKsync Vyper Compiler
- Classifications
- CWE-471
- Attack vector
- network
- Privileges
- unauthenticated
Timeline
How it unfolded
- Oct 25, 2023CVE publishedPublication date reported by the CVE source.
- Sep 10, 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=0 <1.3.10
- Affected versionversion=< 1.3.10
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