Instituto Nacional de ciberseguridad. Sección Incibe
Instituto Nacional de Ciberseguridad. Sección INCIBE-CERT

Vulnerabilidad en ZKsync para Solidity (CVE-2024-34704)

Gravedad CVSS v3.1:
MEDIA
Tipo:
No Disponible / Otro tipo
Fecha de publicación:
14/05/2024
Última modificación:
14/05/2024

Descripción

era-compiler-solidity es el compilador ZKsync para Solidity. El problema ocurrió durante la selección de instrucciones en la fase "DAGCombine" mientras se visitaba la operación XOR. El problema surge al intentar doblar la expresión `!(x cc y)` en `(x !cc y)`. Para realizar esta transformación, el segundo operando de XOR debe ser una constante que represente el valor verdadero. Sin embargo, se asumió incorrectamente que -1 representa el valor verdadero, cuando en realidad 1 es la representación correcta, por lo que se debe omitir esta transformación en este caso. Esta vulnerabilidad se solucionó en 1.4.1.