CVE-2023-46232

era-compiler-vyper is the EraVM Vyper compiler for zkSync Era, a layer 2 rollup that uses zero-knowledge proofs to scale Ethereum. Prior to era-compiler-vype version 1.3.10, a bug prevented the initialization of the first immutable variable for Vyper contracts meeting certain criteria. The problem arises when there is a String or Array with more 256-bit words allocated than initialized. It results in the second word’s index unset, that is effectively set to 0, so the first immutable value with the actual 0 index is overwritten in the ImmutableSimulator. Version 1.3.10 fixes this issue by setting all indexes in advance. The problem will go away, but it will get more expensive if the user allocates a lot of uninitialized space, e.g. `String[4096]`. Upgrading and redeploying affected contracts is the only way of working around the issue.
Configurations

Configuration 1 (hide)

cpe:2.3:a:matter-labs:zkvyper:*:*:*:*:*:*:*:*

History

06 Nov 2023, 16:52

Type Values Removed Values Added
CPE cpe:2.3:a:matter-labs:zkvyper:*:*:*:*:*:*:*:*
First Time Matter-labs
Matter-labs zkvyper
CWE NVD-CWE-noinfo
CVSS v2 : unknown
v3 : unknown
v2 : unknown
v3 : 5.3
References (MISC) https://github.com/matter-labs/era-compiler-vyper/security/advisories/GHSA-h8jv-969m-94r4 - (MISC) https://github.com/matter-labs/era-compiler-vyper/security/advisories/GHSA-h8jv-969m-94r4 - Exploit, Vendor Advisory
References (MISC) https://github.com/matter-labs/era-compiler-vyper/commit/8be305a1b9c68d0fd47dad3434224ed85944ca25 - (MISC) https://github.com/matter-labs/era-compiler-vyper/commit/8be305a1b9c68d0fd47dad3434224ed85944ca25 - Patch
References (MISC) https://github.com/matter-labs/era-system-contracts/blob/main/contracts/ImmutableSimulator.sol#L37 - (MISC) https://github.com/matter-labs/era-system-contracts/blob/main/contracts/ImmutableSimulator.sol#L37 - Product

25 Oct 2023, 23:05

Type Values Removed Values Added
New CVE

Information

Published : 2023-10-25 22:15

Updated : 2024-02-28 20:33


NVD link : CVE-2023-46232

Mitre link : CVE-2023-46232

CVE.ORG link : CVE-2023-46232


JSON object : View

Products Affected

matter-labs

  • zkvyper
CWE
NVD-CWE-noinfo CWE-471

Modification of Assumed-Immutable Data (MAID)