@zkasm/zkevm-rom 0.0.1-security → 6.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Potentially problematic release.

This version of @zkasm/zkevm-rom might be problematic. Click here for more details.

Files changed (232) hide show
  1. package/.eslintrc.js +33 -0
  2. package/.github/CODEOWNERS +14 -0
  3. package/.github/ISSUE_TEMPLATE/bug.yml +38 -0
  4. package/.github/ISSUE_TEMPLATE/feature.yml +26 -0
  5. package/.github/ISSUE_TEMPLATE/question.yml +26 -0
  6. package/.github/workflows/main.yaml +40 -0
  7. package/LICENSE +636 -0
  8. package/README.md +23 -5
  9. package/audits/Hexens_Polygon_zkEVM_PUBLIC_27.02.23.pdf +0 -0
  10. package/audits/Polygon-zkEVM-Public-v1.1-verichains-19-03-2024.pdf +0 -0
  11. package/audits/zkEVM-ROM-upgrade-1-Spearbit-30-May.pdf +0 -0
  12. package/audits/zkEVM-ROM-upgrade-2-Spearbit-21-August.pdf +0 -0
  13. package/audits/zkEVM-engagement-1-Spearbit-27-March.pdf +0 -0
  14. package/audits/zkEVM-engagement-2-Spearbit-27-March.pdf +0 -0
  15. package/audits/zkEVM-engagement-3-Spearbit-6-April.pdf +0 -0
  16. package/counters/README.md +45 -0
  17. package/counters/counters-executor.js +80 -0
  18. package/counters/countersConstants.zkasm +370 -0
  19. package/counters/endIncludes.zkasm +18 -0
  20. package/counters/initIncludes.zkasm +2 -0
  21. package/counters/tests/MLOAD32.zkasm +27 -0
  22. package/counters/tests/MLOADX.zkasm +30 -0
  23. package/counters/tests/MSTORE32.zkasm +32 -0
  24. package/counters/tests/MSTOREX.zkasm +36 -0
  25. package/counters/tests/SHLarith.zkasm +28 -0
  26. package/counters/tests/SHLarithBit.zkasm +28 -0
  27. package/counters/tests/SHRarith.zkasm +28 -0
  28. package/counters/tests/SHRarithBit.zkasm +28 -0
  29. package/counters/tests/abs.zkasm +29 -0
  30. package/counters/tests/addBatchHashByteByByte.zkasm +31 -0
  31. package/counters/tests/computeGasSendCall.zkasm +30 -0
  32. package/counters/tests/divArith.zkasm +27 -0
  33. package/counters/tests/expAD.zkasm +30 -0
  34. package/counters/tests/getLenBits.zkasm +30 -0
  35. package/counters/tests/getLenBytes.zkasm +32 -0
  36. package/counters/tests/isEmptyAccount.zkasm +30 -0
  37. package/counters/tests/mulARITH.zkasm +28 -0
  38. package/counters/tests/offsetUtil.zkasm +29 -0
  39. package/counters/tests/opADDMOD.zkasm +28 -0
  40. package/counters/tests/opAdd.zkasm +27 -0
  41. package/counters/tests/opBLOCKHASH.zkasm +28 -0
  42. package/counters/tests/opCALL.zkasm +41 -0
  43. package/counters/tests/opCALLCODE.zkasm +41 -0
  44. package/counters/tests/opCALLDATACOPY.zkasm +28 -0
  45. package/counters/tests/opCALLDATALOAD.zkasm +27 -0
  46. package/counters/tests/opCODECOPY.zkasm +28 -0
  47. package/counters/tests/opCREATE.zkasm +35 -0
  48. package/counters/tests/opCREATE2.zkasm +35 -0
  49. package/counters/tests/opDELEGATECALL.zkasm +35 -0
  50. package/counters/tests/opDIV.zkasm +27 -0
  51. package/counters/tests/opEXP.zkasm +29 -0
  52. package/counters/tests/opEXTCODECOPY.zkasm +29 -0
  53. package/counters/tests/opMOD.zkasm +27 -0
  54. package/counters/tests/opMUL.zkasm +27 -0
  55. package/counters/tests/opMULMOD.zkasm +28 -0
  56. package/counters/tests/opRETURN.zkasm +32 -0
  57. package/counters/tests/opRETURNDATACOPY.zkasm +29 -0
  58. package/counters/tests/opREVERT.zkasm +32 -0
  59. package/counters/tests/opSDIV.zkasm +28 -0
  60. package/counters/tests/opSHA3.zkasm +28 -0
  61. package/counters/tests/opSIGNEXTEND.zkasm +27 -0
  62. package/counters/tests/opSMOD.zkasm +28 -0
  63. package/counters/tests/opSTATICCALL.zkasm +35 -0
  64. package/counters/tests/opSUB.zkasm +27 -0
  65. package/counters/tests/saveMem.zkasm +31 -0
  66. package/docs/opcode-cost-zk-counters.md +315 -0
  67. package/docs/usage-ecrecover.md +51 -0
  68. package/index.js +43 -0
  69. package/main/block-info.zkasm +204 -0
  70. package/main/constants.zkasm +145 -0
  71. package/main/ecrecover/addFpEc.zkasm +31 -0
  72. package/main/ecrecover/checkSqrtFpEc.zkasm +1558 -0
  73. package/main/ecrecover/constEc.zkasm +13 -0
  74. package/main/ecrecover/ecrecover.zkasm +280 -0
  75. package/main/ecrecover/invFnEc.zkasm +44 -0
  76. package/main/ecrecover/invFpEc.zkasm +45 -0
  77. package/main/ecrecover/mulFnEc.zkasm +36 -0
  78. package/main/ecrecover/mulFpEc.zkasm +36 -0
  79. package/main/ecrecover/mulPointEc.zkasm +311 -0
  80. package/main/ecrecover/sqFpEc.zkasm +38 -0
  81. package/main/ecrecover/sqrtFpEc.zkasm +70 -0
  82. package/main/end.zkasm +4 -0
  83. package/main/l2-tx-hash.zkasm +159 -0
  84. package/main/load-change-l2-block-utils.zkasm +11 -0
  85. package/main/load-change-l2-block.zkasm +28 -0
  86. package/main/load-tx-rlp-utils.zkasm +72 -0
  87. package/main/load-tx-rlp.zkasm +431 -0
  88. package/main/main.zkasm +237 -0
  89. package/main/map-opcodes.zkasm +274 -0
  90. package/main/modexp/array_lib/array_add_AGTB.zkasm +123 -0
  91. package/main/modexp/array_lib/array_add_short.zkasm +85 -0
  92. package/main/modexp/array_lib/array_div.zkasm +215 -0
  93. package/main/modexp/array_lib/array_div_long.zkasm +284 -0
  94. package/main/modexp/array_lib/array_div_short.zkasm +222 -0
  95. package/main/modexp/array_lib/array_mul.zkasm +97 -0
  96. package/main/modexp/array_lib/array_mul_long.zkasm +156 -0
  97. package/main/modexp/array_lib/array_mul_short.zkasm +127 -0
  98. package/main/modexp/array_lib/array_square.zkasm +246 -0
  99. package/main/modexp/array_lib/unused/array_add.zkasm +100 -0
  100. package/main/modexp/array_lib/unused/array_is_odd.zkasm +23 -0
  101. package/main/modexp/array_lib/unused/array_is_one.zkasm +33 -0
  102. package/main/modexp/array_lib/unused/array_is_zero.zkasm +34 -0
  103. package/main/modexp/array_lib/unused/array_sub_AGTB.zkasm +111 -0
  104. package/main/modexp/array_lib/unused/array_unshift.zkasm +37 -0
  105. package/main/modexp/array_lib/utils/array_compare.zkasm +82 -0
  106. package/main/modexp/array_lib/utils/array_trim.zkasm +49 -0
  107. package/main/modexp/constants.zkasm +5 -0
  108. package/main/modexp/modexp.zkasm +296 -0
  109. package/main/modexp/modexp_utils.zkasm +230 -0
  110. package/main/opcodes/arithmetic.zkasm +357 -0
  111. package/main/opcodes/block.zkasm +163 -0
  112. package/main/opcodes/calldata-returndata-code.zkasm +619 -0
  113. package/main/opcodes/comparison.zkasm +446 -0
  114. package/main/opcodes/context-information.zkasm +169 -0
  115. package/main/opcodes/create-terminate-context.zkasm +1011 -0
  116. package/main/opcodes/crypto.zkasm +96 -0
  117. package/main/opcodes/flow-control.zkasm +126 -0
  118. package/main/opcodes/logs.zkasm +193 -0
  119. package/main/opcodes/stack-operations.zkasm +658 -0
  120. package/main/opcodes/storage-memory.zkasm +313 -0
  121. package/main/pairings/BN254/addPointBN254.zkasm +245 -0
  122. package/main/pairings/BN254/ecAdd.zkasm +312 -0
  123. package/main/pairings/BN254/ecMul.zkasm +159 -0
  124. package/main/pairings/BN254/escalarMulBN254.zkasm +155 -0
  125. package/main/pairings/BN254/lineDiffPointsBN254.zkasm +83 -0
  126. package/main/pairings/BN254/lineSamePointsBN254.zkasm +96 -0
  127. package/main/pairings/FP12BN254/CYCLOFP12BN254/compressFp12BN254.zkasm +49 -0
  128. package/main/pairings/FP12BN254/CYCLOFP12BN254/decompressFp12BN254.zkasm +236 -0
  129. package/main/pairings/FP12BN254/CYCLOFP12BN254/expByXCompCycloFp12BN254.zkasm +444 -0
  130. package/main/pairings/FP12BN254/CYCLOFP12BN254/squareCompCycloFp12BN254.zkasm +212 -0
  131. package/main/pairings/FP12BN254/CYCLOFP12BN254/squareCycloFp12BN254.zkasm +228 -0
  132. package/main/pairings/FP12BN254/CYCLOFP12BN254/xBinDecompBN254.zkasm +64 -0
  133. package/main/pairings/FP12BN254/frob2Fp12BN254.zkasm +80 -0
  134. package/main/pairings/FP12BN254/frob3Fp12BN254.zkasm +96 -0
  135. package/main/pairings/FP12BN254/frobFp12BN254.zkasm +96 -0
  136. package/main/pairings/FP12BN254/inverseFp12BN254.zkasm +289 -0
  137. package/main/pairings/FP12BN254/mulFp12BN254.zkasm +408 -0
  138. package/main/pairings/FP12BN254/sparseMulAFp12BN254.zkasm +296 -0
  139. package/main/pairings/FP12BN254/sparseMulBFp12BN254.zkasm +291 -0
  140. package/main/pairings/FP12BN254/squareFp12BN254.zkasm +376 -0
  141. package/main/pairings/FP2BN254/addFp2BN254.zkasm +19 -0
  142. package/main/pairings/FP2BN254/escalarMulFp2BN254.zkasm +20 -0
  143. package/main/pairings/FP2BN254/invFp2BN254.zkasm +66 -0
  144. package/main/pairings/FP2BN254/mulFp2BN254.zkasm +19 -0
  145. package/main/pairings/FP2BN254/squareFp2BN254.zkasm +21 -0
  146. package/main/pairings/FP2BN254/subFp2BN254.zkasm +19 -0
  147. package/main/pairings/FP4BN254/squareFp4BN254.zkasm +76 -0
  148. package/main/pairings/FP6BN254/addFp6BN254.zkasm +59 -0
  149. package/main/pairings/FP6BN254/escalarMulFp6BN254.zkasm +51 -0
  150. package/main/pairings/FP6BN254/inverseFp6BN254.zkasm +208 -0
  151. package/main/pairings/FP6BN254/mulFp6BN254.zkasm +201 -0
  152. package/main/pairings/FP6BN254/sparseMulAFp6BN254.zkasm +65 -0
  153. package/main/pairings/FP6BN254/sparseMulBFp6BN254.zkasm +134 -0
  154. package/main/pairings/FP6BN254/sparseMulCFp6BN254.zkasm +128 -0
  155. package/main/pairings/FP6BN254/squareFp6BN254.zkasm +147 -0
  156. package/main/pairings/FP6BN254/subFp6BN254.zkasm +59 -0
  157. package/main/pairings/FPBN254/addFpBN254.zkasm +29 -0
  158. package/main/pairings/FPBN254/invFpBN254.zkasm +55 -0
  159. package/main/pairings/FPBN254/mulFpBN254.zkasm +29 -0
  160. package/main/pairings/FPBN254/reduceFpBN254.zkasm +25 -0
  161. package/main/pairings/FPBN254/squareFpBN254.zkasm +31 -0
  162. package/main/pairings/FPBN254/subFpBN254.zkasm +36 -0
  163. package/main/pairings/FRBN254/reduceFrBN254.zkasm +25 -0
  164. package/main/pairings/constants.zkasm +62 -0
  165. package/main/pairings/ecPairing.zkasm +244 -0
  166. package/main/pairings/finalExpBN254.zkasm +2095 -0
  167. package/main/pairings/halfPairingBN254.zkasm +428 -0
  168. package/main/pairings/loopLengthBN254.zkasm +75 -0
  169. package/main/pairings/millerLoopBN254.zkasm +741 -0
  170. package/main/pairings/pairingBN254.zkasm +481 -0
  171. package/main/pairings/unused/addFp12BN254.zkasm +130 -0
  172. package/main/pairings/unused/expByXCycloFp12BN254.zkasm +411 -0
  173. package/main/pairings/unused/expFp12BN254.zkasm +333 -0
  174. package/main/pairings/unused/subFp12BN254.zkasm +130 -0
  175. package/main/pairings/unused/xPseudoBinDecompBN254.zkasm +68 -0
  176. package/main/pairings/utilsTests/expCycloFp12BN254.zkasm +334 -0
  177. package/main/precompiled/end.zkasm +42 -0
  178. package/main/precompiled/identity.zkasm +99 -0
  179. package/main/precompiled/pre-ecAdd.zkasm +84 -0
  180. package/main/precompiled/pre-ecMul.zkasm +82 -0
  181. package/main/precompiled/pre-ecPairing.zkasm +72 -0
  182. package/main/precompiled/pre-ecrecover.zkasm +71 -0
  183. package/main/precompiled/pre-modexp.zkasm +367 -0
  184. package/main/precompiled/pre-sha2-256.zkasm +125 -0
  185. package/main/precompiled/revert-precompiled.zkasm +25 -0
  186. package/main/precompiled/selector.zkasm +77 -0
  187. package/main/process-change-l2-block.zkasm +147 -0
  188. package/main/process-tx.zkasm +587 -0
  189. package/main/tables/2-exp.zkasm +260 -0
  190. package/main/touched.zkasm +118 -0
  191. package/main/utils.zkasm +2335 -0
  192. package/main/vars.zkasm +117 -0
  193. package/package.json +62 -3
  194. package/test/bytes-length.zkasm +39 -0
  195. package/test/ecrecover.zkasm +538 -0
  196. package/test/lt4-test.zkasm +38 -0
  197. package/test/mstorex.zkasm +191 -0
  198. package/test/opcalldatacopy.ignore.zkasm +331 -0
  199. package/test/performance/read-push.zkasm +71 -0
  200. package/test/read-push.zkasm +304 -0
  201. package/test/testArrayArith.zkasm +1099 -0
  202. package/test/testArrayUtils.zkasm +335 -0
  203. package/test/testCycloFp12ArithBN254.zkasm +548 -0
  204. package/test/testEcAdd.zkasm +252 -0
  205. package/test/testEcMul.zkasm +231 -0
  206. package/test/testEcPairing.zkasm +436 -0
  207. package/test/testFinalExpBn254.zkasm +139 -0
  208. package/test/testFp12ArithBN254.zkasm +692 -0
  209. package/test/testFp2ArithBN254.zkasm +185 -0
  210. package/test/testFp4ArithBN254.zkasm +128 -0
  211. package/test/testFp6ArithBN254.zkasm +260 -0
  212. package/test/testFpArithBN254.zkasm +159 -0
  213. package/test/testFrArithBN254.zkasm +113 -0
  214. package/test/testHalfPairingBN254.zkasm +285 -0
  215. package/test/testModExp.zkasm +586 -0
  216. package/test/testModExpReturn.zkasm +81 -0
  217. package/test/testPairingBN254.zkasm +463 -0
  218. package/test/testPointArithBN254.zkasm +270 -0
  219. package/test/testSHA256.zkasm +27 -0
  220. package/test/touched-assert.zkasm +59 -0
  221. package/test/utils-expAD.zkasm +48 -0
  222. package/test/utils-getLenBytes.zkasm +36 -0
  223. package/tools/audit-tools/registry-op-checker.js +71 -0
  224. package/tools/get-not-used-labels.js +31 -0
  225. package/tools/helpers/helpers.js +47 -0
  226. package/tools/modexp-utils/README.md +5 -0
  227. package/tools/modexp-utils/modexp-test-gen.js +168 -0
  228. package/tools/modexp-utils/modexp-test-int.sage +37 -0
  229. package/tools/parallel-testing/checker.sh +6 -0
  230. package/tools/parallel-testing/gen-parallel-tests.js +78 -0
  231. package/tools/parallel-testing/parallel-tests-sample/sample.test.js +136 -0
  232. package/tools/run-tests-zkasm.js +83 -0
