Including zkronos optz

0xPolygonHermez · Mar 25, 2024 · dcd7ec6 · dcd7ec6
1 parent 037b410
commit dcd7ec6
Show file tree

Hide file tree

Showing 6 changed files with 2,775 additions and 524 deletions.
diff --git a/main/ecrecover/FNSECP256K1/mulFnSecp256k1.zkasm b/main/ecrecover/FNSECP256K1/mulFnSecp256k1.zkasm
@@ -9,13 +9,11 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ; RESOURCES:
-;   1 arith + 4 steps
+;   1 arith + 3 steps
 
 mulFnSecp256k1:
 
         ; A·B + 0 = op (mod SECP256K1_N)
         0 => C
         %SECP256K1_N => D
-        ${(A*B + C) % D} => E   :ARITH_MOD
-
-        E => C                  :RETURN
+        ${(A*B) % D} => C   :ARITH_MOD, RETURN
diff --git a/main/ecrecover/FPSECP256K1/addFpSecp256k1.zkasm b/main/ecrecover/FPSECP256K1/addFpSecp256k1.zkasm
@@ -9,13 +9,11 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ; RESOURCES:
-;   1 arith + 4 steps
+;   1 arith + 3 steps
 
 addFpSecp256k1:
 
         ; A·1 + C = op (mod SECP256K1_P)
         1 => B
         %SECP256K1_P => D
-        ${(A*B + C) % D} => E   :ARITH_MOD
-
-        E => C                  :RETURN
+        ${(A + C) % D} => C   :ARITH_MOD, RETURN