Rename Montgomery_ladder to Scalar_mult

(despite the name, it is not a proper Montgomery ladder)
mirage · Aug 1, 2019 · 3e56899 · 3e56899
1 parent 8f14632
commit 3e56899
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/p256/fiat_p256.ml b/p256/fiat_p256.ml
@@ -1,7 +1,7 @@
 let dh ~scalar ~point =
-  Point.x_of_finite_point (Montgomery_ladder.scalar_mult scalar point)
+  Point.x_of_finite_point (Scalar_mult.scalar_mult scalar point)
 
-let public scalar = Montgomery_ladder.scalar_mult scalar Point.params_g
+let public scalar = Scalar_mult.scalar_mult scalar Point.params_g
 
 type error = Error.point_error
 

diff --git a/p256/montgomery_ladder.mli b/p256/montgomery_ladder.mli
diff --git a/p256/montgomery_ladder.ml → p256/scalar_mult.ml b/p256/montgomery_ladder.ml → p256/scalar_mult.ml
diff --git a/p256/scalar_mult.mli b/p256/scalar_mult.mli
@@ -0,0 +1,2 @@
+val scalar_mult : Scalar.t -> Point.t -> Point.t
+(** Scalar multiplication. *)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		val scalar_mult : Scalar.t -> Point.t -> Point.t
		(** Scalar multiplication. *)