package/test/testCycloFp12ArithBN254.zkasm ADDED
@@ -0,0 +1,548 @@
1
+ ; constants needed by executor C++
2
+ CONST %N = 2**19
3
+ CONST %MAX_CNT_STEPS_LIMIT = %N
4
+ CONST %MAX_CNT_ARITH_LIMIT = %N
5
+ CONST %MAX_CNT_BINARY_LIMIT = %N
6
+ CONST %MAX_CNT_MEM_ALIGN_LIMIT = %N
7
+ CONST %MAX_CNT_KECCAK_F_LIMIT = %N
8
+ CONST %MAX_CNT_PADDING_PG_LIMIT = %N
9
+ CONST %MAX_CNT_POSEIDON_G_LIMIT = %N
10
+
11
+ CONSTL %BN254_P = 21888242871839275222246405745257275088696311157297823662689037894645226208583n
12
+
13
+ VAR GLOBAL test
14
+
15
+ VAR GLOBAL lastHashKId
16
+ VAR GLOBAL lastHashPId
17
+
18
+ VAR GLOBAL initial_A
19
+ VAR GLOBAL initial_B
20
+ VAR GLOBAL initial_C
21
+ VAR GLOBAL initial_D
22
+ VAR GLOBAL initial_E
23
+ VAR GLOBAL initial_CTX
24
+ VAR GLOBAL initial_SP
25
+ VAR GLOBAL initial_PC
26
+ VAR GLOBAL initial_GAS
27
+ VAR GLOBAL initial_SR
28
+ VAR GLOBAL initial_RR
29
+ VAR GLOBAL initial_HASHPOS
30
+ VAR GLOBAL initial_RCX
31
+
32
+ start:
33
+
34
+ STEP => A
35
+ 0 :ASSERT
36
+
37
+
38
+ A :MSTORE(initial_A)
39
+ B :MSTORE(initial_B)
40
+ C :MSTORE(initial_C)
41
+ D :MSTORE(initial_D)
42
+ E :MSTORE(initial_E)
43
+ CTX :MSTORE(initial_CTX)
44
+ SP :MSTORE(initial_SP)
45
+ PC :MSTORE(initial_PC)
46
+ GAS :MSTORE(initial_GAS)
47
+ SR :MSTORE(initial_SR)
48
+ RR :MSTORE(initial_RR)
49
+ HASHPOS :MSTORE(initial_HASHPOS)
50
+ RCX :MSTORE(initial_RCX)
51
+ 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, RR, HASHPOS, RCX
52
+
53
+ -1 :MSTORE(lastHashKId)
54
+ -1 :MSTORE(lastHashPId)
55
+
56
+ ; 1] Compression and decompression: It must happen that D(C(a)) = a
57
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(compressFp12BN254_a0_x)
58
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(compressFp12BN254_a0_y)
59
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(compressFp12BN254_a2_x)
60
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(compressFp12BN254_a2_y)
61
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(compressFp12BN254_a4_x)
62
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(compressFp12BN254_a4_y)
63
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(compressFp12BN254_a1_x)
64
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(compressFp12BN254_a1_y)
65
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(compressFp12BN254_a3_x)
66
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(compressFp12BN254_a3_y)
67
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(compressFp12BN254_a5_x)
68
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(compressFp12BN254_a5_y)
69
+ :CALL(compressFp12BN254)
70
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MLOAD(compressFp12BN254_Ca2_x)
71
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MLOAD(compressFp12BN254_Ca2_y)
72
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MLOAD(compressFp12BN254_Ca3_x)
73
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MLOAD(compressFp12BN254_Ca3_y)
74
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MLOAD(compressFp12BN254_Ca4_x)
75
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MLOAD(compressFp12BN254_Ca4_y)
76
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MLOAD(compressFp12BN254_Ca5_x)
77
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MLOAD(compressFp12BN254_Ca5_y)
78
+
79
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(decompressFp12BN254_Ca2_x)
80
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(decompressFp12BN254_Ca2_y)
81
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(decompressFp12BN254_Ca3_x)
82
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(decompressFp12BN254_Ca3_y)
83
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(decompressFp12BN254_Ca4_x)
84
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(decompressFp12BN254_Ca4_y)
85
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(decompressFp12BN254_Ca5_x)
86
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(decompressFp12BN254_Ca5_y)
87
+ :CALL(decompressFp12BN254)
88
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MLOAD(decompressFp12BN254_a0_x)
89
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MLOAD(decompressFp12BN254_a0_y)
90
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MLOAD(decompressFp12BN254_a2_x)
91
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MLOAD(decompressFp12BN254_a2_y)
92
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MLOAD(decompressFp12BN254_a4_x)
93
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MLOAD(decompressFp12BN254_a4_y)
94
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MLOAD(decompressFp12BN254_a1_x)
95
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MLOAD(decompressFp12BN254_a1_y)
96
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MLOAD(decompressFp12BN254_a3_x)
97
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MLOAD(decompressFp12BN254_a3_y)
98
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MLOAD(decompressFp12BN254_a5_x)
99
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MLOAD(decompressFp12BN254_a5_y)
100
+
101
+ 0n :MSTORE(decompressFp12BN254_Ca2_x)
102
+ 0n :MSTORE(decompressFp12BN254_Ca2_y)
103
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(decompressFp12BN254_Ca3_x)
104
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(decompressFp12BN254_Ca3_y)
105
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(decompressFp12BN254_Ca4_x)
106
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(decompressFp12BN254_Ca4_y)
107
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(decompressFp12BN254_Ca5_x)
108
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(decompressFp12BN254_Ca5_y)
109
+ :CALL(decompressFp12BN254)
110
+ 3082566802732947271293720222661142209591143484576084617328875773438864732397n :MLOAD(decompressFp12BN254_a0_x)
111
+ 6753192725715184303833194625336959866779003056329959595176212784417709284236n :MLOAD(decompressFp12BN254_a0_y)
112
+ 0n :MLOAD(decompressFp12BN254_a2_x)
113
+ 0n :MLOAD(decompressFp12BN254_a2_y)
114
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MLOAD(decompressFp12BN254_a4_x)
115
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MLOAD(decompressFp12BN254_a4_y)
116
+ 19725038294210990876095311608776995374658210593840653608871004828604621493298n :MLOAD(decompressFp12BN254_a1_x)
117
+ 9667536184264952931246834743665147146209943690267032273162296061012209804352n :MLOAD(decompressFp12BN254_a1_y)
118
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MLOAD(decompressFp12BN254_a3_x)
119
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MLOAD(decompressFp12BN254_a3_y)
120
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MLOAD(decompressFp12BN254_a5_x)
121
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MLOAD(decompressFp12BN254_a5_y)
122
+
123
+ ; 2] Squaring
124
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(squareCycloFp12BN254_a11_x)
125
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(squareCycloFp12BN254_a11_y)
126
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(squareCycloFp12BN254_a12_x)
127
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(squareCycloFp12BN254_a12_y)
128
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(squareCycloFp12BN254_a13_x)
129
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(squareCycloFp12BN254_a13_y)
130
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(squareCycloFp12BN254_a21_x)
131
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(squareCycloFp12BN254_a21_y)
132
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(squareCycloFp12BN254_a22_x)
133
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(squareCycloFp12BN254_a22_y)
134
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(squareCycloFp12BN254_a23_x)
135
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(squareCycloFp12BN254_a23_y)
136
+ :CALL(squareCycloFp12BN254)
137
+ 2098026393950394559493690260865166581266928315924710629633888310320006689795n :MLOAD(squareCycloFp12BN254_c11_x)
138
+ 1846888720299666666109042029094532002505741710678796245911331796963733914187n :MLOAD(squareCycloFp12BN254_c11_y)
139
+ 6856859212192321831831255712736216614951508355737406292407364405936415355512n :MLOAD(squareCycloFp12BN254_c12_x)
140
+ 17209588680055969912485542074372495831925486815137906387799790601911548657525n :MLOAD(squareCycloFp12BN254_c12_y)
141
+ 15781046857382959121140505691131389728661226093902862303002526578701400754315n :MLOAD(squareCycloFp12BN254_c13_x)
142
+ 8625093555241362381542545391636743832938050376057983419042860774659518282797n :MLOAD(squareCycloFp12BN254_c13_y)
143
+ 14351778565182200844681812560787756136192441388960773363087263587389322671562n :MLOAD(squareCycloFp12BN254_c21_x)
144
+ 15695337662963643544813486120899631949921737819129690254830667492646284393382n :MLOAD(squareCycloFp12BN254_c21_y)
145
+ 5570195873148749154672896518046181211644563497843962677067647498629814883385n :MLOAD(squareCycloFp12BN254_c22_x)
146
+ 14991026153829150387150002728101017951749162083560649689008171461754623678203n :MLOAD(squareCycloFp12BN254_c22_y)
147
+ 18987338659195924269172748027172054817706283508452795151531146694958273165690n :MLOAD(squareCycloFp12BN254_c23_x)
148
+ 8860539994207234999664733841364243523346939192669625740842082601247122017n :MLOAD(squareCycloFp12BN254_c23_y)
149
+
150
+ ; 3] Squaring in Compressed Form: It must happen that D(C(a²)) = a²
151
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(squareCompCycloFp12BN254_Ca2_x)
152
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(squareCompCycloFp12BN254_Ca2_y)
153
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(squareCompCycloFp12BN254_Ca3_x)
154
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(squareCompCycloFp12BN254_Ca3_y)
155
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(squareCompCycloFp12BN254_Ca4_x)
156
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(squareCompCycloFp12BN254_Ca4_y)
157
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(squareCompCycloFp12BN254_Ca5_x)
158
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(squareCompCycloFp12BN254_Ca5_y)
159
+ :CALL(squareCompCycloFp12BN254)
160
+ 14351778565182200844681812560787756136192441388960773363087263587389322671562n :MLOAD(squareCompCycloFp12BN254_Cb2_x)
161
+ 15695337662963643544813486120899631949921737819129690254830667492646284393382n :MLOAD(squareCompCycloFp12BN254_Cb2_y)
162
+ 15781046857382959121140505691131389728661226093902862303002526578701400754315n :MLOAD(squareCompCycloFp12BN254_Cb3_x)
163
+ 8625093555241362381542545391636743832938050376057983419042860774659518282797n :MLOAD(squareCompCycloFp12BN254_Cb3_y)
164
+ 6856859212192321831831255712736216614951508355737406292407364405936415355512n :MLOAD(squareCompCycloFp12BN254_Cb4_x)
165
+ 17209588680055969912485542074372495831925486815137906387799790601911548657525n :MLOAD(squareCompCycloFp12BN254_Cb4_y)
166
+ 18987338659195924269172748027172054817706283508452795151531146694958273165690n :MLOAD(squareCompCycloFp12BN254_Cb5_x)
167
+ 8860539994207234999664733841364243523346939192669625740842082601247122017n :MLOAD(squareCompCycloFp12BN254_Cb5_y)
168
+ $ => A :MLOAD(squareCompCycloFp12BN254_Cb2_x)
169
+ $ => B :MLOAD(squareCompCycloFp12BN254_Cb2_y)
170
+ $ => C :MLOAD(squareCompCycloFp12BN254_Cb3_x)
171
+ $ => D :MLOAD(squareCompCycloFp12BN254_Cb3_y)
172
+ A :MSTORE(decompressFp12BN254_Ca2_x)
173
+ B :MSTORE(decompressFp12BN254_Ca2_y)
174
+ C :MSTORE(decompressFp12BN254_Ca3_x)
175
+ D :MSTORE(decompressFp12BN254_Ca3_y)
176
+ $ => A :MLOAD(squareCompCycloFp12BN254_Cb4_x)
177
+ $ => B :MLOAD(squareCompCycloFp12BN254_Cb4_y)
178
+ $ => C :MLOAD(squareCompCycloFp12BN254_Cb5_x)
179
+ $ => D :MLOAD(squareCompCycloFp12BN254_Cb5_y)
180
+ A :MSTORE(decompressFp12BN254_Ca4_x)
181
+ B :MSTORE(decompressFp12BN254_Ca4_y)
182
+ C :MSTORE(decompressFp12BN254_Ca5_x)
183
+ D :MSTORE(decompressFp12BN254_Ca5_y)
184
+ :CALL(decompressFp12BN254)
185
+ 2098026393950394559493690260865166581266928315924710629633888310320006689795n :MLOAD(decompressFp12BN254_a0_x)
186
+ 1846888720299666666109042029094532002505741710678796245911331796963733914187n :MLOAD(decompressFp12BN254_a0_y)
187
+ 14351778565182200844681812560787756136192441388960773363087263587389322671562n :MLOAD(decompressFp12BN254_a2_x)
188
+ 15695337662963643544813486120899631949921737819129690254830667492646284393382n :MLOAD(decompressFp12BN254_a2_y)
189
+ 6856859212192321831831255712736216614951508355737406292407364405936415355512n :MLOAD(decompressFp12BN254_a4_x)
190
+ 17209588680055969912485542074372495831925486815137906387799790601911548657525n :MLOAD(decompressFp12BN254_a4_y)
191
+ 5570195873148749154672896518046181211644563497843962677067647498629814883385n :MLOAD(decompressFp12BN254_a1_x)
192
+ 14991026153829150387150002728101017951749162083560649689008171461754623678203n :MLOAD(decompressFp12BN254_a1_y)
193
+ 15781046857382959121140505691131389728661226093902862303002526578701400754315n :MLOAD(decompressFp12BN254_a3_x)
194
+ 8625093555241362381542545391636743832938050376057983419042860774659518282797n :MLOAD(decompressFp12BN254_a3_y)
195
+ 18987338659195924269172748027172054817706283508452795151531146694958273165690n :MLOAD(decompressFp12BN254_a5_x)
196
+ 8860539994207234999664733841364243523346939192669625740842082601247122017n :MLOAD(decompressFp12BN254_a5_y)
197
+
198
+ ; 4] Exponentiation
199
+ 0n :MSTORE(expCycloFp12BN254_e)
200
+ 0n :MSTORE(expCycloFp12BN254_a11_x)
201
+ 0n :MSTORE(expCycloFp12BN254_a11_y)
202
+ 0n :MSTORE(expCycloFp12BN254_a12_x)
203
+ 0n :MSTORE(expCycloFp12BN254_a12_y)
204
+ 0n :MSTORE(expCycloFp12BN254_a13_x)
205
+ 0n :MSTORE(expCycloFp12BN254_a13_y)
206
+ 0n :MSTORE(expCycloFp12BN254_a21_x)
207
+ 0n :MSTORE(expCycloFp12BN254_a21_y)
208
+ 0n :MSTORE(expCycloFp12BN254_a22_x)
209
+ 0n :MSTORE(expCycloFp12BN254_a22_y)
210
+ 0n :MSTORE(expCycloFp12BN254_a23_x)
211
+ 0n :MSTORE(expCycloFp12BN254_a23_y)
212
+ :CALL(expCycloFp12BN254)
213
+ 0n :MLOAD(expCycloFp12BN254_c11_x)
214
+ 0n :MLOAD(expCycloFp12BN254_c11_y)
215
+ 0n :MLOAD(expCycloFp12BN254_c12_x)
216
+ 0n :MLOAD(expCycloFp12BN254_c12_y)
217
+ 0n :MLOAD(expCycloFp12BN254_c13_x)
218
+ 0n :MLOAD(expCycloFp12BN254_c13_y)
219
+ 0n :MLOAD(expCycloFp12BN254_c21_x)
220
+ 0n :MLOAD(expCycloFp12BN254_c21_y)
221
+ 0n :MLOAD(expCycloFp12BN254_c22_x)
222
+ 0n :MLOAD(expCycloFp12BN254_c22_y)
223
+ 0n :MLOAD(expCycloFp12BN254_c23_x)
224
+ 0n :MLOAD(expCycloFp12BN254_c23_y)
225
+
226
+ 10n :MSTORE(expCycloFp12BN254_e)
227
+ 0n :MSTORE(expCycloFp12BN254_a11_x)
228
+ 0n :MSTORE(expCycloFp12BN254_a11_y)
229
+ 0n :MSTORE(expCycloFp12BN254_a12_x)
230
+ 0n :MSTORE(expCycloFp12BN254_a12_y)
231
+ 0n :MSTORE(expCycloFp12BN254_a13_x)
232
+ 0n :MSTORE(expCycloFp12BN254_a13_y)
233
+ 0n :MSTORE(expCycloFp12BN254_a21_x)
234
+ 0n :MSTORE(expCycloFp12BN254_a21_y)
235
+ 0n :MSTORE(expCycloFp12BN254_a22_x)
236
+ 0n :MSTORE(expCycloFp12BN254_a22_y)
237
+ 0n :MSTORE(expCycloFp12BN254_a23_x)
238
+ 0n :MSTORE(expCycloFp12BN254_a23_y)
239
+ :CALL(expCycloFp12BN254)
240
+ 0n :MLOAD(expCycloFp12BN254_c11_x)
241
+ 0n :MLOAD(expCycloFp12BN254_c11_y)
242
+ 0n :MLOAD(expCycloFp12BN254_c12_x)
243
+ 0n :MLOAD(expCycloFp12BN254_c12_y)
244
+ 0n :MLOAD(expCycloFp12BN254_c13_x)
245
+ 0n :MLOAD(expCycloFp12BN254_c13_y)
246
+ 0n :MLOAD(expCycloFp12BN254_c21_x)
247
+ 0n :MLOAD(expCycloFp12BN254_c21_y)
248
+ 0n :MLOAD(expCycloFp12BN254_c22_x)
249
+ 0n :MLOAD(expCycloFp12BN254_c22_y)
250
+ 0n :MLOAD(expCycloFp12BN254_c23_x)
251
+ 0n :MLOAD(expCycloFp12BN254_c23_y)
252
+
253
+ 0n :MSTORE(expCycloFp12BN254_e)
254
+ 1n :MSTORE(expCycloFp12BN254_a11_x)
255
+ 0n :MSTORE(expCycloFp12BN254_a11_y)
256
+ 0n :MSTORE(expCycloFp12BN254_a12_x)
257
+ 0n :MSTORE(expCycloFp12BN254_a12_y)
258
+ 0n :MSTORE(expCycloFp12BN254_a13_x)
259
+ 0n :MSTORE(expCycloFp12BN254_a13_y)
260
+ 0n :MSTORE(expCycloFp12BN254_a21_x)
261
+ 0n :MSTORE(expCycloFp12BN254_a21_y)
262
+ 0n :MSTORE(expCycloFp12BN254_a22_x)
263
+ 0n :MSTORE(expCycloFp12BN254_a22_y)
264
+ 0n :MSTORE(expCycloFp12BN254_a23_x)
265
+ 0n :MSTORE(expCycloFp12BN254_a23_y)
266
+ :CALL(expCycloFp12BN254)
267
+ 1n :MLOAD(expCycloFp12BN254_c11_x)
268
+ 0n :MLOAD(expCycloFp12BN254_c11_y)
269
+ 0n :MLOAD(expCycloFp12BN254_c12_x)
270
+ 0n :MLOAD(expCycloFp12BN254_c12_y)
271
+ 0n :MLOAD(expCycloFp12BN254_c13_x)
272
+ 0n :MLOAD(expCycloFp12BN254_c13_y)
273
+ 0n :MLOAD(expCycloFp12BN254_c21_x)
274
+ 0n :MLOAD(expCycloFp12BN254_c21_y)
275
+ 0n :MLOAD(expCycloFp12BN254_c22_x)
276
+ 0n :MLOAD(expCycloFp12BN254_c22_y)
277
+ 0n :MLOAD(expCycloFp12BN254_c23_x)
278
+ 0n :MLOAD(expCycloFp12BN254_c23_y)
279
+
280
+ 0n :MSTORE(expCycloFp12BN254_e)
281
+ 2n :MSTORE(expCycloFp12BN254_a11_x)
282
+ 0n :MSTORE(expCycloFp12BN254_a11_y)
283
+ 0n :MSTORE(expCycloFp12BN254_a12_x)
284
+ 0n :MSTORE(expCycloFp12BN254_a12_y)
285
+ 0n :MSTORE(expCycloFp12BN254_a13_x)
286
+ 0n :MSTORE(expCycloFp12BN254_a13_y)
287
+ 0n :MSTORE(expCycloFp12BN254_a21_x)
288
+ 0n :MSTORE(expCycloFp12BN254_a21_y)
289
+ 0n :MSTORE(expCycloFp12BN254_a22_x)
290
+ 0n :MSTORE(expCycloFp12BN254_a22_y)
291
+ 0n :MSTORE(expCycloFp12BN254_a23_x)
292
+ 0n :MSTORE(expCycloFp12BN254_a23_y)
293
+ :CALL(expCycloFp12BN254)
294
+ 1n :MLOAD(expCycloFp12BN254_c11_x)
295
+ 0n :MLOAD(expCycloFp12BN254_c11_y)
296
+ 0n :MLOAD(expCycloFp12BN254_c12_x)
297
+ 0n :MLOAD(expCycloFp12BN254_c12_y)
298
+ 0n :MLOAD(expCycloFp12BN254_c13_x)
299
+ 0n :MLOAD(expCycloFp12BN254_c13_y)
300
+ 0n :MLOAD(expCycloFp12BN254_c21_x)
301
+ 0n :MLOAD(expCycloFp12BN254_c21_y)
302
+ 0n :MLOAD(expCycloFp12BN254_c22_x)
303
+ 0n :MLOAD(expCycloFp12BN254_c22_y)
304
+ 0n :MLOAD(expCycloFp12BN254_c23_x)
305
+ 0n :MLOAD(expCycloFp12BN254_c23_y)
306
+
307
+ 4965661367192848881n :MSTORE(expCycloFp12BN254_e)
308
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(expCycloFp12BN254_a11_x)
309
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(expCycloFp12BN254_a11_y)
310
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(expCycloFp12BN254_a12_x)
311
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(expCycloFp12BN254_a12_y)
312
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(expCycloFp12BN254_a13_x)
313
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(expCycloFp12BN254_a13_y)
314
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(expCycloFp12BN254_a21_x)
315
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(expCycloFp12BN254_a21_y)
316
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(expCycloFp12BN254_a22_x)
317
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(expCycloFp12BN254_a22_y)
318
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(expCycloFp12BN254_a23_x)
319
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(expCycloFp12BN254_a23_y)
320
+ :CALL(expCycloFp12BN254)
321
+ 8622123276929149313920900390800567957350463902034345693686819104151152922572n :MLOAD(expCycloFp12BN254_c11_x)
322
+ 8670626622362378075940101766943937502063808822022259182641087586661549444087n :MLOAD(expCycloFp12BN254_c11_y)
323
+ 17677799802795013101301829823610804881266875691488004414652375004895811278559n :MLOAD(expCycloFp12BN254_c12_x)
324
+ 8272841324134833464040573295664197017808088708485767794513847108589815911499n :MLOAD(expCycloFp12BN254_c12_y)
325
+ 9190911511691766859289188288177517604435774623843629661940012957026870785904n :MLOAD(expCycloFp12BN254_c13_x)
326
+ 18364099160954539591912436449937202384011431251285107932512938026494677069261n :MLOAD(expCycloFp12BN254_c13_y)
327
+ 19407988223605275774004312333801897121509906148567729782984282773586873391901n :MLOAD(expCycloFp12BN254_c21_x)
328
+ 15711652497826967457911333154250406880785527028595026050702704710166760791736n :MLOAD(expCycloFp12BN254_c21_y)
329
+ 16450402722786864781692733695027245893014266492802042336563706983420459072544n :MLOAD(expCycloFp12BN254_c22_x)
330
+ 11669304897933026204553226847848522415487901344170781144466032622467776938641n :MLOAD(expCycloFp12BN254_c22_y)
331
+ 14005155248465440637906492674345786073382135452928153479559868247493919227266n :MLOAD(expCycloFp12BN254_c23_x)
332
+ 20231158774990444129983338146063043702239109464764996510430767078543929636660n :MLOAD(expCycloFp12BN254_c23_y)
333
+
334
+ ; 5] Exponentiation by x
335
+ 0n :MSTORE(expByXCycloFp12BN254_a11_x)
336
+ 0n :MSTORE(expByXCycloFp12BN254_a11_y)
337
+ 0n :MSTORE(expByXCycloFp12BN254_a12_x)
338
+ 0n :MSTORE(expByXCycloFp12BN254_a12_y)
339
+ 0n :MSTORE(expByXCycloFp12BN254_a13_x)
340
+ 0n :MSTORE(expByXCycloFp12BN254_a13_y)
341
+ 0n :MSTORE(expByXCycloFp12BN254_a21_x)
342
+ 0n :MSTORE(expByXCycloFp12BN254_a21_y)
343
+ 0n :MSTORE(expByXCycloFp12BN254_a22_x)
344
+ 0n :MSTORE(expByXCycloFp12BN254_a22_y)
345
+ 0n :MSTORE(expByXCycloFp12BN254_a23_x)
346
+ 0n :MSTORE(expByXCycloFp12BN254_a23_y)
347
+ :CALL(expByXCycloFp12BN254)
348
+ 0n :MLOAD(expByXCycloFp12BN254_c11_x)
349
+ 0n :MLOAD(expByXCycloFp12BN254_c11_y)
350
+ 0n :MLOAD(expByXCycloFp12BN254_c12_x)
351
+ 0n :MLOAD(expByXCycloFp12BN254_c12_y)
352
+ 0n :MLOAD(expByXCycloFp12BN254_c13_x)
353
+ 0n :MLOAD(expByXCycloFp12BN254_c13_y)
354
+ 0n :MLOAD(expByXCycloFp12BN254_c21_x)
355
+ 0n :MLOAD(expByXCycloFp12BN254_c21_y)
356
+ 0n :MLOAD(expByXCycloFp12BN254_c22_x)
357
+ 0n :MLOAD(expByXCycloFp12BN254_c22_y)
358
+ 0n :MLOAD(expByXCycloFp12BN254_c23_x)
359
+ 0n :MLOAD(expByXCycloFp12BN254_c23_y)
360
+
361
+ 1n :MSTORE(expByXCycloFp12BN254_a11_x)
362
+ 0n :MSTORE(expByXCycloFp12BN254_a11_y)
363
+ 0n :MSTORE(expByXCycloFp12BN254_a12_x)
364
+ 0n :MSTORE(expByXCycloFp12BN254_a12_y)
365
+ 0n :MSTORE(expByXCycloFp12BN254_a13_x)
366
+ 0n :MSTORE(expByXCycloFp12BN254_a13_y)
367
+ 0n :MSTORE(expByXCycloFp12BN254_a21_x)
368
+ 0n :MSTORE(expByXCycloFp12BN254_a21_y)
369
+ 0n :MSTORE(expByXCycloFp12BN254_a22_x)
370
+ 0n :MSTORE(expByXCycloFp12BN254_a22_y)
371
+ 0n :MSTORE(expByXCycloFp12BN254_a23_x)
372
+ 0n :MSTORE(expByXCycloFp12BN254_a23_y)
373
+ :CALL(expByXCycloFp12BN254)
374
+ 1n :MLOAD(expByXCycloFp12BN254_c11_x)
375
+ 0n :MLOAD(expByXCycloFp12BN254_c11_y)
376
+ 0n :MLOAD(expByXCycloFp12BN254_c12_x)
377
+ 0n :MLOAD(expByXCycloFp12BN254_c12_y)
378
+ 0n :MLOAD(expByXCycloFp12BN254_c13_x)
379
+ 0n :MLOAD(expByXCycloFp12BN254_c13_y)
380
+ 0n :MLOAD(expByXCycloFp12BN254_c21_x)
381
+ 0n :MLOAD(expByXCycloFp12BN254_c21_y)
382
+ 0n :MLOAD(expByXCycloFp12BN254_c22_x)
383
+ 0n :MLOAD(expByXCycloFp12BN254_c22_y)
384
+ 0n :MLOAD(expByXCycloFp12BN254_c23_x)
385
+ 0n :MLOAD(expByXCycloFp12BN254_c23_y)
386
+
387
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(expByXCycloFp12BN254_a11_x)
388
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(expByXCycloFp12BN254_a11_y)
389
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(expByXCycloFp12BN254_a12_x)
390
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(expByXCycloFp12BN254_a12_y)
391
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(expByXCycloFp12BN254_a13_x)
392
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(expByXCycloFp12BN254_a13_y)
393
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(expByXCycloFp12BN254_a21_x)
394
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(expByXCycloFp12BN254_a21_y)
395
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(expByXCycloFp12BN254_a22_x)
396
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(expByXCycloFp12BN254_a22_y)
397
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(expByXCycloFp12BN254_a23_x)
398
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(expByXCycloFp12BN254_a23_y)
399
+ :CALL(expByXCycloFp12BN254)
400
+ 8622123276929149313920900390800567957350463902034345693686819104151152922572n :MLOAD(expByXCycloFp12BN254_c11_x)
401
+ 8670626622362378075940101766943937502063808822022259182641087586661549444087n :MLOAD(expByXCycloFp12BN254_c11_y)
402
+ 17677799802795013101301829823610804881266875691488004414652375004895811278559n :MLOAD(expByXCycloFp12BN254_c12_x)
403
+ 8272841324134833464040573295664197017808088708485767794513847108589815911499n :MLOAD(expByXCycloFp12BN254_c12_y)
404
+ 9190911511691766859289188288177517604435774623843629661940012957026870785904n :MLOAD(expByXCycloFp12BN254_c13_x)
405
+ 18364099160954539591912436449937202384011431251285107932512938026494677069261n :MLOAD(expByXCycloFp12BN254_c13_y)
406
+ 19407988223605275774004312333801897121509906148567729782984282773586873391901n :MLOAD(expByXCycloFp12BN254_c21_x)
407
+ 15711652497826967457911333154250406880785527028595026050702704710166760791736n :MLOAD(expByXCycloFp12BN254_c21_y)
408
+ 16450402722786864781692733695027245893014266492802042336563706983420459072544n :MLOAD(expByXCycloFp12BN254_c22_x)
409
+ 11669304897933026204553226847848522415487901344170781144466032622467776938641n :MLOAD(expByXCycloFp12BN254_c22_y)
410
+ 14005155248465440637906492674345786073382135452928153479559868247493919227266n :MLOAD(expByXCycloFp12BN254_c23_x)
411
+ 20231158774990444129983338146063043702239109464764996510430767078543929636660n :MLOAD(expByXCycloFp12BN254_c23_y)
412
+
413
+
414
+ ; 6] Exponentiation by x using the compression/decompression technique
415
+ 0n :MSTORE(expByXCompCycloFp12BN254_a0_x)
416
+ 0n :MSTORE(expByXCompCycloFp12BN254_a0_y)
417
+ 0n :MSTORE(expByXCompCycloFp12BN254_a2_x)
418
+ 0n :MSTORE(expByXCompCycloFp12BN254_a2_y)
419
+ 0n :MSTORE(expByXCompCycloFp12BN254_a4_x)
420
+ 0n :MSTORE(expByXCompCycloFp12BN254_a4_y)
421
+ 0n :MSTORE(expByXCompCycloFp12BN254_a1_x)
422
+ 0n :MSTORE(expByXCompCycloFp12BN254_a1_y)
423
+ 0n :MSTORE(expByXCompCycloFp12BN254_a3_x)
424
+ 0n :MSTORE(expByXCompCycloFp12BN254_a3_y)
425
+ 0n :MSTORE(expByXCompCycloFp12BN254_a5_x)
426
+ 0n :MSTORE(expByXCompCycloFp12BN254_a5_y)
427
+ :CALL(expByXCompCycloFp12BN254)
428
+ 0n :MLOAD(expByXCompCycloFp12BN254_c0_x)
429
+ 0n :MLOAD(expByXCompCycloFp12BN254_c0_y)
430
+ 0n :MLOAD(expByXCompCycloFp12BN254_c2_x)
431
+ 0n :MLOAD(expByXCompCycloFp12BN254_c2_y)
432
+ 0n :MLOAD(expByXCompCycloFp12BN254_c4_x)
433
+ 0n :MLOAD(expByXCompCycloFp12BN254_c4_y)
434
+ 0n :MLOAD(expByXCompCycloFp12BN254_c1_x)
435
+ 0n :MLOAD(expByXCompCycloFp12BN254_c1_y)
436
+ 0n :MLOAD(expByXCompCycloFp12BN254_c3_x)
437
+ 0n :MLOAD(expByXCompCycloFp12BN254_c3_y)
438
+ 0n :MLOAD(expByXCompCycloFp12BN254_c5_x)
439
+ 0n :MLOAD(expByXCompCycloFp12BN254_c5_y)
440
+
441
+ 1n :MSTORE(expByXCompCycloFp12BN254_a0_x)
442
+ 0n :MSTORE(expByXCompCycloFp12BN254_a0_y)
443
+ 0n :MSTORE(expByXCompCycloFp12BN254_a2_x)
444
+ 0n :MSTORE(expByXCompCycloFp12BN254_a2_y)
445
+ 0n :MSTORE(expByXCompCycloFp12BN254_a4_x)
446
+ 0n :MSTORE(expByXCompCycloFp12BN254_a4_y)
447
+ 0n :MSTORE(expByXCompCycloFp12BN254_a1_x)
448
+ 0n :MSTORE(expByXCompCycloFp12BN254_a1_y)
449
+ 0n :MSTORE(expByXCompCycloFp12BN254_a3_x)
450
+ 0n :MSTORE(expByXCompCycloFp12BN254_a3_y)
451
+ 0n :MSTORE(expByXCompCycloFp12BN254_a5_x)
452
+ 0n :MSTORE(expByXCompCycloFp12BN254_a5_y)
453
+ :CALL(expByXCompCycloFp12BN254)
454
+ 1n :MLOAD(expByXCompCycloFp12BN254_c0_x)
455
+ 0n :MLOAD(expByXCompCycloFp12BN254_c0_y)
456
+ 0n :MLOAD(expByXCompCycloFp12BN254_c2_x)
457
+ 0n :MLOAD(expByXCompCycloFp12BN254_c2_y)
458
+ 0n :MLOAD(expByXCompCycloFp12BN254_c4_x)
459
+ 0n :MLOAD(expByXCompCycloFp12BN254_c4_y)
460
+ 0n :MLOAD(expByXCompCycloFp12BN254_c1_x)
461
+ 0n :MLOAD(expByXCompCycloFp12BN254_c1_y)
462
+ 0n :MLOAD(expByXCompCycloFp12BN254_c3_x)
463
+ 0n :MLOAD(expByXCompCycloFp12BN254_c3_y)
464
+ 0n :MLOAD(expByXCompCycloFp12BN254_c5_x)
465
+ 0n :MLOAD(expByXCompCycloFp12BN254_c5_y)
466
+
467
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(expByXCompCycloFp12BN254_a0_x)
468
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(expByXCompCycloFp12BN254_a0_y)
469
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(expByXCompCycloFp12BN254_a2_x)
470
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(expByXCompCycloFp12BN254_a2_y)
471
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(expByXCompCycloFp12BN254_a4_x)
472
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(expByXCompCycloFp12BN254_a4_y)
473
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(expByXCompCycloFp12BN254_a1_x)
474
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(expByXCompCycloFp12BN254_a1_y)
475
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(expByXCompCycloFp12BN254_a3_x)
476
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(expByXCompCycloFp12BN254_a3_y)
477
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(expByXCompCycloFp12BN254_a5_x)
478
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(expByXCompCycloFp12BN254_a5_y)
479
+ :CALL(expByXCompCycloFp12BN254)
480
+ 8622123276929149313920900390800567957350463902034345693686819104151152922572n :MLOAD(expByXCompCycloFp12BN254_c0_x)
481
+ 8670626622362378075940101766943937502063808822022259182641087586661549444087n :MLOAD(expByXCompCycloFp12BN254_c0_y)
482
+ 19407988223605275774004312333801897121509906148567729782984282773586873391901n :MLOAD(expByXCompCycloFp12BN254_c2_x)
483
+ 15711652497826967457911333154250406880785527028595026050702704710166760791736n :MLOAD(expByXCompCycloFp12BN254_c2_y)
484
+ 17677799802795013101301829823610804881266875691488004414652375004895811278559n :MLOAD(expByXCompCycloFp12BN254_c4_x)
485
+ 8272841324134833464040573295664197017808088708485767794513847108589815911499n :MLOAD(expByXCompCycloFp12BN254_c4_y)
486
+ 16450402722786864781692733695027245893014266492802042336563706983420459072544n :MLOAD(expByXCompCycloFp12BN254_c1_x)
487
+ 11669304897933026204553226847848522415487901344170781144466032622467776938641n :MLOAD(expByXCompCycloFp12BN254_c1_y)
488
+ 9190911511691766859289188288177517604435774623843629661940012957026870785904n :MLOAD(expByXCompCycloFp12BN254_c3_x)
489
+ 18364099160954539591912436449937202384011431251285107932512938026494677069261n :MLOAD(expByXCompCycloFp12BN254_c3_y)
490
+ 14005155248465440637906492674345786073382135452928153479559868247493919227266n :MLOAD(expByXCompCycloFp12BN254_c5_x)
491
+ 20231158774990444129983338146063043702239109464764996510430767078543929636660n :MLOAD(expByXCompCycloFp12BN254_c5_y)
492
+
493
+ end:
494
+
495
+ $ => A :MLOAD(initial_A)
496
+ $ => B :MLOAD(initial_B)
497
+ $ => C :MLOAD(initial_C)
498
+ $ => D :MLOAD(initial_D)
499
+ $ => E :MLOAD(initial_E)
500
+ $ => CTX :MLOAD(initial_CTX)
501
+ $ => SP :MLOAD(initial_SP)
502
+ $ => PC :MLOAD(initial_PC)
503
+ $ => GAS :MLOAD(initial_GAS)
504
+ $ => SR :MLOAD(initial_SR)
505
+ $ => RR :MLOAD(initial_RR)
506
+ $ => HASHPOS :MLOAD(initial_HASHPOS)
507
+ $ => RCX :MLOAD(initial_RCX)
508
+
509
+ ; label finalizeExecution needed by executor C++
510
+ finalizeExecution:
511
+ ${beforeLast()} : JMPN(finalizeExecution)
512
+
513
+ : JMP(start)
514
+ opINVALID:
515
+ ; label checkAndSaveFrom needed by executor C++
516
+ checkAndSaveFrom:
517
+ :JMP(opINVALID)
518
+
519
+ INCLUDE "../main/pairings/FPBN254/reduceFpBN254.zkasm"
520
+ INCLUDE "../main/pairings/FPBN254/addFpBN254.zkasm"
521
+
522
+ INCLUDE "../main/pairings/FP2BN254/addFp2BN254.zkasm"
523
+ INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
524
+ INCLUDE "../main/pairings/FP2BN254/invFp2BN254.zkasm"
525
+ INCLUDE "../main/pairings/FP2BN254/mulFp2BN254.zkasm"
526
+ INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
527
+ INCLUDE "../main/pairings/FP2BN254/escalarMulFp2BN254.zkasm"
528
+
529
+ INCLUDE "../main/pairings/FP4BN254/squareFp4BN254.zkasm"
530
+
531
+ INCLUDE "../main/pairings/FP6BN254/addFp6BN254.zkasm"
532
+ INCLUDE "../main/pairings/FP6BN254/subFp6BN254.zkasm"
533
+ INCLUDE "../main/pairings/FP6BN254/sparseMulAFp6BN254.zkasm"
534
+ INCLUDE "../main/pairings/FP6BN254/mulFp6BN254.zkasm"
535
+
536
+ INCLUDE "../main/pairings/FP12BN254/mulFp12BN254.zkasm"
537
+
538
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/xBinDecompBN254.zkasm"
539
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/compressFp12BN254.zkasm"
540
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/decompressFp12BN254.zkasm"
541
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/squareCompCycloFp12BN254.zkasm"
542
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/expByXCompCycloFp12BN254.zkasm"
543
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/squareCycloFp12BN254.zkasm"
544
+
545
+ INCLUDE "../main/pairings/utilsTests/expCycloFp12BN254.zkasm"
546
+
547
+ INCLUDE "../main/pairings/unused/xPseudoBinDecompBN254.zkasm"
548
+ INCLUDE "../main/pairings/unused/expByXCycloFp12BN254.zkasm"