From ac512151d218c231aeb4f315c0bf9fa46e0980ce Mon Sep 17 00:00:00 2001
From: Ignasi <ignasirv@hotmail.com>
Date: Mon, 29 May 2023 13:09:21 +0200
Subject: [PATCH] Add arith checker at beginning of processTx

---
 main/process-tx.zkasm | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/main/process-tx.zkasm b/main/process-tx.zkasm
index 86b22c55..845d3338 100644
--- a/main/process-tx.zkasm
+++ b/main/process-tx.zkasm
@@ -32,6 +32,8 @@ processTx:
         ; Minimum of 100000 steps left to process a tx
         %MAX_CNT_STEPS - STEP - 100000 :JMPN(outOfCountersStep)
         %MAX_CNT_BINARY - CNT_BINARY - 100   :JMPN(outOfCountersBinary)
+        %MAX_CNT_ARITH - CNT_ARITH - 2  :JMPN(outOfCountersArith)
+
         $ => A                          :MLOAD(txHash)
         ; Check the signature
         $ => B                          :MLOAD(txR)
@@ -69,12 +71,11 @@ endCheckChainId:
         0                               :MSTORE(depth) ; Initial depth is 0
 
 ;; Set gasPrice global var depending on effectivePercentage [0-255] -> txGasPrice = Floor((gasPrice * (effectivePercentage + 1)) / 256)
-        ; _effGasPriceShifted = gasPrice * (effectivePercentage + 1)
-        ; A => gasPrice
+        ; gasPrice => A
         $ => A                          :MLOAD(txGasPriceRLP)
-        ; B => effectivePercentage
+        ; effectivePercentage => B
         $ => B                          :MLOAD(effectivePercentageRLP)
-        ; B => [0, 255]
+        ; B -> [1, 256]
         B + 1 => B
         ; A*B + C = D * 2**256 + op(E)
         0 => C