generated the optimized dettman code

mit-plv · Apr 24, 2023 · b7798cb · b7798cb
1 parent db684cb
commit b7798cb
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 13 deletions.
diff --git a/fiat-c/src/secp256k1_dettman_64.c b/fiat-c/src/secp256k1_dettman_64.c
diff --git a/src/Arithmetic/DettmanMultiplication.v b/src/Arithmetic/DettmanMultiplication.v
@@ -28,7 +28,7 @@ Module DettmanMultiplication.
         (weight_limbs_mod_s_eq_0 : (weight limbs) mod s = 0)
         (wprops : @weight_properties weight).
 
-    Definition register_width : nat := 52. (* for testing purposes *)
+    Definition register_width : nat := 64. (* for testing purposes *)
 
     Let c := Associational.eval c_.