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 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/testFp12ArithBN254.zkasm ADDED
@@ -0,0 +1,692 @@
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
+ INCLUDE "../main/pairings/constants.zkasm"
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] Multiplication
57
+ 10n :MSTORE(mulFp12BN254_a11_x)
58
+ 2n :MSTORE(mulFp12BN254_a11_y)
59
+ 5n :MSTORE(mulFp12BN254_a12_x)
60
+ 13n :MSTORE(mulFp12BN254_a12_y)
61
+ 7n :MSTORE(mulFp12BN254_a13_x)
62
+ 5n :MSTORE(mulFp12BN254_a13_y)
63
+ 10n :MSTORE(mulFp12BN254_a21_x)
64
+ 2n :MSTORE(mulFp12BN254_a21_y)
65
+ 5n :MSTORE(mulFp12BN254_a22_x)
66
+ 13n :MSTORE(mulFp12BN254_a22_y)
67
+ 7n :MSTORE(mulFp12BN254_a23_x)
68
+ 5n :MSTORE(mulFp12BN254_a23_y)
69
+ 78n :MSTORE(mulFp12BN254_b11_x)
70
+ 5n :MSTORE(mulFp12BN254_b11_y)
71
+ 3n :MSTORE(mulFp12BN254_b12_x)
72
+ 193n :MSTORE(mulFp12BN254_b12_y)
73
+ 20n :MSTORE(mulFp12BN254_b13_x)
74
+ 2n :MSTORE(mulFp12BN254_b13_y)
75
+ 1n :MSTORE(mulFp12BN254_b21_x)
76
+ 0n :MSTORE(mulFp12BN254_b21_y)
77
+ 0n :MSTORE(mulFp12BN254_b22_x)
78
+ 3n :MSTORE(mulFp12BN254_b22_y)
79
+ 69n :MSTORE(mulFp12BN254_b23_x)
80
+ 27n :MSTORE(mulFp12BN254_b23_y)
81
+ :CALL(mulFp12BN254)
82
+ 21888242871839275222246405745257275088696311157297823662689037894645226204895n :MLOAD(mulFp12BN254_c11_x)
83
+ 18516n :MLOAD(mulFp12BN254_c11_y)
84
+ 21888242871839275222246405745257275088696311157297823662689037894645226208376n :MLOAD(mulFp12BN254_c12_x)
85
+ 13589n :MLOAD(mulFp12BN254_c12_y)
86
+ 820n :MLOAD(mulFp12BN254_c13_x)
87
+ 6686n :MLOAD(mulFp12BN254_c13_y)
88
+ 21888242871839275222246405745257275088696311157297823662689037894645226198655n :MLOAD(mulFp12BN254_c21_x)
89
+ 23518n :MLOAD(mulFp12BN254_c21_y)
90
+ 3622n :MLOAD(mulFp12BN254_c22_x)
91
+ 9328n :MLOAD(mulFp12BN254_c22_y)
92
+ 21888242871839275222246405745257275088696311157297823662689037894645226207410n :MLOAD(mulFp12BN254_c23_x)
93
+ 1917n :MLOAD(mulFp12BN254_c23_y)
94
+
95
+ 2n :MSTORE(mulFp12BN254_a11_x)
96
+ 4n :MSTORE(mulFp12BN254_a11_y)
97
+ 0n :MSTORE(mulFp12BN254_a12_x)
98
+ 0n :MSTORE(mulFp12BN254_a12_y)
99
+ 0n :MSTORE(mulFp12BN254_a13_x)
100
+ 5n :MSTORE(mulFp12BN254_a13_y)
101
+ 5n :MSTORE(mulFp12BN254_a21_x)
102
+ 10n :MSTORE(mulFp12BN254_a21_y)
103
+ 20n :MSTORE(mulFp12BN254_a22_x)
104
+ 30n :MSTORE(mulFp12BN254_a22_y)
105
+ 7n :MSTORE(mulFp12BN254_a23_x)
106
+ 69n :MSTORE(mulFp12BN254_a23_y)
107
+ 78n :MSTORE(mulFp12BN254_b11_x)
108
+ 14n :MSTORE(mulFp12BN254_b11_y)
109
+ 2n :MSTORE(mulFp12BN254_b12_x)
110
+ 1n :MSTORE(mulFp12BN254_b12_y)
111
+ 2n :MSTORE(mulFp12BN254_b13_x)
112
+ 10n :MSTORE(mulFp12BN254_b13_y)
113
+ 100n :MSTORE(mulFp12BN254_b21_x)
114
+ 99n :MSTORE(mulFp12BN254_b21_y)
115
+ 88n :MSTORE(mulFp12BN254_b22_x)
116
+ 77n :MSTORE(mulFp12BN254_b22_y)
117
+ 20n :MSTORE(mulFp12BN254_b23_x)
118
+ 2n :MSTORE(mulFp12BN254_b23_y)
119
+ :CALL(mulFp12BN254)
120
+ 21888242871839275222246405745257275088696311157297823662689037894645226137236n :MLOAD(mulFp12BN254_c11_x)
121
+ 101671n :MLOAD(mulFp12BN254_c11_y)
122
+ 21888242871839275222246405745257275088696311157297823662689037894645226161169n :MLOAD(mulFp12BN254_c12_x)
123
+ 62447n :MLOAD(mulFp12BN254_c12_y)
124
+ 21888242871839275222246405745257275088696311157297823662689037894645226205801n :MLOAD(mulFp12BN254_c13_x)
125
+ 19211n :MLOAD(mulFp12BN254_c13_y)
126
+ 21888242871839275222246405745257275088696311157297823662689037894645226201492n :MLOAD(mulFp12BN254_c21_x)
127
+ 8353n :MLOAD(mulFp12BN254_c21_y)
128
+ 21888242871839275222246405745257275088696311157297823662689037894645226203109n :MLOAD(mulFp12BN254_c22_x)
129
+ 5237n :MLOAD(mulFp12BN254_c22_y)
130
+ 21888242871839275222246405745257275088696311157297823662689037894645226207620n :MLOAD(mulFp12BN254_c23_x)
131
+ 6214n :MLOAD(mulFp12BN254_c23_y)
132
+
133
+ ; 2] Squaring
134
+ 2n :MSTORE(squareFp12BN254_a11_x)
135
+ 4n :MSTORE(squareFp12BN254_a11_y)
136
+ 0n :MSTORE(squareFp12BN254_a12_x)
137
+ 0n :MSTORE(squareFp12BN254_a12_y)
138
+ 0n :MSTORE(squareFp12BN254_a13_x)
139
+ 5n :MSTORE(squareFp12BN254_a13_y)
140
+ 5n :MSTORE(squareFp12BN254_a21_x)
141
+ 10n :MSTORE(squareFp12BN254_a21_y)
142
+ 20n :MSTORE(squareFp12BN254_a22_x)
143
+ 30n :MSTORE(squareFp12BN254_a22_y)
144
+ 7n :MSTORE(squareFp12BN254_a23_x)
145
+ 69n :MSTORE(squareFp12BN254_a23_y)
146
+ :CALL(squareFp12BN254)
147
+ 21888242871839275222246405745257275088696311157297823662689037894645226190251n :MLOAD(squareFp12BN254_c11_x)
148
+ 16476n :MLOAD(squareFp12BN254_c11_y)
149
+ 21888242871839275222246405745257275088696311157297823662689037894645226170363n :MLOAD(squareFp12BN254_c12_x)
150
+ 24835n :MLOAD(squareFp12BN254_c12_y)
151
+ 21888242871839275222246405745257275088696311157297823662689037894645226164769n :MLOAD(squareFp12BN254_c13_x)
152
+ 4702n :MLOAD(squareFp12BN254_c13_y)
153
+ 21888242871839275222246405745257275088696311157297823662689037894645226205623n :MLOAD(squareFp12BN254_c21_x)
154
+ 1580n :MLOAD(squareFp12BN254_c21_y)
155
+ 21888242871839275222246405745257275088696311157297823662689037894645226202143n :MLOAD(squareFp12BN254_c22_x)
156
+ 220n :MLOAD(squareFp12BN254_c22_y)
157
+ 21888242871839275222246405745257275088696311157297823662689037894645226207959n :MLOAD(squareFp12BN254_c23_x)
158
+ 382n :MLOAD(squareFp12BN254_c23_y)
159
+
160
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(squareFp12BN254_a11_x)
161
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(squareFp12BN254_a11_y)
162
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(squareFp12BN254_a12_x)
163
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(squareFp12BN254_a12_y)
164
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(squareFp12BN254_a13_x)
165
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(squareFp12BN254_a13_y)
166
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(squareFp12BN254_a21_x)
167
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(squareFp12BN254_a21_y)
168
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(squareFp12BN254_a22_x)
169
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(squareFp12BN254_a22_y)
170
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(squareFp12BN254_a23_x)
171
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(squareFp12BN254_a23_y)
172
+ :CALL(squareFp12BN254)
173
+ 2098026393950394559493690260865166581266928315924710629633888310320006689795n :MLOAD(squareFp12BN254_c11_x)
174
+ 1846888720299666666109042029094532002505741710678796245911331796963733914187n :MLOAD(squareFp12BN254_c11_y)
175
+ 6856859212192321831831255712736216614951508355737406292407364405936415355512n :MLOAD(squareFp12BN254_c12_x)
176
+ 17209588680055969912485542074372495831925486815137906387799790601911548657525n :MLOAD(squareFp12BN254_c12_y)
177
+ 15781046857382959121140505691131389728661226093902862303002526578701400754315n :MLOAD(squareFp12BN254_c13_x)
178
+ 8625093555241362381542545391636743832938050376057983419042860774659518282797n :MLOAD(squareFp12BN254_c13_y)
179
+ 14351778565182200844681812560787756136192441388960773363087263587389322671562n :MLOAD(squareFp12BN254_c21_x)
180
+ 15695337662963643544813486120899631949921737819129690254830667492646284393382n :MLOAD(squareFp12BN254_c21_y)
181
+ 5570195873148749154672896518046181211644563497843962677067647498629814883385n :MLOAD(squareFp12BN254_c22_x)
182
+ 14991026153829150387150002728101017951749162083560649689008171461754623678203n :MLOAD(squareFp12BN254_c22_y)
183
+ 18987338659195924269172748027172054817706283508452795151531146694958273165690n :MLOAD(squareFp12BN254_c23_x)
184
+ 8860539994207234999664733841364243523346939192669625740842082601247122017n :MLOAD(squareFp12BN254_c23_y)
185
+
186
+ ; 3] Inversion
187
+ 0n :MSTORE(inverseFp12BN254_a11_x)
188
+ 0n :MSTORE(inverseFp12BN254_a11_y)
189
+ 0n :MSTORE(inverseFp12BN254_a12_x)
190
+ 0n :MSTORE(inverseFp12BN254_a12_y)
191
+ 0n :MSTORE(inverseFp12BN254_a13_x)
192
+ 0n :MSTORE(inverseFp12BN254_a13_y)
193
+ 0n :MSTORE(inverseFp12BN254_a21_x)
194
+ 0n :MSTORE(inverseFp12BN254_a21_y)
195
+ 0n :MSTORE(inverseFp12BN254_a22_x)
196
+ 0n :MSTORE(inverseFp12BN254_a22_y)
197
+ 0n :MSTORE(inverseFp12BN254_a23_x)
198
+ 0n :MSTORE(inverseFp12BN254_a23_y)
199
+ :CALL(inverseFp12BN254)
200
+ 0n :MLOAD(inverseFp12BN254_c11_x)
201
+ 0n :MLOAD(inverseFp12BN254_c11_y)
202
+ 0n :MLOAD(inverseFp12BN254_c12_x)
203
+ 0n :MLOAD(inverseFp12BN254_c12_y)
204
+ 0n :MLOAD(inverseFp12BN254_c13_x)
205
+ 0n :MLOAD(inverseFp12BN254_c13_y)
206
+ 0n :MLOAD(inverseFp12BN254_c21_x)
207
+ 0n :MLOAD(inverseFp12BN254_c21_y)
208
+ 0n :MLOAD(inverseFp12BN254_c22_x)
209
+ 0n :MLOAD(inverseFp12BN254_c22_y)
210
+ 0n :MLOAD(inverseFp12BN254_c23_x)
211
+ 0n :MLOAD(inverseFp12BN254_c23_y)
212
+
213
+ 2n :MSTORE(inverseFp12BN254_a11_x)
214
+ 4n :MSTORE(inverseFp12BN254_a11_y)
215
+ 0n :MSTORE(inverseFp12BN254_a12_x)
216
+ 0n :MSTORE(inverseFp12BN254_a12_y)
217
+ 0n :MSTORE(inverseFp12BN254_a13_x)
218
+ 5n :MSTORE(inverseFp12BN254_a13_y)
219
+ 5n :MSTORE(inverseFp12BN254_a21_x)
220
+ 10n :MSTORE(inverseFp12BN254_a21_y)
221
+ 20n :MSTORE(inverseFp12BN254_a22_x)
222
+ 30n :MSTORE(inverseFp12BN254_a22_y)
223
+ 7n :MSTORE(inverseFp12BN254_a23_x)
224
+ 69n :MSTORE(inverseFp12BN254_a23_y)
225
+ :CALL(inverseFp12BN254)
226
+ 20888671201298710215559703514044964345994874487104175886056878644554404140739n :MLOAD(inverseFp12BN254_c11_x)
227
+ 18341611945458884647361257454040416792770938911765857382502174274013923134382n :MLOAD(inverseFp12BN254_c11_y)
228
+ 17212264596994956074343974726440644554067711720592905218425974958919607539075n :MLOAD(inverseFp12BN254_c12_x)
229
+ 6732381207586209376886879348286689555260828461769669735069071849456515851212n :MLOAD(inverseFp12BN254_c12_y)
230
+ 21368147715739918891454619601590918042420736987188643135495514508402788769683n :MLOAD(inverseFp12BN254_c13_x)
231
+ 3663521624002505260290817291830274755837177609996429331224604043807131463817n :MLOAD(inverseFp12BN254_c13_y)
232
+ 3032132887036960235387737000759039646563507175772143153015916596005685046007n :MLOAD(inverseFp12BN254_c21_x)
233
+ 13055139790251789501688599598738101973446402124156655452735772999414040890403n :MLOAD(inverseFp12BN254_c21_y)
234
+ 6517756700633644793630942808183387771630781381170479363578086592172656898770n :MLOAD(inverseFp12BN254_c22_x)
235
+ 395650894991045560122132702409515890328368535989210404180801859598882957185n :MLOAD(inverseFp12BN254_c22_y)
236
+ 8570196145412438361611057965650768730501569553533068267820731323855389368346n :MLOAD(inverseFp12BN254_c23_x)
237
+ 7491118698937156772874143978394611345783939114329232646099076078308797709778n :MLOAD(inverseFp12BN254_c23_y)
238
+
239
+ ; 4] Frobenius 1
240
+ 2n :MSTORE(frobFp12BN254_a11_x)
241
+ 4n :MSTORE(frobFp12BN254_a11_y)
242
+ 0n :MSTORE(frobFp12BN254_a12_x)
243
+ 0n :MSTORE(frobFp12BN254_a12_y)
244
+ 0n :MSTORE(frobFp12BN254_a13_x)
245
+ 5n :MSTORE(frobFp12BN254_a13_y)
246
+ 5n :MSTORE(frobFp12BN254_a21_x)
247
+ 10n :MSTORE(frobFp12BN254_a21_y)
248
+ 20n :MSTORE(frobFp12BN254_a22_x)
249
+ 30n :MSTORE(frobFp12BN254_a22_y)
250
+ 7n :MSTORE(frobFp12BN254_a23_x)
251
+ 69n :MSTORE(frobFp12BN254_a23_y)
252
+ :CALL(frobFp12BN254)
253
+ 2n :MLOAD(frobFp12BN254_c11_x)
254
+ 21888242871839275222246405745257275088696311157297823662689037894645226208579n :MLOAD(frobFp12BN254_c11_y)
255
+ 0n :MLOAD(frobFp12BN254_c12_x)
256
+ 0n :MLOAD(frobFp12BN254_c12_y)
257
+ 12135813371521139050994037868617609616787958635633452590810720783422678470818n :MLOAD(frobFp12BN254_c13_x)
258
+ 8978686149504228545909850167913259590937983131916839958350011601804054476893n :MLOAD(frobFp12BN254_c13_y)
259
+ 9584641713043712721593590042581712654775596374742780276939764667903927806313n :MLOAD(frobFp12BN254_c21_x)
260
+ 20476170829590101375852353274876318157843683729155685571889366804266103799363n :MLOAD(frobFp12BN254_c21_y)
261
+ 8388916578362501695849260316596592932525470900775430933148668612207026983089n :MLOAD(frobFp12BN254_c22_x)
262
+ 7358162764234297459542225094137172218712665797959405470620213129713321020023n :MLOAD(frobFp12BN254_c22_y)
263
+ 18558562840876269057841639761243305870292532112761084078231157243871160309578n :MLOAD(frobFp12BN254_c23_x)
264
+ 11857974535903257516183381046246360366676403947472414230254839754001932999778n :MLOAD(frobFp12BN254_c23_y)
265
+
266
+ ; 5] Frobenius 2
267
+ 2n :MSTORE(frob2Fp12BN254_a11_x)
268
+ 4n :MSTORE(frob2Fp12BN254_a11_y)
269
+ 0n :MSTORE(frob2Fp12BN254_a12_x)
270
+ 0n :MSTORE(frob2Fp12BN254_a12_y)
271
+ 0n :MSTORE(frob2Fp12BN254_a13_x)
272
+ 5n :MSTORE(frob2Fp12BN254_a13_y)
273
+ 5n :MSTORE(frob2Fp12BN254_a21_x)
274
+ 10n :MSTORE(frob2Fp12BN254_a21_y)
275
+ 20n :MSTORE(frob2Fp12BN254_a22_x)
276
+ 30n :MSTORE(frob2Fp12BN254_a22_y)
277
+ 7n :MSTORE(frob2Fp12BN254_a23_x)
278
+ 69n :MSTORE(frob2Fp12BN254_a23_y)
279
+ :CALL(frob2Fp12BN254)
280
+ 2n :MLOAD(frob2Fp12BN254_c11_x)
281
+ 4n :MLOAD(frob2Fp12BN254_c11_y)
282
+ 0n :MLOAD(frob2Fp12BN254_c12_x)
283
+ 0n :MLOAD(frob2Fp12BN254_c12_y)
284
+ 0n :MLOAD(frob2Fp12BN254_c13_x)
285
+ 11019802425740609607093018714128810104871396294401028259830n :MLOAD(frob2Fp12BN254_c13_y)
286
+ 21888242871839275211226603319516665481603292443169013557817641600244197948753n :MLOAD(frob2Fp12BN254_c21_x)
287
+ 21888242871839275200206800893776055874510273729040203452946245305843169688923n :MLOAD(frob2Fp12BN254_c21_y)
288
+ 21888242871839275222246405745257275088696311157297823662689037894645226208563n :MLOAD(frob2Fp12BN254_c22_x)
289
+ 21888242871839275222246405745257275088696311157297823662689037894645226208553n :MLOAD(frob2Fp12BN254_c22_y)
290
+ 15427723396036853449930226199780334146819954812161439563769n :MLOAD(frob2Fp12BN254_c23_x)
291
+ 152073273475220412577883658254977579447225268862734189985723n :MLOAD(frob2Fp12BN254_c23_y)
292
+
293
+ ; 6] Frobenius 3
294
+ 2n :MSTORE(frob3Fp12BN254_a11_x)
295
+ 4n :MSTORE(frob3Fp12BN254_a11_y)
296
+ 0n :MSTORE(frob3Fp12BN254_a12_x)
297
+ 0n :MSTORE(frob3Fp12BN254_a12_y)
298
+ 0n :MSTORE(frob3Fp12BN254_a13_x)
299
+ 5n :MSTORE(frob3Fp12BN254_a13_y)
300
+ 5n :MSTORE(frob3Fp12BN254_a21_x)
301
+ 10n :MSTORE(frob3Fp12BN254_a21_y)
302
+ 20n :MSTORE(frob3Fp12BN254_a22_x)
303
+ 30n :MSTORE(frob3Fp12BN254_a22_y)
304
+ 7n :MSTORE(frob3Fp12BN254_a23_x)
305
+ 69n :MSTORE(frob3Fp12BN254_a23_y)
306
+ :CALL(frob3Fp12BN254)
307
+ 2n :MLOAD(frob3Fp12BN254_c11_x)
308
+ 21888242871839275222246405745257275088696311157297823662689037894645226208579n :MLOAD(frob3Fp12BN254_c11_y)
309
+ 0n :MLOAD(frob3Fp12BN254_c12_x)
310
+ 0n :MLOAD(frob3Fp12BN254_c12_y)
311
+ 15379773288170639757858258400900114640879698627390973011522457221008541989446n :MLOAD(frob3Fp12BN254_c13_x)
312
+ 17154089731429032730858894512983477767751333502592430926476358946503966738576n :MLOAD(frob3Fp12BN254_c13_y)
313
+ 17749105629462879953863937671185175801732786780399070592042899283982922600439n :MLOAD(frob3Fp12BN254_c21_x)
314
+ 15874459213129437722334522520084447110335778476790487949919376082271117456313n :MLOAD(frob3Fp12BN254_c21_y)
315
+ 13499326293476773526397145428660682156170840256522392729540369282438199225494n :MLOAD(frob3Fp12BN254_c22_x)
316
+ 14530080107604977762704180651120102869983645359338418192068824764931905188560n :MLOAD(frob3Fp12BN254_c22_y)
317
+ 9835836312269481659124129352040423254366959727421963915440501313066399824733n :MLOAD(frob3Fp12BN254_c23_x)
318
+ 2627768430169233579625702931774614886811535516639531274999928953109345755919n :MLOAD(frob3Fp12BN254_c23_y)
319
+
320
+ ; 7] Sparse Multiplication A
321
+ 2n :MSTORE(sparseMulAFp12BN254_a11_x)
322
+ 4n :MSTORE(sparseMulAFp12BN254_a11_y)
323
+ 0n :MSTORE(sparseMulAFp12BN254_a12_x)
324
+ 0n :MSTORE(sparseMulAFp12BN254_a12_y)
325
+ 0n :MSTORE(sparseMulAFp12BN254_a13_x)
326
+ 5n :MSTORE(sparseMulAFp12BN254_a13_y)
327
+ 5n :MSTORE(sparseMulAFp12BN254_a21_x)
328
+ 10n :MSTORE(sparseMulAFp12BN254_a21_y)
329
+ 20n :MSTORE(sparseMulAFp12BN254_a22_x)
330
+ 30n :MSTORE(sparseMulAFp12BN254_a22_y)
331
+ 7n :MSTORE(sparseMulAFp12BN254_a23_x)
332
+ 69n :MSTORE(sparseMulAFp12BN254_a23_y)
333
+ 7n :MSTORE(sparseMulAFp12BN254_b12_x)
334
+ 6n :MSTORE(sparseMulAFp12BN254_b12_y)
335
+ 7n :MSTORE(sparseMulAFp12BN254_b22_x)
336
+ 83n :MSTORE(sparseMulAFp12BN254_b22_y)
337
+ 2n :MSTORE(sparseMulAFp12BN254_b23_x)
338
+ 29n :MSTORE(sparseMulAFp12BN254_b23_y)
339
+ :CALL(sparseMulAFp12BN254)
340
+ 21888242871839275222246405745257275088696311157297823662689037894645226182573n :MLOAD(sparseMulAFp12BN254_c11_x)
341
+ 15970n :MLOAD(sparseMulAFp12BN254_c11_y)
342
+ 21888242871839275222246405745257275088696311157297823662689037894645226148297n :MLOAD(sparseMulAFp12BN254_c12_x)
343
+ 8868n :MLOAD(sparseMulAFp12BN254_c12_y)
344
+ 21888242871839275222246405745257275088696311157297823662689037894645226189564n :MLOAD(sparseMulAFp12BN254_c13_x)
345
+ 1567n :MLOAD(sparseMulAFp12BN254_c13_y)
346
+ 21888242871839275222246405745257275088696311157297823662689037894645226201003n :MLOAD(sparseMulAFp12BN254_c21_x)
347
+ 4260n :MLOAD(sparseMulAFp12BN254_c21_y)
348
+ 21888242871839275222246405745257275088696311157297823662689037894645226206925n :MLOAD(sparseMulAFp12BN254_c22_x)
349
+ 239n :MLOAD(sparseMulAFp12BN254_c22_y)
350
+ 21888242871839275222246405745257275088696311157297823662689037894645226208431n :MLOAD(sparseMulAFp12BN254_c23_x)
351
+ 396n :MLOAD(sparseMulAFp12BN254_c23_y)
352
+
353
+ ; 8] Sparse Multiplication B
354
+ 2n :MSTORE(sparseMulBFp12BN254_a11_x)
355
+ 4n :MSTORE(sparseMulBFp12BN254_a11_y)
356
+ 0n :MSTORE(sparseMulBFp12BN254_a12_x)
357
+ 0n :MSTORE(sparseMulBFp12BN254_a12_y)
358
+ 0n :MSTORE(sparseMulBFp12BN254_a13_x)
359
+ 5n :MSTORE(sparseMulBFp12BN254_a13_y)
360
+ 5n :MSTORE(sparseMulBFp12BN254_a21_x)
361
+ 10n :MSTORE(sparseMulBFp12BN254_a21_y)
362
+ 20n :MSTORE(sparseMulBFp12BN254_a22_x)
363
+ 30n :MSTORE(sparseMulBFp12BN254_a22_y)
364
+ 7n :MSTORE(sparseMulBFp12BN254_a23_x)
365
+ 69n :MSTORE(sparseMulBFp12BN254_a23_y)
366
+ 7n :MSTORE(sparseMulBFp12BN254_b11_x)
367
+ 6n :MSTORE(sparseMulBFp12BN254_b11_y)
368
+ 7n :MSTORE(sparseMulBFp12BN254_b13_x)
369
+ 83n :MSTORE(sparseMulBFp12BN254_b13_y)
370
+ 2n :MSTORE(sparseMulBFp12BN254_b22_x)
371
+ 29n :MSTORE(sparseMulBFp12BN254_b22_y)
372
+ :CALL(sparseMulBFp12BN254)
373
+ 21888242871839275222246405745257275088696311157297823662689037894645226200463n :MLOAD(sparseMulBFp12BN254_c11_x)
374
+ 4970n :MLOAD(sparseMulBFp12BN254_c11_y)
375
+ 21888242871839275222246405745257275088696311157297823662689037894645226186589n :MLOAD(sparseMulBFp12BN254_c12_x)
376
+ 982n :MLOAD(sparseMulBFp12BN254_c12_y)
377
+ 21888242871839275222246405745257275088696311157297823662689037894645226207955n :MLOAD(sparseMulBFp12BN254_c13_x)
378
+ 394n :MLOAD(sparseMulBFp12BN254_c13_y)
379
+ 21888242871839275222246405745257275088696311157297823662689037894645226184223n :MLOAD(sparseMulBFp12BN254_c21_x)
380
+ 14525n :MLOAD(sparseMulBFp12BN254_c21_y)
381
+ 21888242871839275222246405745257275088696311157297823662689037894645226156265n :MLOAD(sparseMulBFp12BN254_c22_x)
382
+ 4294n :MLOAD(sparseMulBFp12BN254_c22_y)
383
+ 21888242871839275222246405745257275088696311157297823662689037894645226207423n :MLOAD(sparseMulBFp12BN254_c23_x)
384
+ 1010n :MLOAD(sparseMulBFp12BN254_c23_y)
385
+
386
+ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
387
+ ;; UNUSED
388
+ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
389
+
390
+ ; 1] Addition
391
+ 10n :MSTORE(addFp12BN254_a11_x)
392
+ 2n :MSTORE(addFp12BN254_a11_y)
393
+ 5n :MSTORE(addFp12BN254_a12_x)
394
+ 13n :MSTORE(addFp12BN254_a12_y)
395
+ 7n :MSTORE(addFp12BN254_a13_x)
396
+ 5n :MSTORE(addFp12BN254_a13_y)
397
+ 10n :MSTORE(addFp12BN254_a21_x)
398
+ 2n :MSTORE(addFp12BN254_a21_y)
399
+ 5n :MSTORE(addFp12BN254_a22_x)
400
+ 13n :MSTORE(addFp12BN254_a22_y)
401
+ 7n :MSTORE(addFp12BN254_a23_x)
402
+ 5n :MSTORE(addFp12BN254_a23_y)
403
+ 78n :MSTORE(addFp12BN254_b11_x)
404
+ 5n :MSTORE(addFp12BN254_b11_y)
405
+ 3n :MSTORE(addFp12BN254_b12_x)
406
+ 193n :MSTORE(addFp12BN254_b12_y)
407
+ 20n :MSTORE(addFp12BN254_b13_x)
408
+ 2n :MSTORE(addFp12BN254_b13_y)
409
+ 1n :MSTORE(addFp12BN254_b21_x)
410
+ 0n :MSTORE(addFp12BN254_b21_y)
411
+ 0n :MSTORE(addFp12BN254_b22_x)
412
+ 3n :MSTORE(addFp12BN254_b22_y)
413
+ 69n :MSTORE(addFp12BN254_b23_x)
414
+ 27n :MSTORE(addFp12BN254_b23_y)
415
+ :CALL(addFp12BN254)
416
+ 88n :MLOAD(addFp12BN254_c11_x)
417
+ 7n :MLOAD(addFp12BN254_c11_y)
418
+ 8n :MLOAD(addFp12BN254_c12_x)
419
+ 206n :MLOAD(addFp12BN254_c12_y)
420
+ 27n :MLOAD(addFp12BN254_c13_x)
421
+ 7n :MLOAD(addFp12BN254_c13_y)
422
+ 11n :MLOAD(addFp12BN254_c21_x)
423
+ 2n :MLOAD(addFp12BN254_c21_y)
424
+ 5n :MLOAD(addFp12BN254_c22_x)
425
+ 16n :MLOAD(addFp12BN254_c22_y)
426
+ 76n :MLOAD(addFp12BN254_c23_x)
427
+ 32n :MLOAD(addFp12BN254_c23_y)
428
+
429
+ ; 2] Subtraction
430
+ 10n :MSTORE(subFp12BN254_a11_x)
431
+ 2n :MSTORE(subFp12BN254_a11_y)
432
+ 5n :MSTORE(subFp12BN254_a12_x)
433
+ 13n :MSTORE(subFp12BN254_a12_y)
434
+ 7n :MSTORE(subFp12BN254_a13_x)
435
+ 5n :MSTORE(subFp12BN254_a13_y)
436
+ 10n :MSTORE(subFp12BN254_a21_x)
437
+ 2n :MSTORE(subFp12BN254_a21_y)
438
+ 5n :MSTORE(subFp12BN254_a22_x)
439
+ 13n :MSTORE(subFp12BN254_a22_y)
440
+ 7n :MSTORE(subFp12BN254_a23_x)
441
+ 5n :MSTORE(subFp12BN254_a23_y)
442
+ 78n :MSTORE(subFp12BN254_b11_x)
443
+ 5n :MSTORE(subFp12BN254_b11_y)
444
+ 3n :MSTORE(subFp12BN254_b12_x)
445
+ 193n :MSTORE(subFp12BN254_b12_y)
446
+ 20n :MSTORE(subFp12BN254_b13_x)
447
+ 2n :MSTORE(subFp12BN254_b13_y)
448
+ 1n :MSTORE(subFp12BN254_b21_x)
449
+ 0n :MSTORE(subFp12BN254_b21_y)
450
+ 0n :MSTORE(subFp12BN254_b22_x)
451
+ 3n :MSTORE(subFp12BN254_b22_y)
452
+ 69n :MSTORE(subFp12BN254_b23_x)
453
+ 27n :MSTORE(subFp12BN254_b23_y)
454
+ :CALL(subFp12BN254)
455
+ 21888242871839275222246405745257275088696311157297823662689037894645226208515n :MLOAD(subFp12BN254_c11_x)
456
+ 21888242871839275222246405745257275088696311157297823662689037894645226208580n :MLOAD(subFp12BN254_c11_y)
457
+ 2n :MLOAD(subFp12BN254_c12_x)
458
+ 21888242871839275222246405745257275088696311157297823662689037894645226208403n :MLOAD(subFp12BN254_c12_y)
459
+ 21888242871839275222246405745257275088696311157297823662689037894645226208570n :MLOAD(subFp12BN254_c13_x)
460
+ 3n :MLOAD(subFp12BN254_c13_y)
461
+ 9n :MLOAD(subFp12BN254_c21_x)
462
+ 2n :MLOAD(subFp12BN254_c21_y)
463
+ 5n :MLOAD(subFp12BN254_c22_x)
464
+ 10n :MLOAD(subFp12BN254_c22_y)
465
+ 21888242871839275222246405745257275088696311157297823662689037894645226208521n :MLOAD(subFp12BN254_c23_x)
466
+ 21888242871839275222246405745257275088696311157297823662689037894645226208561n :MLOAD(subFp12BN254_c23_y)
467
+
468
+ ; 3] Exponentiation
469
+ ; 1) 0^0 = 0
470
+ 0n :MSTORE(expFp12BN254_e)
471
+ 0n :MSTORE(expFp12BN254_a11_x)
472
+ 0n :MSTORE(expFp12BN254_a11_y)
473
+ 0n :MSTORE(expFp12BN254_a12_x)
474
+ 0n :MSTORE(expFp12BN254_a12_y)
475
+ 0n :MSTORE(expFp12BN254_a13_x)
476
+ 0n :MSTORE(expFp12BN254_a13_y)
477
+ 0n :MSTORE(expFp12BN254_a21_x)
478
+ 0n :MSTORE(expFp12BN254_a21_y)
479
+ 0n :MSTORE(expFp12BN254_a22_x)
480
+ 0n :MSTORE(expFp12BN254_a22_y)
481
+ 0n :MSTORE(expFp12BN254_a23_x)
482
+ 0n :MSTORE(expFp12BN254_a23_y)
483
+ :CALL(expFp12BN254)
484
+ 0n :MLOAD(expFp12BN254_c11_x)
485
+ 0n :MLOAD(expFp12BN254_c11_y)
486
+ 0n :MLOAD(expFp12BN254_c12_x)
487
+ 0n :MLOAD(expFp12BN254_c12_y)
488
+ 0n :MLOAD(expFp12BN254_c13_x)
489
+ 0n :MLOAD(expFp12BN254_c13_y)
490
+ 0n :MLOAD(expFp12BN254_c21_x)
491
+ 0n :MLOAD(expFp12BN254_c21_y)
492
+ 0n :MLOAD(expFp12BN254_c22_x)
493
+ 0n :MLOAD(expFp12BN254_c22_y)
494
+ 0n :MLOAD(expFp12BN254_c23_x)
495
+ 0n :MLOAD(expFp12BN254_c23_y)
496
+
497
+ ; 2) 0^e = 0 with e != 0
498
+ 10n :MSTORE(expFp12BN254_e)
499
+ 0n :MSTORE(expFp12BN254_a11_x)
500
+ 0n :MSTORE(expFp12BN254_a11_y)
501
+ 0n :MSTORE(expFp12BN254_a12_x)
502
+ 0n :MSTORE(expFp12BN254_a12_y)
503
+ 0n :MSTORE(expFp12BN254_a13_x)
504
+ 0n :MSTORE(expFp12BN254_a13_y)
505
+ 0n :MSTORE(expFp12BN254_a21_x)
506
+ 0n :MSTORE(expFp12BN254_a21_y)
507
+ 0n :MSTORE(expFp12BN254_a22_x)
508
+ 0n :MSTORE(expFp12BN254_a22_y)
509
+ 0n :MSTORE(expFp12BN254_a23_x)
510
+ 0n :MSTORE(expFp12BN254_a23_y)
511
+ :CALL(expFp12BN254)
512
+ 0n :MLOAD(expFp12BN254_c11_x)
513
+ 0n :MLOAD(expFp12BN254_c11_y)
514
+ 0n :MLOAD(expFp12BN254_c12_x)
515
+ 0n :MLOAD(expFp12BN254_c12_y)
516
+ 0n :MLOAD(expFp12BN254_c13_x)
517
+ 0n :MLOAD(expFp12BN254_c13_y)
518
+ 0n :MLOAD(expFp12BN254_c21_x)
519
+ 0n :MLOAD(expFp12BN254_c21_y)
520
+ 0n :MLOAD(expFp12BN254_c22_x)
521
+ 0n :MLOAD(expFp12BN254_c22_y)
522
+ 0n :MLOAD(expFp12BN254_c23_x)
523
+ 0n :MLOAD(expFp12BN254_c23_y)
524
+
525
+ ; 3.1) 1^0 = 1
526
+ 0n :MSTORE(expFp12BN254_e)
527
+ 1n :MSTORE(expFp12BN254_a11_x)
528
+ 0n :MSTORE(expFp12BN254_a11_y)
529
+ 0n :MSTORE(expFp12BN254_a12_x)
530
+ 0n :MSTORE(expFp12BN254_a12_y)
531
+ 0n :MSTORE(expFp12BN254_a13_x)
532
+ 0n :MSTORE(expFp12BN254_a13_y)
533
+ 0n :MSTORE(expFp12BN254_a21_x)
534
+ 0n :MSTORE(expFp12BN254_a21_y)
535
+ 0n :MSTORE(expFp12BN254_a22_x)
536
+ 0n :MSTORE(expFp12BN254_a22_y)
537
+ 0n :MSTORE(expFp12BN254_a23_x)
538
+ 0n :MSTORE(expFp12BN254_a23_y)
539
+ :CALL(expFp12BN254)
540
+ 1n :MLOAD(expFp12BN254_c11_x)
541
+ 0n :MLOAD(expFp12BN254_c11_y)
542
+ 0n :MLOAD(expFp12BN254_c12_x)
543
+ 0n :MLOAD(expFp12BN254_c12_y)
544
+ 0n :MLOAD(expFp12BN254_c13_x)
545
+ 0n :MLOAD(expFp12BN254_c13_y)
546
+ 0n :MLOAD(expFp12BN254_c21_x)
547
+ 0n :MLOAD(expFp12BN254_c21_y)
548
+ 0n :MLOAD(expFp12BN254_c22_x)
549
+ 0n :MLOAD(expFp12BN254_c22_y)
550
+ 0n :MLOAD(expFp12BN254_c23_x)
551
+ 0n :MLOAD(expFp12BN254_c23_y)
552
+
553
+ ; 3.2) a^0 = 1 with a > 1
554
+ 0n :MSTORE(expFp12BN254_e)
555
+ 2n :MSTORE(expFp12BN254_a11_x)
556
+ 0n :MSTORE(expFp12BN254_a11_y)
557
+ 0n :MSTORE(expFp12BN254_a12_x)
558
+ 0n :MSTORE(expFp12BN254_a12_y)
559
+ 0n :MSTORE(expFp12BN254_a13_x)
560
+ 0n :MSTORE(expFp12BN254_a13_y)
561
+ 0n :MSTORE(expFp12BN254_a21_x)
562
+ 0n :MSTORE(expFp12BN254_a21_y)
563
+ 0n :MSTORE(expFp12BN254_a22_x)
564
+ 0n :MSTORE(expFp12BN254_a22_y)
565
+ 0n :MSTORE(expFp12BN254_a23_x)
566
+ 0n :MSTORE(expFp12BN254_a23_y)
567
+ :CALL(expFp12BN254)
568
+ 1n :MLOAD(expFp12BN254_c11_x)
569
+ 0n :MLOAD(expFp12BN254_c11_y)
570
+ 0n :MLOAD(expFp12BN254_c12_x)
571
+ 0n :MLOAD(expFp12BN254_c12_y)
572
+ 0n :MLOAD(expFp12BN254_c13_x)
573
+ 0n :MLOAD(expFp12BN254_c13_y)
574
+ 0n :MLOAD(expFp12BN254_c21_x)
575
+ 0n :MLOAD(expFp12BN254_c21_y)
576
+ 0n :MLOAD(expFp12BN254_c22_x)
577
+ 0n :MLOAD(expFp12BN254_c22_y)
578
+ 0n :MLOAD(expFp12BN254_c23_x)
579
+ 0n :MLOAD(expFp12BN254_c23_y)
580
+
581
+ ; 4) Small example
582
+ 167n :MSTORE(expFp12BN254_e)
583
+ 2n :MSTORE(expFp12BN254_a11_x)
584
+ 4n :MSTORE(expFp12BN254_a11_y)
585
+ 0n :MSTORE(expFp12BN254_a12_x)
586
+ 0n :MSTORE(expFp12BN254_a12_y)
587
+ 0n :MSTORE(expFp12BN254_a13_x)
588
+ 5n :MSTORE(expFp12BN254_a13_y)
589
+ 5n :MSTORE(expFp12BN254_a21_x)
590
+ 10n :MSTORE(expFp12BN254_a21_y)
591
+ 20n :MSTORE(expFp12BN254_a22_x)
592
+ 30n :MSTORE(expFp12BN254_a22_y)
593
+ 7n :MSTORE(expFp12BN254_a23_x)
594
+ 69n :MSTORE(expFp12BN254_a23_y)
595
+ :CALL(expFp12BN254)
596
+ 20586466107674193719139483068538172518814581654122963093910816135984072539339n :MLOAD(expFp12BN254_c11_x)
597
+ 5953152173779773418366712639682598574554542297764337418575574775937014969989n :MLOAD(expFp12BN254_c11_y)
598
+ 3661221552326322626584296132914038982026189413490444409336642019079026110580n :MLOAD(expFp12BN254_c12_x)
599
+ 20307132177350548649365896131720817832905154290927819017533246898384788331797n :MLOAD(expFp12BN254_c12_y)
600
+ 6554555865226798697690787889597704881283210849129154679946065129492384662441n :MLOAD(expFp12BN254_c13_x)
601
+ 3734827310994017806686109338552434684262950155862064206859738515342034657482n :MLOAD(expFp12BN254_c13_y)
602
+ 12833166236118024621207291725677388530384380602869578473315220328428476013127n :MLOAD(expFp12BN254_c21_x)
603
+ 4283613850875227600923719261463876211784033209984079537562941239663105744102n :MLOAD(expFp12BN254_c21_y)
604
+ 1362526929780209469431909191206089688453294120749489634524494745650488027728n :MLOAD(expFp12BN254_c22_x)
605
+ 9956431918991355996517300910757034285810490343731619009685769604165956972299n :MLOAD(expFp12BN254_c22_y)
606
+ 4130369998871020954078407548456754295747138847271917082666014536095464174364n :MLOAD(expFp12BN254_c23_x)
607
+ 1685641307692274787278258791922218462843126978449545532205987451962723928051n :MLOAD(expFp12BN254_c23_y)
608
+
609
+ ; 5) Big example
610
+ 123456789n :MSTORE(expFp12BN254_e)
611
+ 12879671296228341798957541889042068293248913689212425431224938470232546313254n :MSTORE(expFp12BN254_a11_x)
612
+ 3326450555199805883965490851796414254830144151329718176108864533289444035270n :MSTORE(expFp12BN254_a11_y)
613
+ 20034916004680903865371475524544157810838259782601065778963371780592670397755n :MSTORE(expFp12BN254_a12_x)
614
+ 18196221800554323016660057972017335112712278872243164622794778048181747904770n :MSTORE(expFp12BN254_a12_y)
615
+ 2650685350723162073065693030364953757603657135232283880472468071129041178893n :MSTORE(expFp12BN254_a13_x)
616
+ 1415534485628002925645978830263295545820817030311522411523977773123510463790n :MSTORE(expFp12BN254_a13_y)
617
+ 11706129207700151979042100288958216850158405562525260961392090752318820540155n :MSTORE(expFp12BN254_a21_x)
618
+ 13581688218243497693010389261307054804658398598414171976249347555990073884710n :MSTORE(expFp12BN254_a21_y)
619
+ 865661210072615391091663782916883487315505694294592934212781713437127182959n :MSTORE(expFp12BN254_a22_x)
620
+ 5364456672142552956341240304849409513108281743490635067211876654163672173225n :MSTORE(expFp12BN254_a22_y)
621
+ 11182696274116283149832659131689911508224992839995672842130064887471806829782n :MSTORE(expFp12BN254_a23_x)
622
+ 13862086431460254638576437312497952755826436162922426416336796129991391475329n :MSTORE(expFp12BN254_a23_y)
623
+ :CALL(expFp12BN254)
624
+ 9142802627783465593784550980810782727704583580322919181640530262912683835706n :MLOAD(expFp12BN254_c11_x)
625
+ 19736874964269248324216922850918903092400740214902232906683421321363422544357n :MLOAD(expFp12BN254_c11_y)
626
+ 9476200663504583903004483007751205251215508180544679553549510605575011163386n :MLOAD(expFp12BN254_c12_x)
627
+ 14186756296199578735747739817754651119620054607441288968678361496476074454054n :MLOAD(expFp12BN254_c12_y)
628
+ 10811240079738065614702763572796448667972493770153862713781508146531351529275n :MLOAD(expFp12BN254_c13_x)
629
+ 6916893165906060112199703736125165648798333038384173213301776553630314914213n :MLOAD(expFp12BN254_c13_y)
630
+ 11668055882291754411787223452140593554367736493306160926568664665506066150091n :MLOAD(expFp12BN254_c21_x)
631
+ 16585699975551858978680527368328456609554018944982648222232641881312088417111n :MLOAD(expFp12BN254_c21_y)
632
+ 9954544605243092097823114175115201680862638136567273250934647601724164887142n :MLOAD(expFp12BN254_c22_x)
633
+ 18147343955385037719970517295541563914369052645949029345280746768598576659961n :MLOAD(expFp12BN254_c22_y)
634
+ 2894810207171007395751896130534905544170418813733418015224386592699923578372n :MLOAD(expFp12BN254_c23_x)
635
+ 18124993142426825678658622810384924838784371007656354124172463271771994460493n :MLOAD(expFp12BN254_c23_y)
636
+
637
+
638
+ $ => A :MLOAD(initial_A)
639
+ $ => B :MLOAD(initial_B)
640
+ $ => C :MLOAD(initial_C)
641
+ $ => D :MLOAD(initial_D)
642
+ $ => E :MLOAD(initial_E)
643
+ $ => CTX :MLOAD(initial_CTX)
644
+ $ => SP :MLOAD(initial_SP)
645
+ $ => PC :MLOAD(initial_PC)
646
+ $ => GAS :MLOAD(initial_GAS)
647
+ $ => SR :MLOAD(initial_SR)
648
+ $ => RR :MLOAD(initial_RR)
649
+ $ => HASHPOS :MLOAD(initial_HASHPOS)
650
+ $ => RCX :MLOAD(initial_RCX)
651
+
652
+ ; label finalizeExecution needed by executor C++
653
+ finalizeExecution:
654
+ ${beforeLast()} : JMPN(finalizeExecution)
655
+
656
+ : JMP(start)
657
+ opINVALID:
658
+ ; label checkAndSaveFrom needed by executor C++
659
+ checkAndSaveFrom:
660
+ :JMP(opINVALID)
661
+
662
+ INCLUDE "../main/pairings/FPBN254/reduceFpBN254.zkasm"
663
+
664
+ INCLUDE "../main/pairings/FP2BN254/addFp2BN254.zkasm"
665
+ INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
666
+ INCLUDE "../main/pairings/FP2BN254/mulFp2BN254.zkasm"
667
+ INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
668
+ INCLUDE "../main/pairings/FP2BN254/invFp2BN254.zkasm"
669
+ INCLUDE "../main/pairings/FP2BN254/escalarMulFp2BN254.zkasm"
670
+
671
+ INCLUDE "../main/pairings/FP6BN254/addFp6BN254.zkasm"
672
+ INCLUDE "../main/pairings/FP6BN254/subFp6BN254.zkasm"
673
+ INCLUDE "../main/pairings/FP6BN254/mulFp6BN254.zkasm"
674
+ INCLUDE "../main/pairings/FP6BN254/escalarMulFp6BN254.zkasm"
675
+ INCLUDE "../main/pairings/FP6BN254/sparseMulAFp6BN254.zkasm"
676
+ INCLUDE "../main/pairings/FP6BN254/sparseMulBFp6BN254.zkasm"
677
+ INCLUDE "../main/pairings/FP6BN254/sparseMulCFp6BN254.zkasm"
678
+ INCLUDE "../main/pairings/FP6BN254/squareFp6BN254.zkasm"
679
+ INCLUDE "../main/pairings/FP6BN254/inverseFp6BN254.zkasm"
680
+
681
+ INCLUDE "../main/pairings/FP12BN254/mulFp12BN254.zkasm"
682
+ INCLUDE "../main/pairings/FP12BN254/sparseMulAFp12BN254.zkasm"
683
+ INCLUDE "../main/pairings/FP12BN254/sparseMulBFp12BN254.zkasm"
684
+ INCLUDE "../main/pairings/FP12BN254/squareFp12BN254.zkasm"
685
+ INCLUDE "../main/pairings/FP12BN254/inverseFp12BN254.zkasm"
686
+ INCLUDE "../main/pairings/FP12BN254/frobFp12BN254.zkasm"
687
+ INCLUDE "../main/pairings/FP12BN254/frob2Fp12BN254.zkasm"
688
+ INCLUDE "../main/pairings/FP12BN254/frob3Fp12BN254.zkasm"
689
+
690
+ INCLUDE "../main/pairings/unused/addFp12BN254.zkasm"
691
+ INCLUDE "../main/pairings/unused/subFp12BN254.zkasm"
692
+ INCLUDE "../main/pairings/unused/expFp12BN254.zkasm"