Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
michael@0 | 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
michael@0 | 4 | |
michael@0 | 5 | #ifndef __ec2_h_ |
michael@0 | 6 | #define __ec2_h_ |
michael@0 | 7 | |
michael@0 | 8 | #include "ecl-priv.h" |
michael@0 | 9 | |
michael@0 | 10 | /* Checks if point P(px, py) is at infinity. Uses affine coordinates. */ |
michael@0 | 11 | mp_err ec_GF2m_pt_is_inf_aff(const mp_int *px, const mp_int *py); |
michael@0 | 12 | |
michael@0 | 13 | /* Sets P(px, py) to be the point at infinity. Uses affine coordinates. */ |
michael@0 | 14 | mp_err ec_GF2m_pt_set_inf_aff(mp_int *px, mp_int *py); |
michael@0 | 15 | |
michael@0 | 16 | /* Computes R = P + Q where R is (rx, ry), P is (px, py) and Q is (qx, |
michael@0 | 17 | * qy). Uses affine coordinates. */ |
michael@0 | 18 | mp_err ec_GF2m_pt_add_aff(const mp_int *px, const mp_int *py, |
michael@0 | 19 | const mp_int *qx, const mp_int *qy, mp_int *rx, |
michael@0 | 20 | mp_int *ry, const ECGroup *group); |
michael@0 | 21 | |
michael@0 | 22 | /* Computes R = P - Q. Uses affine coordinates. */ |
michael@0 | 23 | mp_err ec_GF2m_pt_sub_aff(const mp_int *px, const mp_int *py, |
michael@0 | 24 | const mp_int *qx, const mp_int *qy, mp_int *rx, |
michael@0 | 25 | mp_int *ry, const ECGroup *group); |
michael@0 | 26 | |
michael@0 | 27 | /* Computes R = 2P. Uses affine coordinates. */ |
michael@0 | 28 | mp_err ec_GF2m_pt_dbl_aff(const mp_int *px, const mp_int *py, mp_int *rx, |
michael@0 | 29 | mp_int *ry, const ECGroup *group); |
michael@0 | 30 | |
michael@0 | 31 | /* Validates a point on a GF2m curve. */ |
michael@0 | 32 | mp_err ec_GF2m_validate_point(const mp_int *px, const mp_int *py, const ECGroup *group); |
michael@0 | 33 | |
michael@0 | 34 | /* by default, this routine is unused and thus doesn't need to be compiled */ |
michael@0 | 35 | #ifdef ECL_ENABLE_GF2M_PT_MUL_AFF |
michael@0 | 36 | /* Computes R = nP where R is (rx, ry) and P is (px, py). The parameters |
michael@0 | 37 | * a, b and p are the elliptic curve coefficients and the irreducible that |
michael@0 | 38 | * determines the field GF2m. Uses affine coordinates. */ |
michael@0 | 39 | mp_err ec_GF2m_pt_mul_aff(const mp_int *n, const mp_int *px, |
michael@0 | 40 | const mp_int *py, mp_int *rx, mp_int *ry, |
michael@0 | 41 | const ECGroup *group); |
michael@0 | 42 | #endif |
michael@0 | 43 | |
michael@0 | 44 | /* Computes R = nP where R is (rx, ry) and P is (px, py). The parameters |
michael@0 | 45 | * a, b and p are the elliptic curve coefficients and the irreducible that |
michael@0 | 46 | * determines the field GF2m. Uses Montgomery projective coordinates. */ |
michael@0 | 47 | mp_err ec_GF2m_pt_mul_mont(const mp_int *n, const mp_int *px, |
michael@0 | 48 | const mp_int *py, mp_int *rx, mp_int *ry, |
michael@0 | 49 | const ECGroup *group); |
michael@0 | 50 | |
michael@0 | 51 | #ifdef ECL_ENABLE_GF2M_PROJ |
michael@0 | 52 | /* Converts a point P(px, py) from affine coordinates to projective |
michael@0 | 53 | * coordinates R(rx, ry, rz). */ |
michael@0 | 54 | mp_err ec_GF2m_pt_aff2proj(const mp_int *px, const mp_int *py, mp_int *rx, |
michael@0 | 55 | mp_int *ry, mp_int *rz, const ECGroup *group); |
michael@0 | 56 | |
michael@0 | 57 | /* Converts a point P(px, py, pz) from projective coordinates to affine |
michael@0 | 58 | * coordinates R(rx, ry). */ |
michael@0 | 59 | mp_err ec_GF2m_pt_proj2aff(const mp_int *px, const mp_int *py, |
michael@0 | 60 | const mp_int *pz, mp_int *rx, mp_int *ry, |
michael@0 | 61 | const ECGroup *group); |
michael@0 | 62 | |
michael@0 | 63 | /* Checks if point P(px, py, pz) is at infinity. Uses projective |
michael@0 | 64 | * coordinates. */ |
michael@0 | 65 | mp_err ec_GF2m_pt_is_inf_proj(const mp_int *px, const mp_int *py, |
michael@0 | 66 | const mp_int *pz); |
michael@0 | 67 | |
michael@0 | 68 | /* Sets P(px, py, pz) to be the point at infinity. Uses projective |
michael@0 | 69 | * coordinates. */ |
michael@0 | 70 | mp_err ec_GF2m_pt_set_inf_proj(mp_int *px, mp_int *py, mp_int *pz); |
michael@0 | 71 | |
michael@0 | 72 | /* Computes R = P + Q where R is (rx, ry, rz), P is (px, py, pz) and Q is |
michael@0 | 73 | * (qx, qy, qz). Uses projective coordinates. */ |
michael@0 | 74 | mp_err ec_GF2m_pt_add_proj(const mp_int *px, const mp_int *py, |
michael@0 | 75 | const mp_int *pz, const mp_int *qx, |
michael@0 | 76 | const mp_int *qy, mp_int *rx, mp_int *ry, |
michael@0 | 77 | mp_int *rz, const ECGroup *group); |
michael@0 | 78 | |
michael@0 | 79 | /* Computes R = 2P. Uses projective coordinates. */ |
michael@0 | 80 | mp_err ec_GF2m_pt_dbl_proj(const mp_int *px, const mp_int *py, |
michael@0 | 81 | const mp_int *pz, mp_int *rx, mp_int *ry, |
michael@0 | 82 | mp_int *rz, const ECGroup *group); |
michael@0 | 83 | |
michael@0 | 84 | /* Computes R = nP where R is (rx, ry) and P is (px, py). The parameters |
michael@0 | 85 | * a, b and p are the elliptic curve coefficients and the prime that |
michael@0 | 86 | * determines the field GF2m. Uses projective coordinates. */ |
michael@0 | 87 | mp_err ec_GF2m_pt_mul_proj(const mp_int *n, const mp_int *px, |
michael@0 | 88 | const mp_int *py, mp_int *rx, mp_int *ry, |
michael@0 | 89 | const ECGroup *group); |
michael@0 | 90 | #endif |
michael@0 | 91 | |
michael@0 | 92 | #endif /* __ec2_h_ */ |