@zkasm/zkevm-rom 0.0.1-security → 6.0.1

package/test/testPointArithBN254.zkasm

@@ -0,0 +1,270 @@
+; constants needed by executor C++
+CONST %N = 2**19
+CONST %MAX_CNT_STEPS_LIMIT = %N
+CONST %MAX_CNT_ARITH_LIMIT = %N
+CONST %MAX_CNT_BINARY_LIMIT = %N
+CONST %MAX_CNT_MEM_ALIGN_LIMIT = %N
+CONST %MAX_CNT_KECCAK_F_LIMIT = %N
+CONST %MAX_CNT_PADDING_PG_LIMIT = %N
+CONST %MAX_CNT_POSEIDON_G_LIMIT = %N
+
+INCLUDE "../main/pairings/constants.zkasm"
+
+VAR GLOBAL lastHashKId
+VAR GLOBAL lastHashPId
+
+VAR GLOBAL initial_A
+VAR GLOBAL initial_B
+VAR GLOBAL initial_C
+VAR GLOBAL initial_D
+VAR GLOBAL initial_E
+VAR GLOBAL initial_CTX
+VAR GLOBAL initial_SP
+VAR GLOBAL initial_PC
+VAR GLOBAL initial_GAS
+VAR GLOBAL initial_SR
+VAR GLOBAL initial_RR
+VAR GLOBAL initial_HASHPOS
+VAR GLOBAL initial_RCX
+
+start:
+
+        STEP => A
+        0 :ASSERT
+
+
+        A           :MSTORE(initial_A)
+        B           :MSTORE(initial_B)
+        C           :MSTORE(initial_C)
+        D           :MSTORE(initial_D)
+        E           :MSTORE(initial_E)
+        CTX         :MSTORE(initial_CTX)
+        SP          :MSTORE(initial_SP)
+        PC          :MSTORE(initial_PC)
+        GAS         :MSTORE(initial_GAS)
+        SR          :MSTORE(initial_SR)
+        RR          :MSTORE(initial_RR)
+        HASHPOS     :MSTORE(initial_HASHPOS)
+        RCX         :MSTORE(initial_RCX)
+        0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, RR, HASHPOS, RCX
+
+        -1          :MSTORE(lastHashKId)
+        -1          :MSTORE(lastHashPId)
+
+
+        ; 1] Point addition
+        ; 0 + 0 = 0
+        0n                                                                                      :MSTORE(addPointBN254_P1_x1)
+        0n                                                                                      :MSTORE(addPointBN254_P1_x2)
+        0n                                                                                      :MSTORE(addPointBN254_P1_y1)
+        0n                                                                                      :MSTORE(addPointBN254_P1_y2)
+        0n                                                                                      :MSTORE(addPointBN254_P2_x1)
+        0n                                                                                      :MSTORE(addPointBN254_P2_x2)
+        0n                                                                                      :MSTORE(addPointBN254_P2_y1)
+        0n                                                                                      :MSTORE(addPointBN254_P2_y2)
+                                                                                                :CALL(addPointBN254)
+        0n                                                                                      :MLOAD(addPointBN254_P3_x1)
+        0n                                                                                      :MLOAD(addPointBN254_P3_x2)
+        0n                                                                                      :MLOAD(addPointBN254_P3_y1)
+        0n                                                                                      :MLOAD(addPointBN254_P3_y2)
+
+        ; 0 + P2 = P2
+        0n                                                                                      :MSTORE(addPointBN254_P1_x1)
+        0n                                                                                      :MSTORE(addPointBN254_P1_x2)
+        0n                                                                                      :MSTORE(addPointBN254_P1_y1)
+        0n                                                                                      :MSTORE(addPointBN254_P1_y2)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(addPointBN254_P2_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(addPointBN254_P2_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(addPointBN254_P2_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(addPointBN254_P2_y2)
+                                                                                                :CALL(addPointBN254)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MLOAD(addPointBN254_P3_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MLOAD(addPointBN254_P3_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MLOAD(addPointBN254_P3_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MLOAD(addPointBN254_P3_y2)
+
+        ; P1 + 0 = P1
+        18029695676650738226693292988307914797657423701064905010927197838374790804409n          :MSTORE(addPointBN254_P1_x1)
+        14583779054894525174450323658765874724019480979794335525732096752006891875705n          :MSTORE(addPointBN254_P1_x2)
+        2140229616977736810657479771656733941598412651537078903776637920509952744750n           :MSTORE(addPointBN254_P1_y1)
+        11474861747383700316476719153975578001603231366361248090558603872215261634898n          :MSTORE(addPointBN254_P1_y2)
+        0n                                                                                      :MSTORE(addPointBN254_P2_x1)
+        0n                                                                                      :MSTORE(addPointBN254_P2_x2)
+        0n                                                                                      :MSTORE(addPointBN254_P2_y1)
+        0n                                                                                      :MSTORE(addPointBN254_P2_y2)
+                                                                                                :CALL(addPointBN254)
+        18029695676650738226693292988307914797657423701064905010927197838374790804409n          :MLOAD(addPointBN254_P3_x1)
+        14583779054894525174450323658765874724019480979794335525732096752006891875705n          :MLOAD(addPointBN254_P3_x2)
+        2140229616977736810657479771656733941598412651537078903776637920509952744750n           :MLOAD(addPointBN254_P3_y1)
+        11474861747383700316476719153975578001603231366361248090558603872215261634898n          :MLOAD(addPointBN254_P3_y2)
+
+        ; P1 + (-P1) = 0
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(addPointBN254_P1_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(addPointBN254_P1_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(addPointBN254_P1_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(addPointBN254_P1_y2)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(addPointBN254_P2_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(addPointBN254_P2_x2)
+        13392588948715843804641432497768002650278120570034223513918757245338268106653n          :MSTORE(addPointBN254_P2_y1)
+        17805874995975841540914202342111839520379459829704422454583296818431106115052n          :MSTORE(addPointBN254_P2_y2)
+                                                                                                :CALL(addPointBN254)
+        0n                                                                                      :MLOAD(addPointBN254_P3_x1)
+        0n                                                                                      :MLOAD(addPointBN254_P3_x2)
+        0n                                                                                      :MLOAD(addPointBN254_P3_y1)
+        0n                                                                                      :MLOAD(addPointBN254_P3_y2)
+
+        ; P1 + P1 = 2·P1
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(addPointBN254_P1_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(addPointBN254_P1_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(addPointBN254_P1_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(addPointBN254_P1_y2)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(addPointBN254_P2_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(addPointBN254_P2_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(addPointBN254_P2_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(addPointBN254_P2_y2)
+                                                                                                :CALL(addPointBN254)
+        18029695676650738226693292988307914797657423701064905010927197838374790804409n          :MLOAD(addPointBN254_P3_x1)
+        14583779054894525174450323658765874724019480979794335525732096752006891875705n          :MLOAD(addPointBN254_P3_x2)
+        2140229616977736810657479771656733941598412651537078903776637920509952744750n           :MLOAD(addPointBN254_P3_y1)
+        11474861747383700316476719153975578001603231366361248090558603872215261634898n          :MLOAD(addPointBN254_P3_y2)
+
+        ; P1 + P2 = P3
+        18029695676650738226693292988307914797657423701064905010927197838374790804409n          :MSTORE(addPointBN254_P1_x1)
+        14583779054894525174450323658765874724019480979794335525732096752006891875705n          :MSTORE(addPointBN254_P1_x2)
+        2140229616977736810657479771656733941598412651537078903776637920509952744750n           :MSTORE(addPointBN254_P1_y1)
+        11474861747383700316476719153975578001603231366361248090558603872215261634898n          :MSTORE(addPointBN254_P1_y2)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(addPointBN254_P2_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(addPointBN254_P2_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(addPointBN254_P2_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(addPointBN254_P2_y2)
+                                                                                                :CALL(addPointBN254)
+        2725019753478801796453339367788033689375851816420509565303521482350756874229n           :MLOAD(addPointBN254_P3_x1)
+        7273165102799931111715871471550377909735733521218303035754523677688038059653n           :MLOAD(addPointBN254_P3_x2)
+        2512659008974376214222774206987427162027254181373325676825515531566330959255n           :MLOAD(addPointBN254_P3_y1)
+        957874124722006818841961785324909313781880061366718538693995380805373202866n            :MLOAD(addPointBN254_P3_y2)
+
+        ; 2] Escalar multiplication
+        0n                                                                                      :MSTORE(escalarMulBN254_k)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(escalarMulBN254_P_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(escalarMulBN254_P_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(escalarMulBN254_P_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(escalarMulBN254_P_y2)
+                                                                                                :CALL(escalarMulBN254)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_x1)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_x2)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_y1)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_y2)
+
+        %BN254_SIX_TIMES_X_SQ                                                                   :MSTORE(escalarMulBN254_k)
+        0n                                                                                      :MSTORE(escalarMulBN254_P_x1)
+        0n                                                                                      :MSTORE(escalarMulBN254_P_x2)
+        0n                                                                                      :MSTORE(escalarMulBN254_P_y1)
+        0n                                                                                      :MSTORE(escalarMulBN254_P_y2)
+                                                                                                :CALL(escalarMulBN254)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_x1)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_x2)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_y1)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_y2)
+
+        %BN254_SIX_TIMES_X_SQ                                                                   :MSTORE(escalarMulBN254_k)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(escalarMulBN254_P_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(escalarMulBN254_P_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(escalarMulBN254_P_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(escalarMulBN254_P_y2)
+                                                                                                :CALL(escalarMulBN254)
+        13824868563399673693405984206252027284526901521624614945388441201916943098448n          :MLOAD(escalarMulBN254_Q_x1)
+        6070174842523651825461006324987645339257276059765462992338211551285097849152n           :MLOAD(escalarMulBN254_Q_x2)
+        4224873494559498571787136390356590572898009346319218613936276445484292886657n           :MLOAD(escalarMulBN254_Q_y1)
+        14979195929948718632567968180703131754953567972706796447883440492471033097811n          :MLOAD(escalarMulBN254_Q_y2)
+
+        %BN254_R                                                                                :MSTORE(escalarMulBN254_k)
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(escalarMulBN254_P_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(escalarMulBN254_P_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(escalarMulBN254_P_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(escalarMulBN254_P_y2)
+                                                                                                :CALL(escalarMulBN254)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_x1)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_x2)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_y1)
+        0n                                                                                      :MLOAD(escalarMulBN254_Q_y2)
+
+        ; 3] Tangent line to a point
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(lineSamePointsBN254_P_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(lineSamePointsBN254_P_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(lineSamePointsBN254_P_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(lineSamePointsBN254_P_y2)
+        1n                                                                                      :MSTORE(lineSamePointsBN254_Q_x)
+        2n                                                                                      :MSTORE(lineSamePointsBN254_Q_y)
+                                                                                                :CALL(lineSamePointsBN254)
+        5866721355212621053956121605984270769408822799517647453365718615957338215267n           :MLOAD(lineSamePointsBN254_l11_x)
+        10805765471263851218954508755716868212208493914051915959293621483915454724277n          :MLOAD(lineSamePointsBN254_l11_y)
+        441787448737107494458538247410558220237964585327985295018200621859384744906n            :MLOAD(lineSamePointsBN254_l13_x)
+        16376088161625424614405301418083801678984212103591999741784373000936238959085n          :MLOAD(lineSamePointsBN254_l13_y)
+        12094372820654450448173487244699814664976451191756576932392084702582606199137n          :MLOAD(lineSamePointsBN254_l22_x)
+        16329471503453734725328813612581742273267405310373604832422964304856480374124n          :MLOAD(lineSamePointsBN254_l22_y)
+
+        ; 4] Line passing through two different points
+        10857046999023057135944570762232829481370756359578518086990519993285655852781n          :MSTORE(lineDiffPointsBN254_P1_x1)
+        11559732032986387107991004021392285783925812861821192530917403151452391805634n          :MSTORE(lineDiffPointsBN254_P1_x2)
+        8495653923123431417604973247489272438418190587263600148770280649306958101930n           :MSTORE(lineDiffPointsBN254_P1_y1)
+        4082367875863433681332203403145435568316851327593401208105741076214120093531n           :MSTORE(lineDiffPointsBN254_P1_y2)
+        18029695676650738226693292988307914797657423701064905010927197838374790804409n          :MSTORE(lineDiffPointsBN254_P2_x1)
+        14583779054894525174450323658765874724019480979794335525732096752006891875705n          :MSTORE(lineDiffPointsBN254_P2_x2)
+        2140229616977736810657479771656733941598412651537078903776637920509952744750n           :MSTORE(lineDiffPointsBN254_P2_y1)
+        11474861747383700316476719153975578001603231366361248090558603872215261634898n          :MSTORE(lineDiffPointsBN254_P2_y2)
+        1n                                                                                      :MSTORE(lineDiffPointsBN254_Q_x)
+        2n                                                                                      :MSTORE(lineDiffPointsBN254_Q_y)
+                                                                                                :CALL(lineDiffPointsBN254)
+        14345297355255362181497444452150170632573334682972773847873355690178269903256n          :MLOAD(lineDiffPointsBN254_l12_x)
+        6048094043816276132918639274747177880187336235946285989629387201109000140142n           :MLOAD(lineDiffPointsBN254_l12_y)
+        6355424306145694606947493475832538496819777935726521244993642728797005357180n           :MLOAD(lineDiffPointsBN254_l22_x)
+        14495749000319008587101889994427132655409931118529976780236175098644084667216n          :MLOAD(lineDiffPointsBN254_l22_y)
+        4617834131706974237889373560251879390068389218389281828469153443366136187126n           :MLOAD(lineDiffPointsBN254_l23_x)
+        18535807517613687025007129469892030737201813557688282181535107728189048279364n          :MLOAD(lineDiffPointsBN254_l23_y)
+
+
+end:
+
+        $ => A           :MLOAD(initial_A)
+        $ => B           :MLOAD(initial_B)
+        $ => C           :MLOAD(initial_C)
+        $ => D           :MLOAD(initial_D)
+        $ => E           :MLOAD(initial_E)
+        $ => CTX         :MLOAD(initial_CTX)
+        $ => SP          :MLOAD(initial_SP)
+        $ => PC          :MLOAD(initial_PC)
+        $ => GAS         :MLOAD(initial_GAS)
+        $ => SR          :MLOAD(initial_SR)
+        $ => RR          :MLOAD(initial_RR)
+        $ => HASHPOS     :MLOAD(initial_HASHPOS)
+        $ => RCX         :MLOAD(initial_RCX)
+
+; label finalizeExecution needed by executor C++
+finalizeExecution:
+        ${beforeLast()}  : JMPN(finalizeExecution)
+
+                         : JMP(start)
+opINVALID:
+; label checkAndSaveFrom needed by executor C++
+checkAndSaveFrom:
+                         :JMP(opINVALID)
+
+
+INCLUDE "../main/pairings/FRBN254/reduceFrBN254.zkasm"
+
+INCLUDE "../main/pairings/FPBN254/reduceFpBN254.zkasm"
+INCLUDE "../main/pairings/FPBN254/addFpBN254.zkasm"
+INCLUDE "../main/pairings/FPBN254/subFpBN254.zkasm"
+INCLUDE "../main/pairings/FPBN254/mulFpBN254.zkasm"
+
+INCLUDE "../main/pairings/FP2BN254/addFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/escalarMulFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/mulFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/invFp2BN254.zkasm"
+
+INCLUDE "../main/pairings/BN254/addPointBN254.zkasm"
+INCLUDE "../main/pairings/BN254/escalarMulBN254.zkasm"
+INCLUDE "../main/pairings/BN254/lineSamePointsBN254.zkasm"
+INCLUDE "../main/pairings/BN254/lineDiffPointsBN254.zkasm"

package/test/testSHA256.zkasm

@@ -0,0 +1,27 @@
+
+start:
+        STEP => A
+        0                                   :ASSERT ; Ensure it is the beginning of the execution
+        1 => C          :MSTORE(txCalldataLen)
+        1               :MSTORE(originCTX)
+        1               :MSTORE(calldataCTX)
+        1 => CTX
+        0 => E
+        0xFF00000000000000000000000000000000000000000000000000000000000000n            :MSTORE(MEM:E)
+
+        2               :MSTORE(currentCTX)
+        2 => CTX
+
+        $ => E          :MLOAD(sha256DataId)
+        0 => E          :MSTORE(sha256DataOffset)
+        0 => HASHPOS
+        RR              :MSTORE(tmpZkSHA256)
+                        :CALL(SHA256data)
+        $ => E          :MLOAD(sha256Hash)
+
+        0xa8100ae6aa1940d0b663bb31cd466142ebbdbd5187131b92d93818987832eb89n => A
+        E               :ASSERT
+
+                        :JMP(finalizeExecution)
+
+INCLUDE "../main/main.zkasm"

package/test/touched-assert.zkasm

@@ -0,0 +1,59 @@
+start:
+    ; set root state & init root touched
+    0xABCDEFn => SR
+    :CALL(initTouchedTree)
+
+    ; check touched root is 0
+    $ => A          :MLOAD(touchedSR)
+    0               :ASSERT
+
+    ; set address
+    0x0123456789012345678901234567890123456789n => A
+    ; if the address is cold [0 if warm, 1 if cold]
+    ; cold address
+                    :CALL(isColdAddress)
+    D => A
+    1               :ASSERT
+
+    ; warm address
+    0x0123456789012345678901234567890123456789n => A
+                    :CALL(isColdAddress)
+    D => A
+    0               :ASSERT
+
+    ; set address & storage position
+    0x0123456789012345678901234567890123456789n => A
+    0xAn => C
+    ; if the storage slot is cold [0 if warm, 1 if cold]
+    ; cold slot and mark it as warm
+                    :CALL(isColdSlot)
+    1               :ASSERT
+
+    ; warm slot
+    0x0123456789012345678901234567890123456789n => A
+    0xAn => C
+                    :CALL(isColdSlot)
+    0               :ASSERT
+
+    ; warm precompiled
+    0x3n => A
+                    :CALL(isColdAddress)
+    D => A
+    0               :ASSERT
+
+    ; cold zero address
+    0x0n => A
+                    :CALL(isColdAddress)
+    D => A
+    1               :ASSERT
+
+    ; warm zero address
+    0x0n => A
+                    :CALL(isColdAddress)
+    D => A
+    0               :ASSERT
+
+    0 => A,B,C,D,E,CTX, SP, PC, GAS,  SR, HASHPOS, RR ; Set all registers to 0
+                                                                        :JMP(finalizeExecution)
+
+INCLUDE "../main/main.zkasm"

package/test/utils-expAD.zkasm

@@ -0,0 +1,48 @@
+VAR GLOBAL test
+start:
+    4 => A
+    2 => D
+                      :CALL(expAD)
+    A                 :MSTORE(test)
+    16 => A
+    $                 :MLOAD(test),ASSERT
+
+    16 => A
+    8 => D
+                      :CALL(expAD)
+    A                 :MSTORE(test)
+    0x100000000n => A
+    $                 :MLOAD(test),ASSERT
+
+    2 => A
+    256 => D
+                      :CALL(expAD)
+    A                 :MSTORE(test)
+    0 => A
+    $                 :MLOAD(test),ASSERT
+
+    2 => A
+    255 => D
+                      :CALL(expAD)
+    A                 :MSTORE(test)
+    0x8000000000000000000000000000000000000000000000000000000000000000n => A
+    $                 :MLOAD(test),ASSERT
+
+    2 => A
+    255 => D
+                      :CALL(expAD)
+    A                 :MSTORE(test)
+    0x8000000000000000000000000000000000000000000000000000000000000000n => A
+    $                 :MLOAD(test),ASSERT
+
+    3 => A
+    0x8000n => D
+                      :CALL(expAD)
+    A                 :MSTORE(test)
+    0xf2eda75a1e9624437a4f18c1316372866f14b6bf3f7ff7441996f65b747a0001n => A
+    $                 :MLOAD(test),ASSERT
+
+    0 => A,B,C,D,E,CTX, SP, PC, GAS,  SR, HASHPOS, RR ; Set all registers to 0
+                                                                        :JMP(finalizeExecution)
+
+INCLUDE "../main/main.zkasm"

package/test/utils-getLenBytes.zkasm

@@ -0,0 +1,36 @@
+VAR GLOBAL test
+start:
+    0x66 => B
+                      :CALL(getLenBytes)
+    A                 :MSTORE(test)
+    1 => A
+    $                 :MLOAD(test),ASSERT
+
+    0x6666 => B
+                      :CALL(getLenBytes)
+    A                 :MSTORE(test)
+    2 => A
+    $                 :MLOAD(test),ASSERT
+
+    0x666666 => B
+                      :CALL(getLenBytes)
+    A                 :MSTORE(test)
+    3 => A
+    $                 :MLOAD(test),ASSERT
+
+    0x66666666 => B
+                      :CALL(getLenBytes)
+    A                 :MSTORE(test)
+    4 => A
+    $                 :MLOAD(test),ASSERT
+
+    0x666666666666n => B
+                      :CALL(getLenBytes)
+    A                 :MSTORE(test)
+    6 => A
+    $                 :MLOAD(test),ASSERT
+
+    0 => A,B,C,D,E,CTX, SP, PC, GAS,  SR, HASHPOS, RR ; Set all registers to 0
+                                                                        :JMP(finalizeExecution)
+
+INCLUDE "../main/main.zkasm"

package/tools/audit-tools/registry-op-checker.js

@@ -0,0 +1,71 @@
+/* eslint-disable no-use-before-define */
+/* eslint-disable no-continue */
+/* eslint-disable no-restricted-syntax */
+const rom = require('../../build/rom.json');
+const argv = require('yargs');
+
+/**
+ * This script checks if there are new registry operations in the rom build. It compares it with the rom input selected
+ * The result is logged in the console.
+ */
+async function main() {
+    // load rom input
+    let input = {};
+
+    if (argv._.length === 0) {
+        console.log('You need to specify an input file');
+        process.exit(1);
+    } else if (argv._.length === 1) {
+        console.log('path input: ', argv._[0]);
+        input = JSON.parse(await fs.promises.readFile(argv._[0], 'utf8'));
+    } else {
+        console.log('Only one input file at a time is permitted');
+        process.exit(1);
+    }
+
+    // Find free inputs at rom's build
+    const regOpFound = getRegOpFromBuild(rom.program);
+    const prevRegOpFound = getRegOpFromBuild(input.program);
+    const diffFound = [];
+    // Compare found registers with previous rom
+    for (const op of regOpFound) {
+        const found = prevRegOpFound.find((item) => item.key === op.key);
+        if (!found) {
+            diffFound.push(op);
+        }
+    }
+    // Log warnings, f.e. a free input with more than one occurrence
+    for (const op of diffFound) {
+        console.log(`WARNING: Found new registry operation at ${op.fileName}:${op.line}->${op.lineStr}`);
+    }
+    console.log('FINISHED');
+}
+
+function getRegOpFromBuild(build) {
+    const regOpFound = [];
+    // Check all steps
+    for (const step of build) {
+        let count = 0;
+        // Get steps where we operate with registers
+        for (const key of Object.keys(step)) {
+            if (key === 'inA' || key === 'inB' || key === 'inC' || key === 'inD' || key === 'inE' || key === 'inF') {
+                if (step.lineStr.includes('*')) {
+                    count += 1;
+                }
+                if (Object.keys(step).includes('CONST')) {
+                    count += 1;
+                }
+                count += 1;
+            }
+        }
+        // Save steps with more than one register operation
+        if (count > 1) {
+            // Remove spaces from string
+            step.key = `${step.lineStr.replace(/\s/g, '')}-${step.fileName}`;
+            regOpFound.push(step);
+        }
+    }
+
+    return regOpFound;
+}
+main();

package/tools/get-not-used-labels.js

@@ -0,0 +1,31 @@
+const fs = require('fs');
+const rom = require('../build/rom.json');
+
+async function main() {
+    const labelsAddr = Object.values(rom.labels);
+    const { program } = rom;
+    for (let i = 0; i < program.length; i++) {
+        const { jmpAddr, elseAddr } = program[i];
+        if (jmpAddr) {
+            const indexJmp = labelsAddr.indexOf(jmpAddr);
+            if (indexJmp !== -1) {
+                labelsAddr.splice(indexJmp, 1);
+            }
+        }
+        if (elseAddr) {
+            const indexElse = labelsAddr.indexOf(elseAddr);
+            if (indexElse !== -1) {
+                labelsAddr.splice(indexElse, 1);
+            }
+        }
+    }
+    const filteredLabels = [];
+    for (let j = 0; j < labelsAddr.length; j++) {
+        filteredLabels.push(Object.keys(rom.labels).find((key) => rom.labels[key] === labelsAddr[j]));
+    }
+    console.log(filteredLabels);
+    await fs.writeFileSync('no-used-labels.json', JSON.stringify(filteredLabels, null, 2));
+    // await fs.writeFileSync('no-used-labelsAddr-Addr.json', JSON.stringify(labelsAddr, null, 2));
+}
+
+main();

package/tools/helpers/helpers.js

@@ -0,0 +1,47 @@
+/* eslint-disable import/no-extraneous-dependencies */
+const path = require('path');
+const fs = require('fs');
+const { compile, newCommitPolsArray } = require('pilcom');
+
+const buildPoseidon = require('@0xpolygonhermez/zkevm-commonjs').getPoseidon;
+
+// Global paths to build Main PIL to fill polynomials in tests
+const pathMainPil = path.join(__dirname, '../../node_modules/@0xpolygonhermez/zkevm-proverjs/pil/main.pil');
+const fileCachePil = path.join(__dirname, '../../node_modules/@0xpolygonhermez/zkevm-proverjs/cache-main-pil.json');
+
+async function compilePil() {
+    if (!fs.existsSync(fileCachePil)) {
+        const poseidon = await buildPoseidon();
+        const { F } = poseidon;
+        const pilConfig = {
+            defines: { N: 4096 },
+            namespaces: ['Main', 'Global'],
+            disableUnusedError: true,
+        };
+        const p = await compile(F, pathMainPil, null, pilConfig);
+        fs.writeFileSync(fileCachePil, `${JSON.stringify(p, null, 1)}\n`, 'utf8');
+    }
+
+    const pil = JSON.parse(fs.readFileSync(fileCachePil));
+
+    return newCommitPolsArray(pil);
+}
+
+// Get all zkasm test files
+function getTestFiles(pathZkasm) {
+    // check if path provided is a file or a directory
+    const stats = fs.statSync(pathZkasm);
+
+    if (!stats.isDirectory()) {
+        return [pathZkasm];
+    }
+
+    const filesNames = fs.readdirSync(pathZkasm).filter((name) => name.endsWith('.zkasm'));
+
+    return filesNames.map((fileName) => path.join(pathZkasm, fileName));
+}
+
+module.exports = {
+    compilePil,
+    getTestFiles,
+};

package/tools/modexp-utils/README.md

@@ -0,0 +1,5 @@
+## Notes
+
+The file `modexp-test-gen.js` automatically geneates a zkasm file, executes it some specified number of times and outputs a json file containing the record of the counters. At this moment, it is hardcoded to work for the operation `array_div(array_mul(a, b),c)`, where `a` and `b` was chosen to be $2^{256} - 3$, while `c` was chosen to be $2^{256} - 1$ to achieve the maximum complexity in the operation.
+
+The `modexp-test-init.sage` takes the counters in the json file and, for each different counter, interpolates the multivariate polynomial (having as evaluation points the lenght of the inputs in the previous file) that evaluates to the counters.