zkevm-rom 0.0.1-security → 6.0.1

package/test/testFp2ArithBN254.zkasm

@@ -0,0 +1,185 @@
+; 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
+
+CONSTL %BN254_P = 21888242871839275222246405745257275088696311157297823662689037894645226208583n
+
+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] Addition
+        1n => A
+        2n => B
+        3n => C
+        4n => D
+                                                                                        :CALL(addFp2BN254)
+        E => A
+        4n                                                                              :ASSERT
+        C => A
+        6n                                                                              :ASSERT
+
+        ; 2] Subtraction
+        1n => A
+        4n => B
+        3n => C
+        2n => D
+                                                                                        :CALL(subFp2BN254)
+        E => A
+        21888242871839275222246405745257275088696311157297823662689037894645226208581n  :ASSERT
+        C => A
+        2n                                                                              :ASSERT
+
+        ; 3] Inversion
+        0n => A
+        0n => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        0                                                                               :ASSERT
+        D => A
+        0                                                                               :ASSERT
+
+        2n => A
+        0n => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        10944121435919637611123202872628637544348155578648911831344518947322613104292n  :ASSERT
+        D => A
+        0                                                                               :ASSERT
+
+        0n => A
+        2n => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        0                                                                               :ASSERT
+        D => A
+        10944121435919637611123202872628637544348155578648911831344518947322613104291n  :ASSERT
+
+        1n => A
+        2n => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        13132945723103565133347843447154365053217786694378694197613422736787135725150n  :ASSERT
+        D => A
+        17510594297471420177797124596205820070957048925838258930151230315716180966866n  :ASSERT
+
+        1n => A
+        4n => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        5150174793373947111116801351825241197340308507599487920632714798740053225549n   :ASSERT
+        D => A
+        1287543698343486777779200337956310299335077126899871980158178699685013306387n   :ASSERT
+
+        %BN254_P => A
+        0n => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        0                                                                               :ASSERT
+        D => A
+        0                                                                               :ASSERT
+
+        0n => A
+        %BN254_P => B
+                                                                                        :CALL(invFp2BN254)
+        C => A
+        0                                                                               :ASSERT
+        D => A
+        0                                                                               :ASSERT
+
+        ; 4] Squaring
+        1n => A
+        4n => B
+                                                                                        :CALL(squareFp2BN254)
+        E => A
+        21888242871839275222246405745257275088696311157297823662689037894645226208568n  :ASSERT
+        C => A
+        8n                                                                              :ASSERT
+
+        ; 5] Escalar Multiplication
+        3n => A
+        6n => C
+        4n => D
+                                                                                        :CALL(escalarMulFp2BN254)
+        E => A
+        18n                                                                             :ASSERT
+        C => A
+        12n                                                                             :ASSERT
+
+
+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/FPBN254/reduceFpBN254.zkasm"
+
+INCLUDE "../main/pairings/FP2BN254/addFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/invFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/escalarMulFp2BN254.zkasm"

package/test/testFp4ArithBN254.zkasm

