Add Mul<ScalarField> for Affine

ec/src/lib.rs

@@ -247,6 +247,8 @@ pub trait AffineCurve:
     + Neg<Output = Self>
     + Zeroize
     + core::iter::Sum<Self>
+    + Mul<Self::ScalarField, Output = Self::Projective>
+    + for<'a> Mul<&'a Self::ScalarField, Output = Self::Projective>
     + for<'a> core::iter::Sum<&'a Self>
     + From<<Self as AffineCurve>::Projective>
 {

ec/src/models/short_weierstrass.rs

@@ -376,6 +376,15 @@ impl<'a, P: SWCurveConfig> core::iter::Sum<&'a Self> for Affine<P> {
     }
 }
 
+impl<'a, P: SWCurveConfig, T: Borrow<P::ScalarField>> Mul<T> for Affine<P> {
+    type Output = Projective<P>;
+
+    #[inline]
+    fn mul(self, other: T) -> Self::Output {
+        self.mul_bigint(other.borrow().into_bigint())
+    }
+}
+
 /// Jacobian coordinates for a point on an elliptic curve in short Weierstrass
 /// form, over the base field `P::BaseField`. This struct implements arithmetic
 /// via the Jacobian formulae

ec/src/models/twisted_edwards.rs

@@ -338,6 +338,15 @@ impl<P: TECurveConfig> Distribution<Affine<P>> for Standard {
     }
 }
 
+impl<'a, P: TECurveConfig, T: Borrow<P::ScalarField>> Mul<T> for Affine<P> {
+    type Output = Projective<P>;
+
+    #[inline]
+    fn mul(self, other: T) -> Self::Output {
+        self.mul_bigint(other.borrow().into_bigint())
+    }
+}
+
 //////////////////////////////////////////////////////////////////////////////
 
 /// `Projective` implements Extended Twisted Edwards Coordinates