@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/testPairingBN254.zkasm ADDED
@@ -0,0 +1,463 @@
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
+ VAR GLOBAL lastHashKId
12
+ VAR GLOBAL lastHashPId
13
+
14
+ VAR GLOBAL initial_A
15
+ VAR GLOBAL initial_B
16
+ VAR GLOBAL initial_C
17
+ VAR GLOBAL initial_D
18
+ VAR GLOBAL initial_E
19
+ VAR GLOBAL initial_CTX
20
+ VAR GLOBAL initial_SP
21
+ VAR GLOBAL initial_PC
22
+ VAR GLOBAL initial_GAS
23
+ VAR GLOBAL initial_SR
24
+ VAR GLOBAL initial_RR
25
+ VAR GLOBAL initial_HASHPOS
26
+ VAR GLOBAL initial_RCX
27
+
28
+ start:
29
+
30
+ STEP => A
31
+ 0 :ASSERT
32
+
33
+
34
+ A :MSTORE(initial_A)
35
+ B :MSTORE(initial_B)
36
+ C :MSTORE(initial_C)
37
+ D :MSTORE(initial_D)
38
+ E :MSTORE(initial_E)
39
+ CTX :MSTORE(initial_CTX)
40
+ SP :MSTORE(initial_SP)
41
+ PC :MSTORE(initial_PC)
42
+ GAS :MSTORE(initial_GAS)
43
+ SR :MSTORE(initial_SR)
44
+ RR :MSTORE(initial_RR)
45
+ HASHPOS :MSTORE(initial_HASHPOS)
46
+ RCX :MSTORE(initial_RCX)
47
+ 0 => A,B,C,D,E,CTX, SP, PC, GAS, SR, RR, HASHPOS, RCX
48
+
49
+ -1 :MSTORE(lastHashKId)
50
+ -1 :MSTORE(lastHashPId)
51
+
52
+ ; Generators P,Q
53
+
54
+ ; 1] Degenerate tests: e(0,Q) = e(P,0) = e(0,0) = 1
55
+ 0n :MSTORE(pairingBN254_P_x)
56
+ 0n :MSTORE(pairingBN254_P_y)
57
+ 4351401811647638138392695977895401859084096897123577305203754529537814663109n :MSTORE(pairingBN254_Q_x1)
58
+ 2046729899889901964437012741252570163462327955511008570480857952505584629957n :MSTORE(pairingBN254_Q_x2)
59
+ 322506915963699862059245473966830598387691259163658767351233132602858049743n :MSTORE(pairingBN254_Q_y1)
60
+ 14316075702276096164483565793667862351398527813470041574939773541551376891710n :MSTORE(pairingBN254_Q_y2)
61
+ :CALL(pairingBN254)
62
+ 1n :MLOAD(pairingBN254_f11_x)
63
+ 0n :MLOAD(pairingBN254_f11_y)
64
+ 0n :MLOAD(pairingBN254_f12_x)
65
+ 0n :MLOAD(pairingBN254_f12_y)
66
+ 0n :MLOAD(pairingBN254_f13_x)
67
+ 0n :MLOAD(pairingBN254_f13_y)
68
+ 0n :MLOAD(pairingBN254_f21_x)
69
+ 0n :MLOAD(pairingBN254_f21_y)
70
+ 0n :MLOAD(pairingBN254_f22_x)
71
+ 0n :MLOAD(pairingBN254_f22_y)
72
+ 0n :MLOAD(pairingBN254_f23_x)
73
+ 0n :MLOAD(pairingBN254_f23_y)
74
+
75
+ 1368015179489954701390400359078579693043519447331113978918064868415326638035n :MSTORE(pairingBN254_P_x)
76
+ 9918110051302171585080402603319702774565515993150576347155970296011118125764n :MSTORE(pairingBN254_P_y)
77
+ 0n :MSTORE(pairingBN254_Q_x1)
78
+ 0n :MSTORE(pairingBN254_Q_x2)
79
+ 0n :MSTORE(pairingBN254_Q_y1)
80
+ 0n :MSTORE(pairingBN254_Q_y2)
81
+ :CALL(pairingBN254)
82
+ 1n :MLOAD(pairingBN254_f11_x)
83
+ 0n :MLOAD(pairingBN254_f11_y)
84
+ 0n :MLOAD(pairingBN254_f12_x)
85
+ 0n :MLOAD(pairingBN254_f12_y)
86
+ 0n :MLOAD(pairingBN254_f13_x)
87
+ 0n :MLOAD(pairingBN254_f13_y)
88
+ 0n :MLOAD(pairingBN254_f21_x)
89
+ 0n :MLOAD(pairingBN254_f21_y)
90
+ 0n :MLOAD(pairingBN254_f22_x)
91
+ 0n :MLOAD(pairingBN254_f22_y)
92
+ 0n :MLOAD(pairingBN254_f23_x)
93
+ 0n :MLOAD(pairingBN254_f23_y)
94
+
95
+ 0n :MSTORE(pairingBN254_P_x)
96
+ 0n :MSTORE(pairingBN254_P_y)
97
+ 0n :MSTORE(pairingBN254_Q_x1)
98
+ 0n :MSTORE(pairingBN254_Q_x2)
99
+ 0n :MSTORE(pairingBN254_Q_y1)
100
+ 0n :MSTORE(pairingBN254_Q_y2)
101
+ :CALL(pairingBN254)
102
+ 1n :MLOAD(pairingBN254_f11_x)
103
+ 0n :MLOAD(pairingBN254_f11_y)
104
+ 0n :MLOAD(pairingBN254_f12_x)
105
+ 0n :MLOAD(pairingBN254_f12_y)
106
+ 0n :MLOAD(pairingBN254_f13_x)
107
+ 0n :MLOAD(pairingBN254_f13_y)
108
+ 0n :MLOAD(pairingBN254_f21_x)
109
+ 0n :MLOAD(pairingBN254_f21_y)
110
+ 0n :MLOAD(pairingBN254_f22_x)
111
+ 0n :MLOAD(pairingBN254_f22_y)
112
+ 0n :MLOAD(pairingBN254_f23_x)
113
+ 0n :MLOAD(pairingBN254_f23_y)
114
+
115
+ ; 2] P not in range
116
+ 21888242871839275222246405745257275088696311157297823662689037894645226208583n :MSTORE(pairingBN254_P_x)
117
+ 0n :MSTORE(pairingBN254_P_y)
118
+ 1n :MSTORE(pairingBN254_Q_x1)
119
+ 2n :MSTORE(pairingBN254_Q_x2)
120
+ 3n :MSTORE(pairingBN254_Q_y1)
121
+ 4n :MSTORE(pairingBN254_Q_y2)
122
+ :CALL(pairingBN254)
123
+ 1 => A
124
+ 1 :EQ
125
+
126
+ 0n :MSTORE(pairingBN254_P_x)
127
+ 21888242871839275222246405745257275088696311157297823662689037894645226208583n :MSTORE(pairingBN254_P_y)
128
+ 1n :MSTORE(pairingBN254_Q_x1)
129
+ 2n :MSTORE(pairingBN254_Q_x2)
130
+ 3n :MSTORE(pairingBN254_Q_y1)
131
+ 4n :MSTORE(pairingBN254_Q_y2)
132
+ :CALL(pairingBN254)
133
+ 2 => A
134
+ 1 :EQ
135
+
136
+ ; 3] Q not in range
137
+ 0n :MSTORE(pairingBN254_P_x)
138
+ 0n :MSTORE(pairingBN254_P_y)
139
+ 21888242871839275222246405745257275088696311157297823662689037894645226208583n :MSTORE(pairingBN254_Q_x1)
140
+ 2n :MSTORE(pairingBN254_Q_x2)
141
+ 3n :MSTORE(pairingBN254_Q_y1)
142
+ 4n :MSTORE(pairingBN254_Q_y2)
143
+ :CALL(pairingBN254)
144
+ 3 => A
145
+ 1 :EQ
146
+
147
+ 0n :MSTORE(pairingBN254_P_x)
148
+ 0n :MSTORE(pairingBN254_P_y)
149
+ 1n :MSTORE(pairingBN254_Q_x1)
150
+ 21888242871839275222246405745257275088696311157297823662689037894645226208583n :MSTORE(pairingBN254_Q_x2)
151
+ 3n :MSTORE(pairingBN254_Q_y1)
152
+ 4n :MSTORE(pairingBN254_Q_y2)
153
+ :CALL(pairingBN254)
154
+ 4 => A
155
+ 1 :EQ
156
+
157
+ 0n :MSTORE(pairingBN254_P_x)
158
+ 0n :MSTORE(pairingBN254_P_y)
159
+ 1n :MSTORE(pairingBN254_Q_x1)
160
+ 2n :MSTORE(pairingBN254_Q_x2)
161
+ 21888242871839275222246405745257275088696311157297823662689037894645226208583n :MSTORE(pairingBN254_Q_y1)
162
+ 4n :MSTORE(pairingBN254_Q_y2)
163
+ :CALL(pairingBN254)
164
+ 5 => A
165
+ 1 :EQ
166
+
167
+ 0n :MSTORE(pairingBN254_P_x)
168
+ 0n :MSTORE(pairingBN254_P_y)
169
+ 1n :MSTORE(pairingBN254_Q_x1)
170
+ 2n :MSTORE(pairingBN254_Q_x2)
171
+ 3n :MSTORE(pairingBN254_Q_y1)
172
+ 21888242871839275222246405745257275088696311157297823662689037894645226208583n :MSTORE(pairingBN254_Q_y2)
173
+ :CALL(pairingBN254)
174
+ 6 => A
175
+ 1 :EQ
176
+
177
+ ; 4] P not in G1
178
+ 1n :MSTORE(pairingBN254_P_x)
179
+ 1n :MSTORE(pairingBN254_P_y)
180
+ 0n :MSTORE(pairingBN254_Q_x1)
181
+ 0n :MSTORE(pairingBN254_Q_x2)
182
+ 0n :MSTORE(pairingBN254_Q_y1)
183
+ 0n :MSTORE(pairingBN254_Q_y2)
184
+ :CALL(pairingBN254)
185
+ 7 => A
186
+ 1 :EQ
187
+
188
+ ; 5] Q not in G2
189
+ 0n :MSTORE(pairingBN254_P_x)
190
+ 0n :MSTORE(pairingBN254_P_y)
191
+ 13952973379259391431794065814946995996741015657664522404741834284791195202656n :MSTORE(pairingBN254_Q_x1)
192
+ 10904417650644905372723866879625669404817699819926286815323845522270190436451n :MSTORE(pairingBN254_Q_x2)
193
+ 12292403207927938194042684085166933223459250332097452603928615449631462314854n :MSTORE(pairingBN254_Q_y1)
194
+ 3535501093699632689489376651381121898720279562088698464643486166587401099479n :MSTORE(pairingBN254_Q_y2)
195
+ :CALL(pairingBN254)
196
+ 8 => A
197
+ 1 :EQ
198
+
199
+ ; 6] Bilinearity test: e(2P,12Q) = e(P,12Q)² = e(2P,Q)¹² = e(P,Q)²⁴ = e(12P,2Q)
200
+ ; e(2P,12Q)
201
+ 1368015179489954701390400359078579693043519447331113978918064868415326638035n :MSTORE(pairingBN254_P_x)
202
+ 9918110051302171585080402603319702774565515993150576347155970296011118125764n :MSTORE(pairingBN254_P_y)
203
+ 4351401811647638138392695977895401859084096897123577305203754529537814663109n :MSTORE(pairingBN254_Q_x1)
204
+ 2046729899889901964437012741252570163462327955511008570480857952505584629957n :MSTORE(pairingBN254_Q_x2)
205
+ 322506915963699862059245473966830598387691259163658767351233132602858049743n :MSTORE(pairingBN254_Q_y1)
206
+ 14316075702276096164483565793667862351398527813470041574939773541551376891710n :MSTORE(pairingBN254_Q_y2)
207
+ :CALL(pairingBN254)
208
+ 13413524510323321318921703539856938196252165859353070108808910520379565591578n :MLOAD(pairingBN254_f11_x)
209
+ 3548381829456735642031500506306367847474828769923557674325753657986253436214n :MLOAD(pairingBN254_f11_y)
210
+ 11258588180307399598255242775094467208478122055367286369273756816466078325984n :MLOAD(pairingBN254_f12_x)
211
+ 15692415863664227683780306499051704744181486071132299317385971936570963983778n :MLOAD(pairingBN254_f12_y)
212
+ 14331327121685823241734822812072572580994818894715351943735993854561590776973n :MLOAD(pairingBN254_f13_x)
213
+ 5829057651356763815288519037751619402051833008237861839412688801032331829766n :MLOAD(pairingBN254_f13_y)
214
+ 15475783993587934296880977452723101772140252350911606731569729596277613550216n :MLOAD(pairingBN254_f21_x)
215
+ 5097655688415311910623889733978393264040884000272175630800968927057028195666n :MLOAD(pairingBN254_f21_y)
216
+ 11451831001542370722617744987566735321553462342240810632153337322850540201855n :MLOAD(pairingBN254_f22_x)
217
+ 10214880648406402761779167726229820911960967566000435639888288131094179536430n :MLOAD(pairingBN254_f22_y)
218
+ 7513746461017094458199399930075345786758663515755635567834665490471393582925n :MLOAD(pairingBN254_f23_x)
219
+ 1522857835029638585907442329762418957365351568194442821861575097484378991036n :MLOAD(pairingBN254_f23_y)
220
+
221
+ ; e(P,12Q)²
222
+ 1n :MSTORE(pairingBN254_P_x)
223
+ 2n :MSTORE(pairingBN254_P_y)
224
+ 4351401811647638138392695977895401859084096897123577305203754529537814663109n :MSTORE(pairingBN254_Q_x1)
225
+ 2046729899889901964437012741252570163462327955511008570480857952505584629957n :MSTORE(pairingBN254_Q_x2)
226
+ 322506915963699862059245473966830598387691259163658767351233132602858049743n :MSTORE(pairingBN254_Q_y1)
227
+ 14316075702276096164483565793667862351398527813470041574939773541551376891710n :MSTORE(pairingBN254_Q_y2)
228
+ :CALL(pairingBN254)
229
+ 2n :MSTORE(expCycloFp12BN254_e)
230
+ $ => A :MLOAD(pairingBN254_f11_x)
231
+ $ => B :MLOAD(pairingBN254_f11_y)
232
+ A :MSTORE(expCycloFp12BN254_a11_x)
233
+ B :MSTORE(expCycloFp12BN254_a11_y)
234
+ $ => A :MLOAD(pairingBN254_f12_x)
235
+ $ => B :MLOAD(pairingBN254_f12_y)
236
+ A :MSTORE(expCycloFp12BN254_a12_x)
237
+ B :MSTORE(expCycloFp12BN254_a12_y)
238
+ $ => A :MLOAD(pairingBN254_f13_x)
239
+ $ => B :MLOAD(pairingBN254_f13_y)
240
+ A :MSTORE(expCycloFp12BN254_a13_x)
241
+ B :MSTORE(expCycloFp12BN254_a13_y)
242
+ $ => A :MLOAD(pairingBN254_f21_x)
243
+ $ => B :MLOAD(pairingBN254_f21_y)
244
+ A :MSTORE(expCycloFp12BN254_a21_x)
245
+ B :MSTORE(expCycloFp12BN254_a21_y)
246
+ $ => A :MLOAD(pairingBN254_f22_x)
247
+ $ => B :MLOAD(pairingBN254_f22_y)
248
+ A :MSTORE(expCycloFp12BN254_a22_x)
249
+ B :MSTORE(expCycloFp12BN254_a22_y)
250
+ $ => A :MLOAD(pairingBN254_f23_x)
251
+ $ => B :MLOAD(pairingBN254_f23_y)
252
+ A :MSTORE(expCycloFp12BN254_a23_x)
253
+ B :MSTORE(expCycloFp12BN254_a23_y)
254
+ :CALL(expCycloFp12BN254)
255
+ 13413524510323321318921703539856938196252165859353070108808910520379565591578n :MLOAD(expCycloFp12BN254_c11_x)
256
+ 3548381829456735642031500506306367847474828769923557674325753657986253436214n :MLOAD(expCycloFp12BN254_c11_y)
257
+ 11258588180307399598255242775094467208478122055367286369273756816466078325984n :MLOAD(expCycloFp12BN254_c12_x)
258
+ 15692415863664227683780306499051704744181486071132299317385971936570963983778n :MLOAD(expCycloFp12BN254_c12_y)
259
+ 14331327121685823241734822812072572580994818894715351943735993854561590776973n :MLOAD(expCycloFp12BN254_c13_x)
260
+ 5829057651356763815288519037751619402051833008237861839412688801032331829766n :MLOAD(expCycloFp12BN254_c13_y)
261
+ 15475783993587934296880977452723101772140252350911606731569729596277613550216n :MLOAD(expCycloFp12BN254_c21_x)
262
+ 5097655688415311910623889733978393264040884000272175630800968927057028195666n :MLOAD(expCycloFp12BN254_c21_y)
263
+ 11451831001542370722617744987566735321553462342240810632153337322850540201855n :MLOAD(expCycloFp12BN254_c22_x)
264
+ 10214880648406402761779167726229820911960967566000435639888288131094179536430n :MLOAD(expCycloFp12BN254_c22_y)
265
+ 7513746461017094458199399930075345786758663515755635567834665490471393582925n :MLOAD(expCycloFp12BN254_c23_x)
266
+ 1522857835029638585907442329762418957365351568194442821861575097484378991036n :MLOAD(expCycloFp12BN254_c23_y)
267
+
268
+ ; e(2P,Q)¹²
269
+ 1368015179489954701390400359078579693043519447331113978918064868415326638035n :MSTORE(pairingBN254_P_x)
270
+ 9918110051302171585080402603319702774565515993150576347155970296011118125764n :MSTORE(pairingBN254_P_y)
271
+ 10857046999023057135944570762232829481370756359578518086990519993285655852781n :MSTORE(pairingBN254_Q_x1)
272
+ 11559732032986387107991004021392285783925812861821192530917403151452391805634n :MSTORE(pairingBN254_Q_x2)
273
+ 8495653923123431417604973247489272438418190587263600148770280649306958101930n :MSTORE(pairingBN254_Q_y1)
274
+ 4082367875863433681332203403145435568316851327593401208105741076214120093531n :MSTORE(pairingBN254_Q_y2)
275
+ :CALL(pairingBN254)
276
+ 12n :MSTORE(expCycloFp12BN254_e)
277
+ $ => A :MLOAD(pairingBN254_f11_x)
278
+ $ => B :MLOAD(pairingBN254_f11_y)
279
+ A :MSTORE(expCycloFp12BN254_a11_x)
280
+ B :MSTORE(expCycloFp12BN254_a11_y)
281
+ $ => A :MLOAD(pairingBN254_f12_x)
282
+ $ => B :MLOAD(pairingBN254_f12_y)
283
+ A :MSTORE(expCycloFp12BN254_a12_x)
284
+ B :MSTORE(expCycloFp12BN254_a12_y)
285
+ $ => A :MLOAD(pairingBN254_f13_x)
286
+ $ => B :MLOAD(pairingBN254_f13_y)
287
+ A :MSTORE(expCycloFp12BN254_a13_x)
288
+ B :MSTORE(expCycloFp12BN254_a13_y)
289
+ $ => A :MLOAD(pairingBN254_f21_x)
290
+ $ => B :MLOAD(pairingBN254_f21_y)
291
+ A :MSTORE(expCycloFp12BN254_a21_x)
292
+ B :MSTORE(expCycloFp12BN254_a21_y)
293
+ $ => A :MLOAD(pairingBN254_f22_x)
294
+ $ => B :MLOAD(pairingBN254_f22_y)
295
+ A :MSTORE(expCycloFp12BN254_a22_x)
296
+ B :MSTORE(expCycloFp12BN254_a22_y)
297
+ $ => A :MLOAD(pairingBN254_f23_x)
298
+ $ => B :MLOAD(pairingBN254_f23_y)
299
+ A :MSTORE(expCycloFp12BN254_a23_x)
300
+ B :MSTORE(expCycloFp12BN254_a23_y)
301
+ :CALL(expCycloFp12BN254)
302
+ 13413524510323321318921703539856938196252165859353070108808910520379565591578n :MLOAD(expCycloFp12BN254_c11_x)
303
+ 3548381829456735642031500506306367847474828769923557674325753657986253436214n :MLOAD(expCycloFp12BN254_c11_y)
304
+ 11258588180307399598255242775094467208478122055367286369273756816466078325984n :MLOAD(expCycloFp12BN254_c12_x)
305
+ 15692415863664227683780306499051704744181486071132299317385971936570963983778n :MLOAD(expCycloFp12BN254_c12_y)
306
+ 14331327121685823241734822812072572580994818894715351943735993854561590776973n :MLOAD(expCycloFp12BN254_c13_x)
307
+ 5829057651356763815288519037751619402051833008237861839412688801032331829766n :MLOAD(expCycloFp12BN254_c13_y)
308
+ 15475783993587934296880977452723101772140252350911606731569729596277613550216n :MLOAD(expCycloFp12BN254_c21_x)
309
+ 5097655688415311910623889733978393264040884000272175630800968927057028195666n :MLOAD(expCycloFp12BN254_c21_y)
310
+ 11451831001542370722617744987566735321553462342240810632153337322850540201855n :MLOAD(expCycloFp12BN254_c22_x)
311
+ 10214880648406402761779167726229820911960967566000435639888288131094179536430n :MLOAD(expCycloFp12BN254_c22_y)
312
+ 7513746461017094458199399930075345786758663515755635567834665490471393582925n :MLOAD(expCycloFp12BN254_c23_x)
313
+ 1522857835029638585907442329762418957365351568194442821861575097484378991036n :MLOAD(expCycloFp12BN254_c23_y)
314
+
315
+ ; e(P,Q)²⁴
316
+ 1n :MSTORE(pairingBN254_P_x)
317
+ 2n :MSTORE(pairingBN254_P_y)
318
+ 10857046999023057135944570762232829481370756359578518086990519993285655852781n :MSTORE(pairingBN254_Q_x1)
319
+ 11559732032986387107991004021392285783925812861821192530917403151452391805634n :MSTORE(pairingBN254_Q_x2)
320
+ 8495653923123431417604973247489272438418190587263600148770280649306958101930n :MSTORE(pairingBN254_Q_y1)
321
+ 4082367875863433681332203403145435568316851327593401208105741076214120093531n :MSTORE(pairingBN254_Q_y2)
322
+ :CALL(pairingBN254)
323
+ 24n :MSTORE(expCycloFp12BN254_e)
324
+ $ => A :MLOAD(pairingBN254_f11_x)
325
+ $ => B :MLOAD(pairingBN254_f11_y)
326
+ A :MSTORE(expCycloFp12BN254_a11_x)
327
+ B :MSTORE(expCycloFp12BN254_a11_y)
328
+ $ => A :MLOAD(pairingBN254_f12_x)
329
+ $ => B :MLOAD(pairingBN254_f12_y)
330
+ A :MSTORE(expCycloFp12BN254_a12_x)
331
+ B :MSTORE(expCycloFp12BN254_a12_y)
332
+ $ => A :MLOAD(pairingBN254_f13_x)
333
+ $ => B :MLOAD(pairingBN254_f13_y)
334
+ A :MSTORE(expCycloFp12BN254_a13_x)
335
+ B :MSTORE(expCycloFp12BN254_a13_y)
336
+ $ => A :MLOAD(pairingBN254_f21_x)
337
+ $ => B :MLOAD(pairingBN254_f21_y)
338
+ A :MSTORE(expCycloFp12BN254_a21_x)
339
+ B :MSTORE(expCycloFp12BN254_a21_y)
340
+ $ => A :MLOAD(pairingBN254_f22_x)
341
+ $ => B :MLOAD(pairingBN254_f22_y)
342
+ A :MSTORE(expCycloFp12BN254_a22_x)
343
+ B :MSTORE(expCycloFp12BN254_a22_y)
344
+ $ => A :MLOAD(pairingBN254_f23_x)
345
+ $ => B :MLOAD(pairingBN254_f23_y)
346
+ A :MSTORE(expCycloFp12BN254_a23_x)
347
+ B :MSTORE(expCycloFp12BN254_a23_y)
348
+ :CALL(expCycloFp12BN254)
349
+ 13413524510323321318921703539856938196252165859353070108808910520379565591578n :MLOAD(expCycloFp12BN254_c11_x)
350
+ 3548381829456735642031500506306367847474828769923557674325753657986253436214n :MLOAD(expCycloFp12BN254_c11_y)
351
+ 11258588180307399598255242775094467208478122055367286369273756816466078325984n :MLOAD(expCycloFp12BN254_c12_x)
352
+ 15692415863664227683780306499051704744181486071132299317385971936570963983778n :MLOAD(expCycloFp12BN254_c12_y)
353
+ 14331327121685823241734822812072572580994818894715351943735993854561590776973n :MLOAD(expCycloFp12BN254_c13_x)
354
+ 5829057651356763815288519037751619402051833008237861839412688801032331829766n :MLOAD(expCycloFp12BN254_c13_y)
355
+ 15475783993587934296880977452723101772140252350911606731569729596277613550216n :MLOAD(expCycloFp12BN254_c21_x)
356
+ 5097655688415311910623889733978393264040884000272175630800968927057028195666n :MLOAD(expCycloFp12BN254_c21_y)
357
+ 11451831001542370722617744987566735321553462342240810632153337322850540201855n :MLOAD(expCycloFp12BN254_c22_x)
358
+ 10214880648406402761779167726229820911960967566000435639888288131094179536430n :MLOAD(expCycloFp12BN254_c22_y)
359
+ 7513746461017094458199399930075345786758663515755635567834665490471393582925n :MLOAD(expCycloFp12BN254_c23_x)
360
+ 1522857835029638585907442329762418957365351568194442821861575097484378991036n :MLOAD(expCycloFp12BN254_c23_y)
361
+
362
+ ; e(12P,2Q)
363
+ 17108685722251241369314020928988529881027530433467445791267465866135602972753n :MSTORE(pairingBN254_P_x)
364
+ 20666112440056908034039013737427066139426903072479162670940363761207457724060n :MSTORE(pairingBN254_P_y)
365
+ 18029695676650738226693292988307914797657423701064905010927197838374790804409n :MSTORE(pairingBN254_Q_x1)
366
+ 14583779054894525174450323658765874724019480979794335525732096752006891875705n :MSTORE(pairingBN254_Q_x2)
367
+ 2140229616977736810657479771656733941598412651537078903776637920509952744750n :MSTORE(pairingBN254_Q_y1)
368
+ 11474861747383700316476719153975578001603231366361248090558603872215261634898n :MSTORE(pairingBN254_Q_y2)
369
+ :CALL(pairingBN254)
370
+ 13413524510323321318921703539856938196252165859353070108808910520379565591578n :MLOAD(expCycloFp12BN254_c11_x)
371
+ 3548381829456735642031500506306367847474828769923557674325753657986253436214n :MLOAD(expCycloFp12BN254_c11_y)
372
+ 11258588180307399598255242775094467208478122055367286369273756816466078325984n :MLOAD(expCycloFp12BN254_c12_x)
373
+ 15692415863664227683780306499051704744181486071132299317385971936570963983778n :MLOAD(expCycloFp12BN254_c12_y)
374
+ 14331327121685823241734822812072572580994818894715351943735993854561590776973n :MLOAD(expCycloFp12BN254_c13_x)
375
+ 5829057651356763815288519037751619402051833008237861839412688801032331829766n :MLOAD(expCycloFp12BN254_c13_y)
376
+ 15475783993587934296880977452723101772140252350911606731569729596277613550216n :MLOAD(expCycloFp12BN254_c21_x)
377
+ 5097655688415311910623889733978393264040884000272175630800968927057028195666n :MLOAD(expCycloFp12BN254_c21_y)
378
+ 11451831001542370722617744987566735321553462342240810632153337322850540201855n :MLOAD(expCycloFp12BN254_c22_x)
379
+ 10214880648406402761779167726229820911960967566000435639888288131094179536430n :MLOAD(expCycloFp12BN254_c22_y)
380
+ 7513746461017094458199399930075345786758663515755635567834665490471393582925n :MLOAD(expCycloFp12BN254_c23_x)
381
+ 1522857835029638585907442329762418957365351568194442821861575097484378991036n :MLOAD(expCycloFp12BN254_c23_y)
382
+
383
+ end:
384
+
385
+ $ => A :MLOAD(initial_A)
386
+ $ => B :MLOAD(initial_B)
387
+ $ => C :MLOAD(initial_C)
388
+ $ => D :MLOAD(initial_D)
389
+ $ => E :MLOAD(initial_E)
390
+ $ => CTX :MLOAD(initial_CTX)
391
+ $ => SP :MLOAD(initial_SP)
392
+ $ => PC :MLOAD(initial_PC)
393
+ $ => GAS :MLOAD(initial_GAS)
394
+ $ => SR :MLOAD(initial_SR)
395
+ $ => RR :MLOAD(initial_RR)
396
+ $ => HASHPOS :MLOAD(initial_HASHPOS)
397
+ $ => RCX :MLOAD(initial_RCX)
398
+
399
+ ; label finalizeExecution needed by executor C++
400
+ finalizeExecution:
401
+ ${beforeLast()} : JMPN(finalizeExecution)
402
+
403
+ : JMP(start)
404
+ opINVALID:
405
+ ; label checkAndSaveFrom needed by executor C++
406
+ checkAndSaveFrom:
407
+ :JMP(opINVALID)
408
+
409
+ INCLUDE "../main/pairings/constants.zkasm"
410
+
411
+ INCLUDE "../main/pairings/pairingBN254.zkasm"
412
+
413
+ INCLUDE "../main/pairings/FRBN254/reduceFrBN254.zkasm"
414
+
415
+ INCLUDE "../main/pairings/FPBN254/addFpBN254.zkasm"
416
+ INCLUDE "../main/pairings/FPBN254/mulFpBN254.zkasm"
417
+ INCLUDE "../main/pairings/FPBN254/reduceFpBN254.zkasm"
418
+
419
+ INCLUDE "../main/pairings/FP2BN254/addFp2BN254.zkasm"
420
+ INCLUDE "../main/pairings/FP2BN254/subFp2BN254.zkasm"
421
+ INCLUDE "../main/pairings/FP2BN254/mulFp2BN254.zkasm"
422
+ INCLUDE "../main/pairings/FP2BN254/squareFp2BN254.zkasm"
423
+ INCLUDE "../main/pairings/FP2BN254/escalarMulFp2BN254.zkasm"
424
+ INCLUDE "../main/pairings/FP2BN254/invFp2BN254.zkasm"
425
+
426
+ INCLUDE "../main/pairings/FP4BN254/squareFp4BN254.zkasm"
427
+
428
+ INCLUDE "../main/pairings/FP6BN254/addFp6BN254.zkasm"
429
+ INCLUDE "../main/pairings/FP6BN254/subFp6BN254.zkasm"
430
+ INCLUDE "../main/pairings/FP6BN254/mulFp6BN254.zkasm"
431
+ INCLUDE "../main/pairings/FP6BN254/escalarMulFp6BN254.zkasm"
432
+ INCLUDE "../main/pairings/FP6BN254/sparseMulAFp6BN254.zkasm"
433
+ INCLUDE "../main/pairings/FP6BN254/sparseMulBFp6BN254.zkasm"
434
+ INCLUDE "../main/pairings/FP6BN254/sparseMulCFp6BN254.zkasm"
435
+ INCLUDE "../main/pairings/FP6BN254/squareFp6BN254.zkasm"
436
+ INCLUDE "../main/pairings/FP6BN254/inverseFp6BN254.zkasm"
437
+
438
+ INCLUDE "../main/pairings/FP12BN254/mulFp12BN254.zkasm"
439
+ INCLUDE "../main/pairings/FP12BN254/sparseMulAFp12BN254.zkasm"
440
+ INCLUDE "../main/pairings/FP12BN254/sparseMulBFp12BN254.zkasm"
441
+ INCLUDE "../main/pairings/FP12BN254/squareFp12BN254.zkasm"
442
+ INCLUDE "../main/pairings/FP12BN254/inverseFp12BN254.zkasm"
443
+ INCLUDE "../main/pairings/FP12BN254/frobFp12BN254.zkasm"
444
+ INCLUDE "../main/pairings/FP12BN254/frob2Fp12BN254.zkasm"
445
+ INCLUDE "../main/pairings/FP12BN254/frob3Fp12BN254.zkasm"
446
+
447
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/xBinDecompBN254.zkasm"
448
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/compressFp12BN254.zkasm"
449
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/decompressFp12BN254.zkasm"
450
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/squareCompCycloFp12BN254.zkasm"
451
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/squareCycloFp12BN254.zkasm"
452
+ INCLUDE "../main/pairings/FP12BN254/CYCLOFP12BN254/expByXCompCycloFp12BN254.zkasm"
453
+
454
+ INCLUDE "../main/pairings/BN254/addPointBN254.zkasm"
455
+ INCLUDE "../main/pairings/BN254/escalarMulBN254.zkasm"
456
+ INCLUDE "../main/pairings/BN254/lineSamePointsBN254.zkasm"
457
+ INCLUDE "../main/pairings/BN254/lineDiffPointsBN254.zkasm"
458
+
459
+ INCLUDE "../main/pairings/millerLoopBN254.zkasm"
460
+ INCLUDE "../main/pairings/loopLengthBN254.zkasm"
461
+ INCLUDE "../main/pairings/finalExpBN254.zkasm"
462
+
463
+ INCLUDE "../main/pairings/utilsTests/expCycloFp12BN254.zkasm"