zkevm-rom 0.0.1-security → 6.0.1

package/main/ecrecover/checkSqrtFpEc.zkasm

@@ -0,0 +1,1558 @@
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; checkSqrtFpEc (C = pow(C,(FpEc-1)/2))
+;;
+;; (FpEc-1)/2 = 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffff 7ffffe17
+;;             (*) 222 x 1, 1 x 0, 22 x 1, 4 x 0, 1 x 1, 1 x 0, 3 x 1
+;;             (*) 222 x SM, S, 22 x SM, 4 x S, 1 x SM, 1 x S, 3 x SM    (S=square M=multiplication)
+;;         BLOCK:  1         2  3        4      5       6      7
+;;             (*) 222 + initial initialization
+;;
+;; PRE: C no alias-free
+;; POST: A in [0,1]
+;; return A: A = 1 ==> C = -1 ==> hasn't root
+;;           A = 0 ==> C != -1 ==> has root or MAP, proof fails.
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+VAR GLOBAL checkSqrtFpEc_base
+VAR GLOBAL checkSqrtFpEc_RR
+
+checkSqrtFpEc:
+        ; RESOURCES:
+        ;   248 x (3 steps + 2 arith + 8 steps + 2 arith + 7 steps) = 992 ariths + 4464 steps
+        ;   6 x (1 step + 2 arith + 8 steps) = 12 ariths + 54 steps
+        ;   6 steps + 1 binary
+        ; TOTAL = 1004 ariths + 1 binary + 4524 steps
+
+        RR          :MSTORE(checkSqrtFpEc_RR)
+        C           :MSTORE(checkSqrtFpEc_base)
+
+        ; === BLOCK1: 1/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 2/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 3/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 4/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 5/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 6/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 7/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 8/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 9/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 10/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 11/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 12/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 13/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 14/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 15/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 16/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 17/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 18/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 19/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 20/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 21/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 22/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 23/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 24/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 25/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 26/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 27/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 28/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 29/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 30/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 31/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 32/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 33/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 34/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 35/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 36/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 37/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 38/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 39/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 40/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 41/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 42/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 43/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 44/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 45/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 46/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 47/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 48/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 49/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 50/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 51/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 52/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 53/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 54/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 55/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 56/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 57/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 58/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 59/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 60/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 61/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 62/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 63/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 64/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 65/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 66/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 67/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 68/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 69/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 70/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 71/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 72/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 73/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 74/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 75/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 76/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 77/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 78/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 79/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 80/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 81/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 82/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 83/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 84/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 85/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 86/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 87/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 88/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 89/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 90/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 91/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 92/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 93/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 94/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 95/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 96/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 97/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 98/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 99/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 100/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 101/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 102/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 103/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 104/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 105/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 106/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 107/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 108/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 109/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 110/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 111/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 112/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 113/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 114/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 115/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 116/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 117/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 118/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 119/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 120/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 121/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 122/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 123/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 124/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 125/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 126/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 127/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 128/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 129/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 130/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 131/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 132/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 133/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 134/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 135/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 136/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 137/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 138/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 139/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 140/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 141/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 142/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 143/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 144/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 145/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 146/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 147/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 148/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 149/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 150/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 151/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 152/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 153/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 154/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 155/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 156/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 157/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 158/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 159/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 160/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 161/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 162/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 163/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 164/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 165/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 166/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 167/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 168/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 169/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 170/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 171/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 172/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 173/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 174/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 175/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 176/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 177/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 178/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 179/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 180/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 181/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 182/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 183/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 184/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 185/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 186/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 187/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 188/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 189/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 190/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 191/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 192/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 193/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 194/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 195/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 196/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 197/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 198/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 199/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 200/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 201/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 202/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 203/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 204/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 205/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 206/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 207/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 208/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 209/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 210/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 211/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 212/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 213/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 214/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 215/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 216/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 217/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 218/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 219/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 220/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 221/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK1: 222/222 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+
+
+        ; === BLOCK2: 1/1 S ===
+
+                :CALL(sqFpEc)
+
+
+
+        ; === BLOCK3: 1/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 2/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 3/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 4/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 5/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 6/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 7/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 8/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 9/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 10/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 11/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 12/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 13/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 14/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 15/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 16/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 17/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 18/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 19/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 20/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 21/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK3: 22/22 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+
+        ; === BLOCK4: 1/4 S ===
+
+                :CALL(sqFpEc)
+
+        ; === BLOCK4: 2/4 S ===
+
+                :CALL(sqFpEc)
+
+        ; === BLOCK4: 3/4 S ===
+
+                :CALL(sqFpEc)
+
+        ; === BLOCK4: 4/4 S ===
+
+                :CALL(sqFpEc)
+
+
+        ; === BLOCK5: 1/1 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+
+        ; === BLOCK6: 1 SM ===
+
+                :CALL(sqFpEc)
+
+        ; === BLOCK7: 1/3 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK7: 2/3 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+        ; === BLOCK7: 3/3 SM ===
+
+                :CALL(sqFpEc)
+        $ => A 	:MLOAD(checkSqrtFpEc_base)
+        C => B	:CALL(mulFpEc)
+
+
+        ; FPEC_MINUS_ONE hasn't alias of 256 bits
+        C => B
+        %FPEC_MINUS_ONE => A
+        $ => RR     :MLOAD(checkSqrtFpEc_RR)
+
+        ; A = 1 ==> C = -1 ==> hasn't root
+        ; A = 0 ==> C != -1 ==> has root or MAP, proof fails.
+
+        $ => A      :EQ,RETURN