matter-labs era-compiler-solidity up to 1.4.0 DAGCombine calculation

Summaryinfo

A vulnerability was found in matter-labs era-compiler-solidity up to 1.4.0. It has been rated as problematic. This affects the function DAGCombine. This manipulation causes calculation. The identification of this vulnerability is CVE-2024-34704. It is possible to initiate the attack remotely. There is no exploit available. Upgrading the affected component is advised.

Detailsinfo

A vulnerability has been found in matter-labs era-compiler-solidity up to 1.4.0 and classified as problematic. Affected by this vulnerability is the function DAGCombine. The manipulation with an unknown input leads to a calculation vulnerability. The CWE definition for the vulnerability is CWE-682. The product performs a calculation that generates incorrect or unintended results that are later used in security-critical decisions or resource management. As an impact it is known to affect integrity. The summary by CVE is:

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.

It is possible to read the advisory at github.com. This vulnerability is known as CVE-2024-34704 since 05/07/2024. The exploitation appears to be difficult. The attack can be launched remotely. The exploitation doesn't need any form of authentication. Technical details of the vulnerability are known, but there is no available exploit.

Upgrading to version 1.4.1 eliminates this vulnerability.

Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.

Productinfo

Vendor

• matter-labs

Name

• era-compiler-solidity

Version

• 1.0
• 1.1
• 1.2
• 1.3
• 1.4.0

Website

• Product: https://github.com/matter-labs/era-compiler-solidity/

CPE 2.3info

• 🔍
• 🔍
• 🔍

CPE 2.2info

• 🔍
• 🔍
• 🔍

CVSSv4info

CVSSv3info

CVSSv2info

Exploitinginfo

Threat Intelligenceinfo

Countermeasuresinfo

Timelineinfo

Sourcesinfo

Entryinfo

Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.

Discussion