aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/math/gfpmath/point_gfp.cpp52
1 files changed, 18 insertions, 34 deletions
diff --git a/src/math/gfpmath/point_gfp.cpp b/src/math/gfpmath/point_gfp.cpp
index e1992da70..febba412c 100644
--- a/src/math/gfpmath/point_gfp.cpp
+++ b/src/math/gfpmath/point_gfp.cpp
@@ -51,30 +51,18 @@ PointGFp& PointGFp::operator+=(const PointGFp& rhs)
return *this;
}
- GFpElement point_x(curve.get_p(), coord_x);
- GFpElement point_y(curve.get_p(), coord_y);
- GFpElement point_z(curve.get_p(), coord_z);
-
- GFpElement rhs_point_x(curve.get_p(), rhs.coord_x);
- GFpElement rhs_point_y(curve.get_p(), rhs.coord_y);
- GFpElement rhs_point_z(curve.get_p(), rhs.coord_z);
-
- GFpElement U1 = point_x;
- GFpElement S1 = point_y;
-
- GFpElement rhs_z2 = rhs_point_z * rhs_point_z;
- U1 *= rhs_z2;
- S1 *= rhs_z2 * rhs_point_z;
+ Modular_Reducer mod_p(curve.get_p());
- GFpElement U2 = rhs_point_x;
- GFpElement S2 = rhs_point_y;
+ BigInt rhs_z2 = mod_p.square(rhs.coord_z);
+ BigInt U1 = mod_p.multiply(coord_x, rhs_z2);
+ BigInt S1 = mod_p.multiply(coord_y, mod_p.multiply(rhs.coord_z, rhs_z2));
- GFpElement lhs_z2 = point_z * point_z;
- U2 *= lhs_z2;
- S2 *= lhs_z2 * point_z;
+ BigInt lhs_z2 = mod_p.square(coord_z);
+ BigInt U2 = mod_p.multiply(rhs.coord_x, lhs_z2);
+ BigInt S2 = mod_p.multiply(rhs.coord_y, mod_p.multiply(coord_z, lhs_z2));
- GFpElement H(U2 - U1);
- GFpElement r(S2 - S1);
+ BigInt H = mod_p.reduce(U2 - U1);
+ BigInt r = mod_p.reduce(S2 - S1);
if(H.is_zero())
{
@@ -88,23 +76,19 @@ PointGFp& PointGFp::operator+=(const PointGFp& rhs)
return *this;
}
- U2 = H * H;
+ U2 = mod_p.square(H);
- S2 = U2 * H;
+ S2 = mod_p.multiply(U2, H);
- U2 *= U1;
+ U2 = mod_p.multiply(U1, U2);
- GFpElement x(r*r - S2 - (U2+U2));
+ BigInt x = mod_p.reduce(mod_p.square(r) - S2 - mod_p.multiply(2, U2));
+ BigInt y = mod_p.reduce(mod_p.multiply(r, (U2-x)) - mod_p.multiply(S1, S2));
+ BigInt z = mod_p.multiply(mod_p.multiply(coord_z, rhs.coord_z), H);
- GFpElement z(S1 * S2);
-
- GFpElement y(r * (U2-x) - z);
-
- z = (point_z * rhs_point_z) * H;
-
- coord_x = x.get_value();
- coord_y = y.get_value();
- coord_z = z.get_value();
+ coord_x = x;
+ coord_y = y;
+ coord_z = z;
return *this;
}