Optimize constants and changel2 utils

0xPolygonHermez · Apr 26, 2024 · 70f189e · 70f189e
1 parent e8f363e
commit 70f189e
Show file tree

Hide file tree

Showing 6 changed files with 30 additions and 46 deletions.
diff --git a/main/constants.zkasm b/main/constants.zkasm
@@ -7,7 +7,6 @@ CONST %TX_GAS_LIMIT = 30000000
 CONSTL %BLOCK_GAS_LIMIT = 2**50
 CONST %MAX_MEM_EXPANSION_BYTES = 0x3fffe0
 CONST %FORK_ID = 10
-CONST %L1INFO_TREE_LEVELS = 32
 CONST %CALLDATA_RESERVED_CTX = 1
 CONSTL %FOUR_GOLDILOCKS = 0xffffffff00000001ffffffff00000001ffffffff00000001ffffffff00000001n
 
@@ -126,13 +125,10 @@ CONST %MAX_CNT_POSEIDON_G = %MAX_CNT_POSEIDON_G_LIMIT - (%MAX_CNT_POSEIDON_G_LIM
 CONST %MAX_CNT_SHA256_F = %MAX_CNT_SHA256_F_LIMIT - (%MAX_CNT_SHA256_F_LIMIT / %SAFE_RANGE)
 CONST %MAX_CNT_POSEIDON_SLOAD_SSTORE = 518
 
-CONST %MIN_CNT_KECCAK_BATCH = 1 ; minimum necessary keccaks to compute global hash
-
 ; ETHEREUM CONSTANTS
 CONSTL %MAX_NONCE = 0xffffffffffffffffn
 CONSTL %MAX_UINT_256 = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn
 CONST %CODE_SIZE_LIMIT = 0x6000
-CONST %BYTECODE_STARTS_EF = 0xEF
 CONST %MAX_SIZE_MODEXP = 1024
 CONST %MAX_GAS_WORD_MODEXP = 9487
 CONSTL %MAX_GAS_IT_MODEXP = 90000000 ; %TX_GAS_LIMIT * 3
@@ -146,4 +142,6 @@ CONST %TX_TYPE_NUM_BYTES = 1
 ; CONSTANTS MEM_ALIGN
 CONST %MEM_ALIGN_LEN = 2**7
 CONST %MEM_ALIGN_LEFT_ALIGNMENT = 2**13
-CONST %MEM_ALIGN_LITTLE_ENDIAN = 2**14
+CONST %MEM_ALIGN_LITTLE_ENDIAN = 2**14
+
+; CHECK not used constants and vars
diff --git a/main/l2-tx-hash.zkasm b/main/l2-tx-hash.zkasm
@@ -28,7 +28,6 @@
 ;;    [  20  bytes   ] from
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-
 VAR CTX l2TxHashPointer ; Pointer to l2TxHash hash address
 VAR CTX l2HASHP ; pointer to the l2TxHash to store the bytes
 VAR GLOBAL tmpVar_HASHPOS_L2HashTx ; temporary variable register HASHPOS
@@ -97,9 +96,7 @@ addL2HashTx_isNotDeploy:
 ;; Write 3 bytes to l2TxHash: data length
 addL2HashTx_dataLength:
         ; store temporary register values
-        A                               :MSTORE(tmpVar_A_L2HashTx)
-        D                               :MSTORE(tmpVar_D_L2HashTx)
-        E                               :MSTORE(tmpVar_E_L2HashTx)
+        A                               :SAVE(B,C,D,E,RCX,RR)
         HASHPOS                         :MSTORE(tmpVar_HASHPOS_L2HashTx)
 
         ; load pointer l2HashTx and write data length
@@ -109,18 +106,13 @@ addL2HashTx_dataLength:
         ${mem.txCalldataLen}            :HASHP(E), MLOAD(txCalldataLen)
         HASHPOS                         :MSTORE(l2HASHP)
 
-        ; load temporary register values
-        $ => A                          :MLOAD(tmpVar_A_L2HashTx)
-        $ => D                          :MLOAD(tmpVar_D_L2HashTx)
-        $ => E                          :MLOAD(tmpVar_E_L2HashTx)
-        $ => HASHPOS                    :MLOAD(tmpVar_HASHPOS_L2HashTx), RETURN
+        $ => HASHPOS                    :MLOAD(tmpVar_HASHPOS_L2HashTx)
+        $ => A                          :RESTORE, RETURN
 
 ;; Write 1 byte to l2TxHash: txType
 ; note: HASHPOS is not recovered and the outcome register is the l2TxHash length
 addL2HashTx_txType:
-        ; store temporary register values
-        A                               :MSTORE(tmpVar_A_L2HashTx)
-        E                               :MSTORE(tmpVar_E_L2HashTx)
+        A                               :SAVE(B,C,D,E,RCX,RR)
         HASHPOS                         :MSTORE(tmpVar_HASHPOS_L2HashTx)
 
         ; load pointer l2HashTx and write txType
@@ -132,10 +124,8 @@ addL2HashTx_txType:
 addL2HashTx_txType_write_1:
         1                               :HASHP1(E)
 addL2HashTx_txType_finish:
-        ; load temporary register values
-        $ => A                          :MLOAD(tmpVar_A_L2HashTx)
-        $ => E                          :MLOAD(tmpVar_E_L2HashTx)
-        $ => HASHPOS                    :MLOAD(tmpVar_HASHPOS_L2HashTx), RETURN
+        $ => HASHPOS                    :MLOAD(tmpVar_HASHPOS_L2HashTx)
+        $ => A                          :RESTORE, RETURN
 
 ;; Closes l2TxHash and store the result
 closeL2TxHash:
@@ -148,8 +138,7 @@ closeL2TxHash:
         $ => E                          :MLOAD(l2TxHashPointer)
         HASHPOS                         :HASHPLEN(E)
         ; digest l2TxHash
-        $ => E                          :HASHPDIGEST(E)
-        E                               :MSTORE(l2TxHash)
+        $ => E                          :HASHPDIGEST(E), MSTORE(l2TxHash)
 
         ; load temporary register values
         $ => E                          :MLOAD(tmpVar_E_L2HashTx)

diff --git a/main/load-change-l2-block-utils.zkasm b/main/load-change-l2-block-utils.zkasm
@@ -1,13 +1,10 @@
 ;; get D bytes from transaction bytes
+;@in E: batchHashDataPointer
 ;@in D: number of bytes to get
 ;@in C: current data parsed pointer
+;@in HASHPOS: batchHashPos
 ;@out A: D bytes from batch data at offset C
 getChangeL2TxBytes:
         $ => B                          :MLOAD(batchL2DataParsed)
         $ - B - C - D                   :F_MLOAD(batchL2DataLength), JMPN(invalidDecodeChangeL2Block)
-        $ => E                          :MLOAD(batchHashDataPointer)
-        $ => HASHPOS                    :MLOAD(batchHashPos)
-        $ => A                          :HASHP(E)
-        HASHPOS                         :MSTORE(batchHashPos)
-        C => HASHPOS
-        $ => E                          :MLOAD(txHashPointer), RETURN
+        $ => A                          :HASHP(E), RETURN
diff --git a/main/load-change-l2-block.zkasm b/main/load-change-l2-block.zkasm
@@ -8,7 +8,8 @@ INCLUDE "load-change-l2-block-utils.zkasm"
 decodeChangeL2BlockTx:
     ; No changeL2BlockTx allowed at forced batches
     $                               :MLOAD(isForced), JMPNZ(invalidDecodeChangeL2Block)
-
+    $ => E                          :MLOAD(batchHashDataPointer)
+    $ => HASHPOS                    :MLOAD(batchHashPos)
     ; Decode deltaTimestamp / 4 bytes
     %DELTA_TIMESTAMP_NUM_BYTES => D :CALL(getChangeL2TxBytes)
     C + D => C

diff --git a/main/load-tx-rlp-utils.zkasm b/main/load-tx-rlp-utils.zkasm
@@ -1,21 +1,19 @@
 ;; get D bytes from batchL2Data
 ;@in D: number of bytes to get
 ;@in C: current data parsed pointer
+;@in E: batchHashDataPointer
+;@in HASHPOS: batchHashPos
 ;@out A: D bytes from batchL2Data at offset C
 getBatchL2DataBytes:
         $ => B                          :MLOAD(batchL2DataParsed)
         $ - B - C - D                   :F_MLOAD(batchL2DataLength), JMPN(invalidTxRLP)
-        $ => E                          :MLOAD(batchHashDataPointer)
-        $ => HASHPOS                    :MLOAD(batchHashPos)
-        $ => A                          :HASHP(E)
-        HASHPOS                         :MSTORE(batchHashPos)
-        C => HASHPOS
-        $ => E                          :MLOAD(txHashPointer), RETURN
+        $ => A                          :HASHP(E), RETURN
 
 ;; Add bytes to generate ethereum signed message
 ;; - legacy transaction: signedMessage = H_keccak(rlp(nonce, gasprice, gaslimit, to, value, data, chainId, 0, 0))
 ;; - pre EIP-155: signedMessage = H_keccak(rlp(nonce, gasprice, gaslimit, to, value, data))
-; REVIEW: is it necessary?? (first two steps)
+; @in D: number of bytes to add
+; @in C: current tx data parsed pointer
 addHashTx:
         $ - HASHPOS - D                 :F_MLOAD(txRLPLength), JMPN(invalidTxRLP)
 addHashTxBegin:
@@ -176,6 +174,9 @@ readHashBytes:
     B => E                     :JMP(@_readHashBaseTable - E)
 
 ;; Check short value is over 127. Error RLP: single byte < 0x80 are not prefixed
+; add inputs/outputs at all this file
+;@in D: length of value to check, should be 1
+;@in A: value to check
 checkShortRLP:
         D - 1                           :JMPNZ(skipCheckShort)
         A - %MIN_VALUE_SHORT            :JMPN(invalidTxRLP)
@@ -184,11 +185,13 @@ skipCheckShort:
                                         :RETURN
 
 ;; Check long list/value is over 55 bytes long. Error RLP: encoded list too short
+;@in A: length of value to check
 checkLongRLP:
         A - %MIN_BYTES_LONG             :JMPN(invalidTxRLP)
                                         :RETURN
 
 ;; Check short value is over 127. Error RLP: single byte < 0x80 are not prefixed
+;@in A: value to check
 checkShortDataRLP:
         $ => B                          :MLOAD(txCalldataLen)
         B - 1                           :JMPNZ(skipCheckShortData)
@@ -201,11 +204,8 @@ skipCheckShortData:
 VAR GLOBAL tmpVarACheckNonLeadingZeros
 VAR GLOBAL tmpVarZkPCcheckNonLeadingZeros
 checkNonLeadingZeros:
-        RR                              :MSTORE(tmpVarZkPCcheckNonLeadingZeros)
-        A                               :MSTORE(tmpVarACheckNonLeadingZeros)
-        ; set value to B and get its
-        A => B                          :CALL(getLenBytes) ; in: [B: number] out: [A: byte length of B]
+        ; set value to B and get its length
+        A => B                          :SAVE(B,C,D,E,RR,RCX), CALL(getLenBytes) ; in: [B: number] out: [A: byte length of B]
         ; check (bytes length - encoded length) are not equal
         D - A                           :JMPNZ(invalidTxRLP)
-        $ => RR                         :MLOAD(tmpVarZkPCcheckNonLeadingZeros)
-        $ => A                          :MLOAD(tmpVarACheckNonLeadingZeros), RETURN
+        $ => A                          :RESTORE, RETURN
diff --git a/main/load-tx-rlp.zkasm b/main/load-tx-rlp.zkasm
@@ -23,8 +23,6 @@ INCLUDE "l2-tx-hash.zkasm"
 ;;;;;;;;;;;;;;;;;;
 
 loadTx_rlp:
-        ; check one keccak is available to begin processing the RLP
-        %MAX_CNT_KECCAK_F - CNT_KECCAK_F - 1         :JMPN(outOfCountersKeccak)
 
         ; Pointer to next RLP bytes to read
         0 => C
@@ -251,7 +249,6 @@ readDataFinal:
         B - 1                           :JMPN(endData)
         B => D                          :CALL(addHashTxByteByByte)
                                         :CALL(addL2HashTx)
-                                        ; WARNING: check checkShortDataRLP correctness
                                         :CALL(checkShortDataRLP)
         32 - D => D                     :CALL(SHLarith); in: [A: value, D: #bytes to left shift] out: [A: shifted result]
         $ => E                          :MLOAD(globalCalldataMemoryOffset)
@@ -318,6 +315,8 @@ sizeVerificationSuccess:
 
 ;; read ecdsa 'r'
 rREADTx:
+        $ => E                          :MLOAD(batchHashDataPointer)
+        $ => HASHPOS                    :MLOAD(batchHashPos)
         32 => D                         :CALL(getBatchL2DataBytes)
         A                               :MSTORE(txR)
         C + D => C