Prevent overflow

0xPolygonZero · Aug 4, 2023 · ac8d163 · ac8d163
1 parent ea7a39d
commit ac8d163
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/evm/src/witness/operation.rs b/evm/src/witness/operation.rs
@@ -492,7 +492,11 @@ fn append_shift<F: Field>(
     }
 
     // Convert the shift, and log the corresponding arithmetic operation.
-    let input0 = U256::from(2).pow(input0);
+    let input0 = if input0 > U256::from(255u64) {
+        U256::zero()
+    } else {
+        U256::from(2).pow(input0)
+    };
     let operator = if row.op.shl.is_one() {
         BinaryOperator::Mul
     } else {