@@ -0,0 +1,128 @@
+; 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
+
+CONSTL %BN254_P = 21888242871839275222246405745257275088696311157297823662689037894645226208583n
+
+VAR GLOBAL test
+
+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] Squaring
+        10n                                                                                     :MSTORE(squareFp4BN254_a1_x)
+        2n                                                                                      :MSTORE(squareFp4BN254_a1_y)
+        5n                                                                                      :MSTORE(squareFp4BN254_a2_x)
+        13n                                                                                     :MSTORE(squareFp4BN254_a2_y)
+                                                                                                :CALL(squareFp4BN254)
+        21888242871839275222246405745257275088696311157297823662689037894645226207253n          :MLOAD(squareFp4BN254_c1_x)
+        1066n                                                                                   :MLOAD(squareFp4BN254_c1_y)
+        48n                                                                                     :MLOAD(squareFp4BN254_c2_x)
+        280n                                                                                    :MLOAD(squareFp4BN254_c2_y)
+
+        11706129207700151979042100288958216850158405562525260961392090752318820540155n          :MSTORE(squareFp4BN254_a1_x)
+        13581688218243497693010389261307054804658398598414171976249347555990073884710n          :MSTORE(squareFp4BN254_a1_y)
+        2650685350723162073065693030364953757603657135232283880472468071129041178893n           :MSTORE(squareFp4BN254_a2_x)
+        1415534485628002925645978830263295545820817030311522411523977773123510463790n           :MSTORE(squareFp4BN254_a2_y)
+                                                                                                :CALL(squareFp4BN254)
+        15642230407184709854191402253941510745542675973646512616778035989040585383674n          :MLOAD(squareFp4BN254_c1_x)
+        10571263136441780241186417424383296989551244467442137323566769601209939419494n          :MLOAD(squareFp4BN254_c1_y)
+        6170062994267544397251278503016502296650869661919757709986684938219961904903n           :MLOAD(squareFp4BN254_c2_x)
+        12649805430863841208195335781539094665986469361747095927044787835518047599036n          :MLOAD(squareFp4BN254_c2_y)
+
+        12879671296228341798957541889042068293248913689212425431224938470232546313254n          :MSTORE(squareFp4BN254_a1_x)
+        3326450555199805883965490851796414254830144151329718176108864533289444035270n           :MSTORE(squareFp4BN254_a1_y)
+        865661210072615391091663782916883487315505694294592934212781713437127182959n            :MSTORE(squareFp4BN254_a2_x)
+        5364456672142552956341240304849409513108281743490635067211876654163672173225n           :MSTORE(squareFp4BN254_a2_y)
+                                                                                                :CALL(squareFp4BN254)
+        16581870619415451126551726594735526085487022283882461718257601048476775174962n          :MLOAD(squareFp4BN254_c1_x)
+        17425425191459276292844278407733970229852884109311293307835712217611024800631n          :MLOAD(squareFp4BN254_c1_y)
+        8575705441614264531578658232489896441903287755517533490443707322133595575350n           :MLOAD(squareFp4BN254_c2_x)
+        1420704269848014824822507372800732975177532865526459851528139384475759777251n           :MLOAD(squareFp4BN254_c2_y)
+
+        20034916004680903865371475524544157810838259782601065778963371780592670397755n          :MSTORE(squareFp4BN254_a1_x)
+        18196221800554323016660057972017335112712278872243164622794778048181747904770n          :MSTORE(squareFp4BN254_a1_y)
+        11182696274116283149832659131689911508224992839995672842130064887471806829782n          :MSTORE(squareFp4BN254_a2_x)
+        13862086431460254638576437312497952755826436162922426416336796129991391475329n          :MSTORE(squareFp4BN254_a2_y)
+                                                                                                :CALL(squareFp4BN254)
+        21619634434169277903921567747458615807087054226321025796441846170083311843089n          :MLOAD(squareFp4BN254_c1_x)
+        11114801799445547818360302932473536671091998531326283968259951405183921806320n          :MLOAD(squareFp4BN254_c1_y)
+        13146343736154811194795223124891192023354979304499035796722737687445144937601n          :MLOAD(squareFp4BN254_c2_x)
+        4599958258989867272310306821691486925189277480266178822728743054647870795549n           :MLOAD(squareFp4BN254_c2_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/FP2BN254/addFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/mulFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
+
+INCLUDE "../main/pairings/FP4BN254/squareFp4BN254.zkasm"

package/test/testFp6ArithBN254.zkasm

@@ -0,0 +1,260 @@
+; 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
+
+CONSTL %BN254_P = 21888242871839275222246405745257275088696311157297823662689037894645226208583n
+
+VAR GLOBAL test
+
+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] Addition
+        10n                                                                             :MSTORE(addFp6BN254_a1_x)
+        2n                                                                              :MSTORE(addFp6BN254_a1_y)
+        5n                                                                              :MSTORE(addFp6BN254_a2_x)
+        13n                                                                             :MSTORE(addFp6BN254_a2_y)
+        7n                                                                              :MSTORE(addFp6BN254_a3_x)
+        5n                                                                              :MSTORE(addFp6BN254_a3_y)
+        9n                                                                              :MSTORE(addFp6BN254_b1_x)
+        1n                                                                              :MSTORE(addFp6BN254_b1_y)
+        1n                                                                              :MSTORE(addFp6BN254_b2_x)
+        2n                                                                              :MSTORE(addFp6BN254_b2_y)
+        14n                                                                             :MSTORE(addFp6BN254_b3_x)
+        3n                                                                              :MSTORE(addFp6BN254_b3_y)
+                                                                                        :CALL(addFp6BN254)
+        19n                                                                             :MLOAD(addFp6BN254_c1_x)
+        3n                                                                              :MLOAD(addFp6BN254_c1_y)
+        6n                                                                              :MLOAD(addFp6BN254_c2_x)
+        15n                                                                             :MLOAD(addFp6BN254_c2_y)
+        21n                                                                             :MLOAD(addFp6BN254_c3_x)
+        8n                                                                              :MLOAD(addFp6BN254_c3_y)
+
+        ; 2] Subtraction
+        10n                                                                             :MSTORE(subFp6BN254_a1_x)
+        2n                                                                              :MSTORE(subFp6BN254_a1_y)
+        5n                                                                              :MSTORE(subFp6BN254_a2_x)
+        13n                                                                             :MSTORE(subFp6BN254_a2_y)
+        7n                                                                              :MSTORE(subFp6BN254_a3_x)
+        5n                                                                              :MSTORE(subFp6BN254_a3_y)
+        9n                                                                              :MSTORE(subFp6BN254_b1_x)
+        1n                                                                              :MSTORE(subFp6BN254_b1_y)
+        1n                                                                              :MSTORE(subFp6BN254_b2_x)
+        2n                                                                              :MSTORE(subFp6BN254_b2_y)
+        14n                                                                             :MSTORE(subFp6BN254_b3_x)
+        3n                                                                              :MSTORE(subFp6BN254_b3_y)
+                                                                                        :CALL(subFp6BN254)
+        1n                                                                              :MLOAD(subFp6BN254_c1_x)
+        1n                                                                              :MLOAD(subFp6BN254_c1_y)
+        4n                                                                              :MLOAD(subFp6BN254_c2_x)
+        11n                                                                             :MLOAD(subFp6BN254_c2_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226208576n  :MLOAD(subFp6BN254_c3_x)
+        2n                                                                              :MLOAD(subFp6BN254_c3_y)
+
+        ; 3] Multiplication
+        10n                                                                             :MSTORE(mulFp6BN254_a1_x)
+        2n                                                                              :MSTORE(mulFp6BN254_a1_y)
+        5n                                                                              :MSTORE(mulFp6BN254_a2_x)
+        13n                                                                             :MSTORE(mulFp6BN254_a2_y)
+        7n                                                                              :MSTORE(mulFp6BN254_a3_x)
+        5n                                                                              :MSTORE(mulFp6BN254_a3_y)
+        9n                                                                              :MSTORE(mulFp6BN254_b1_x)
+        1n                                                                              :MSTORE(mulFp6BN254_b1_y)
+        1n                                                                              :MSTORE(mulFp6BN254_b2_x)
+        2n                                                                              :MSTORE(mulFp6BN254_b2_y)
+        14n                                                                             :MSTORE(mulFp6BN254_b3_x)
+        2n                                                                              :MSTORE(mulFp6BN254_b3_y)
+                                                                                        :CALL(mulFp6BN254)
+        246n                                                                            :MLOAD(mulFp6BN254_c1_x)
+        1968n                                                                           :MLOAD(mulFp6BN254_c1_y)
+        746n                                                                            :MLOAD(mulFp6BN254_c2_x)
+        988n                                                                            :MLOAD(mulFp6BN254_c2_y)
+        173n                                                                            :MLOAD(mulFp6BN254_c3_x)
+        123n                                                                            :MLOAD(mulFp6BN254_c3_y)
+
+        ; 4] Square
+        10n                                                                             :MSTORE(squareFp6BN254_a1_x)
+        2n                                                                              :MSTORE(squareFp6BN254_a1_y)
+        5n                                                                              :MSTORE(squareFp6BN254_a2_x)
+        13n                                                                             :MSTORE(squareFp6BN254_a2_y)
+        7n                                                                              :MSTORE(squareFp6BN254_a3_x)
+        5n                                                                              :MSTORE(squareFp6BN254_a3_y)
+                                                                                        :CALL(squareFp6BN254)
+        21888242871839275222246405745257275088696311157297823662689037894645226207907n  :MLOAD(squareFp6BN254_c1_x)
+        2068n                                                                           :MLOAD(squareFp6BN254_c1_y)
+        194n                                                                            :MLOAD(squareFp6BN254_c2_x)
+        934n                                                                            :MLOAD(squareFp6BN254_c2_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226208559n  :MLOAD(squareFp6BN254_c3_x)
+        258n                                                                            :MLOAD(squareFp6BN254_c3_y)
+
+        ; 5] Inverse
+        0n                                                                              :MSTORE(inverseFp6BN254_a1_x)
+        0n                                                                              :MSTORE(inverseFp6BN254_a1_y)
+        0n                                                                              :MSTORE(inverseFp6BN254_a2_x)
+        0n                                                                              :MSTORE(inverseFp6BN254_a2_y)
+        0n                                                                              :MSTORE(inverseFp6BN254_a3_x)
+        0n                                                                              :MSTORE(inverseFp6BN254_a3_y)
+                                                                                        :CALL(inverseFp6BN254)
+        0n                                                                              :MLOAD(inverseFp6BN254_c1_x)
+        0n                                                                              :MLOAD(inverseFp6BN254_c1_y)
+        0n                                                                              :MLOAD(inverseFp6BN254_c2_x)
+        0n                                                                              :MLOAD(inverseFp6BN254_c2_y)
+        0n                                                                              :MLOAD(inverseFp6BN254_c3_x)
+        0n                                                                              :MLOAD(inverseFp6BN254_c3_y)
+
+        10n                                                                             :MSTORE(inverseFp6BN254_a1_x)
+        2n                                                                              :MSTORE(inverseFp6BN254_a1_y)
+        5n                                                                              :MSTORE(inverseFp6BN254_a2_x)
+        13n                                                                             :MSTORE(inverseFp6BN254_a2_y)
+        7n                                                                              :MSTORE(inverseFp6BN254_a3_x)
+        5n                                                                              :MSTORE(inverseFp6BN254_a3_y)
+                                                                                        :CALL(inverseFp6BN254)
+        5783650677754332851980206846879135451516056759867773021970105892178521520613n   :MLOAD(inverseFp6BN254_c1_x)
+        18013759458838322471361728283975517938597408816356047328991338914305007310576n  :MLOAD(inverseFp6BN254_c1_y)
+        18110874882414180653560035658613063208901925857749522062575191314371766555250n  :MLOAD(inverseFp6BN254_c2_x)
+        17807280852945820517699726487578389146070561376290295053174148308721316478672n  :MLOAD(inverseFp6BN254_c2_y)
+        14149695447230733832672344969363233706238986964811686150151922078523920094032n  :MLOAD(inverseFp6BN254_c3_x)
+        8319081930844559069109603696113388970848243877139140810016204850690606105497n   :MLOAD(inverseFp6BN254_c3_y)
+
+        ; 6] Sparse Multiplication A
+        10n                                                                             :MSTORE(sparseMulAFp6BN254_a1_x)
+        2n                                                                              :MSTORE(sparseMulAFp6BN254_a1_y)
+        5n                                                                              :MSTORE(sparseMulAFp6BN254_a2_x)
+        13n                                                                             :MSTORE(sparseMulAFp6BN254_a2_y)
+        7n                                                                              :MSTORE(sparseMulAFp6BN254_a3_x)
+        5n                                                                              :MSTORE(sparseMulAFp6BN254_a3_y)
+        5n                                                                              :MSTORE(sparseMulAFp6BN254_b2_x)
+        78n                                                                             :MSTORE(sparseMulAFp6BN254_b2_y)
+                                                                                        :CALL(sparseMulAFp6BN254)
+        21888242871839275222246405745257275088696311157297823662689037894645226204817n  :MLOAD(sparseMulAFp6BN254_c1_x)
+        4784n                                                                           :MLOAD(sparseMulAFp6BN254_c1_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226208477n  :MLOAD(sparseMulAFp6BN254_c2_x)
+        790n                                                                            :MLOAD(sparseMulAFp6BN254_c2_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226207594n  :MLOAD(sparseMulAFp6BN254_c3_x)
+        455n                                                                            :MLOAD(sparseMulAFp6BN254_c3_y)
+
+        ; 7] Sparse Multiplication B
+        10n                                                                             :MSTORE(sparseMulBFp6BN254_a1_x)
+        2n                                                                              :MSTORE(sparseMulBFp6BN254_a1_y)
+        5n                                                                              :MSTORE(sparseMulBFp6BN254_a2_x)
+        13n                                                                             :MSTORE(sparseMulBFp6BN254_a2_y)
+        7n                                                                              :MSTORE(sparseMulBFp6BN254_a3_x)
+        5n                                                                              :MSTORE(sparseMulBFp6BN254_a3_y)
+        3n                                                                              :MSTORE(sparseMulBFp6BN254_b2_x)
+        100n                                                                            :MSTORE(sparseMulBFp6BN254_b2_y)
+        17n                                                                             :MSTORE(sparseMulBFp6BN254_b3_x)
+        8n                                                                              :MSTORE(sparseMulBFp6BN254_b3_y)
+                                                                                        :CALL(sparseMulBFp6BN254)
+        21888242871839275222246405745257275088696311157297823662689037894645226203125n  :MLOAD(sparseMulBFp6BN254_c1_x)
+        8286n                                                                           :MLOAD(sparseMulBFp6BN254_c1_y)
+        400n                                                                            :MLOAD(sparseMulBFp6BN254_c2_x)
+        2354n                                                                           :MLOAD(sparseMulBFp6BN254_c2_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226207452n  :MLOAD(sparseMulBFp6BN254_c3_x)
+        653n                                                                            :MLOAD(sparseMulBFp6BN254_c3_y)
+
+        ; 8] Sparse Multiplication C
+        10n                                                                             :MSTORE(sparseMulCFp6BN254_a1_x)
+        2n                                                                              :MSTORE(sparseMulCFp6BN254_a1_y)
+        5n                                                                              :MSTORE(sparseMulCFp6BN254_a2_x)
+        13n                                                                             :MSTORE(sparseMulCFp6BN254_a2_y)
+        7n                                                                              :MSTORE(sparseMulCFp6BN254_a3_x)
+        5n                                                                              :MSTORE(sparseMulCFp6BN254_a3_y)
+        3n                                                                              :MSTORE(sparseMulCFp6BN254_b1_x)
+        100n                                                                            :MSTORE(sparseMulCFp6BN254_b1_y)
+        17n                                                                             :MSTORE(sparseMulCFp6BN254_b3_x)
+        8n                                                                              :MSTORE(sparseMulCFp6BN254_b3_y)
+                                                                                        :CALL(sparseMulCFp6BN254)
+        21888242871839275222246405745257275088696311157297823662689037894645226207981n  :MLOAD(sparseMulCFp6BN254_c1_x)
+        3336n                                                                           :MLOAD(sparseMulCFp6BN254_c1_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226207868n  :MLOAD(sparseMulCFp6BN254_c2_x)
+        1887n                                                                           :MLOAD(sparseMulCFp6BN254_c2_y)
+        21888242871839275222246405745257275088696311157297823662689037894645226208258n  :MLOAD(sparseMulCFp6BN254_c3_x)
+        829n                                                                            :MLOAD(sparseMulCFp6BN254_c3_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/FPBN254/reduceFpBN254.zkasm"
+
+INCLUDE "../main/pairings/FP2BN254/addFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/mulFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/invFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
+INCLUDE "../main/pairings/FP2BN254/escalarMulFp2BN254.zkasm"
+
+INCLUDE "../main/pairings/FP6BN254/addFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/subFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/mulFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/squareFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/inverseFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/sparseMulAFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/sparseMulBFp6BN254.zkasm"
+INCLUDE "../main/pairings/FP6BN254/sparseMulCFp6BN254.zkasm"