mphell-weierstrass.h

Go to the documentation of this file.

/* 
  MPHELL-4.0 
  Author(s): The MPHELL team

 (C) Copyright 2015-2018 - Institut Fourier / Univ. Grenoble Alpes (France) 

 This file is part of the MPHELL Library.
 MPHELL is free software: you can redistribute it and/or modify
 it under the terms of the GNU Lesser General Public License as published by
 the Free Software Foundation, version 3 of the License.
 
 MPHELL is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU Lesser General Public License for more details.

 You should have received a copy of the GNU Lesser General Public License
 along with MPHELL.  If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef MPHELL_WEIERSTRASS_H
#define MPHELL_WEIERSTRASS_H

/* E: y^2 = x^3 + ax + b */
/* Projective coordinates represent an affine point (x,y) on a Weierstrass-form elliptic curve y^2 = x^3 + ax + b as (X:Y:Z) satisfying Y^2 Z = X^3 + aXZ^2 + bZ^3. Here (X:Y:Z) = (sX:sY:sZ) for all nonzero s. */
/* The triple (X, Y, Z) represents the affine point (X / Z, Y / Z) */

/* Jacobian coordinates represent an affine point (x,y) on a Weierstrass-form elliptic curve y^2 = x^3 + ax + b as (X:Y:Z) satisfying Y^2 = X^3 + aXZ^4 + bZ^6. Here (X:Y:Z) = (s^2 X:s^3 Y:sZ) for all nonzero s.*/
/* The triple (X, Y, Z) represents the affine point (X / Z^2, Y / Z^3). */


/************************************SETTERS**********************************/

void
weierstrass_compute_disc(ec_curve E, uint8_t stack);

bool 
weierstrass_verify_random_generation(ec_curve E, const char * seed, uint8_t stack);

void 
weierstrass_curve_random_generation(fe_ptr a, fe_ptr b, char * seed_res, field_srcptr k, uint8_t stack);

void 
weierstrass_point_set_neutral (ec_point_ptr dst, ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_set_aff (ec_point_ptr P, fe_srcptr x, fe_srcptr y, field_srcptr k);

void 
weierstrass_point_set_aff_str (ec_point_ptr P, const char *str_x, const char *str_y,
        const bool is_reduced, const uint8_t base, field_srcptr k, uint8_t stack);

bool
weierstrass_belongs (ec_point_srcptr P, ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_random (ec_point_ptr P, ec_curve_srcptr E, uint8_t stack);

void
weierstrass_point_norm (ec_point_ptr P, ec_curve_srcptr E, uint8_t stack);

void
weierstrass_point_get_x_affine (field_elt x, ec_point_ptr P, ec_curve_srcptr E, uint8_t stack);

void
weierstrass_point_get_y_affine (field_elt y, ec_point_ptr P, ec_curve_srcptr E, uint8_t stack);


/*******************************COMPARISON************************************/

bool 
weierstrass_point_is_neutral (ec_point_srcptr P, ec_curve_srcptr E, uint8_t stack);

bool
weierstrass_point_are_equal (ec_point_srcptr P1, ec_point_srcptr P2, 
        ec_curve_srcptr E, uint8_t stack);


/*******************************OPERATIONS************************************/

void 
weierstrass_point_neg (ec_point_ptr P3, ec_point_srcptr P1, ec_curve_srcptr E);

/* UNIFIED => Resistant to SPA */

void 
weierstrass_point_add_ZADDU (ec_point_ptr P3, ec_point_ptr P1, ec_point_srcptr P2,
        ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_add_ZADDC (ec_point_ptr P3, ec_point_ptr P4, ec_point_srcptr P1, 
        ec_point_srcptr P2, ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_add_ZDAU (ec_point_ptr P3, ec_point_srcptr P1, ec_point_ptr P2,
        ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_DBLU (ec_point_ptr P3, ec_point_ptr P4, ec_point_srcptr P1, 
        ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_TPLU (ec_point_ptr P3, ec_point_ptr P4, ec_point_srcptr P1, 
        ec_curve_srcptr E, uint8_t stack);

void
weierstrass_Zmontgomery_Kim(ec_point_ptr P3, number_srcptr n, ec_point_srcptr P1, 
        ec_curve_srcptr E, uint8_t stack);

void
weierstrass_Zmontgomery_ladder(ec_point_ptr P3, number_srcptr n, ec_point_srcptr P1, 
        ec_curve_srcptr E, uint8_t stack);

void
weierstrass_Zjoye_mul(ec_point_ptr P3, number_srcptr n, ec_point_srcptr P1, 
        ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_add_unified (ec_point_ptr P3, ec_point_srcptr P1, ec_point_srcptr P2,
        ec_curve_srcptr E, uint8_t stack);

/* DEDICATED => Not resistant to SPA */

void 
weierstrass_point_add_dedicated (ec_point_ptr P3, ec_point_srcptr P1, ec_point_srcptr P2,
        ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_point_dbl_dedicated (ec_point_ptr P3, ec_point_srcptr P1, ec_curve_srcptr E, uint8_t stack);


/* Miscellaneaous */

void
weierstrass_point_of_order_2 (ec_point_ptr dst, ec_curve_srcptr E, uint8_t stack);

void 
weierstrass_points_of_order_2 (ec_point_ptr dst1, ec_point_ptr dst2, ec_point_ptr dst3, ec_curve_srcptr E, uint8_t stack);

#endif