Add a CHANGES entry for CVE-2019-1551
[openssl.git] / crypto / ec / ecp_nist.c
1 /*
2  * Copyright 2001-2018 The OpenSSL Project Authors. All Rights Reserved.
3  * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
4  *
5  * Licensed under the Apache License 2.0 (the "License").  You may not use
6  * this file except in compliance with the License.  You can obtain a copy
7  * in the file LICENSE in the source distribution or at
8  * https://www.openssl.org/source/license.html
9  */
10
11 #include <limits.h>
12
13 #include <openssl/err.h>
14 #include <openssl/obj_mac.h>
15 #include "ec_local.h"
16
17 const EC_METHOD *EC_GFp_nist_method(void)
18 {
19     static const EC_METHOD ret = {
20         EC_FLAGS_DEFAULT_OCT,
21         NID_X9_62_prime_field,
22         ec_GFp_simple_group_init,
23         ec_GFp_simple_group_finish,
24         ec_GFp_simple_group_clear_finish,
25         ec_GFp_nist_group_copy,
26         ec_GFp_nist_group_set_curve,
27         ec_GFp_simple_group_get_curve,
28         ec_GFp_simple_group_get_degree,
29         ec_group_simple_order_bits,
30         ec_GFp_simple_group_check_discriminant,
31         ec_GFp_simple_point_init,
32         ec_GFp_simple_point_finish,
33         ec_GFp_simple_point_clear_finish,
34         ec_GFp_simple_point_copy,
35         ec_GFp_simple_point_set_to_infinity,
36         ec_GFp_simple_set_Jprojective_coordinates_GFp,
37         ec_GFp_simple_get_Jprojective_coordinates_GFp,
38         ec_GFp_simple_point_set_affine_coordinates,
39         ec_GFp_simple_point_get_affine_coordinates,
40         0, 0, 0,
41         ec_GFp_simple_add,
42         ec_GFp_simple_dbl,
43         ec_GFp_simple_invert,
44         ec_GFp_simple_is_at_infinity,
45         ec_GFp_simple_is_on_curve,
46         ec_GFp_simple_cmp,
47         ec_GFp_simple_make_affine,
48         ec_GFp_simple_points_make_affine,
49         0 /* mul */ ,
50         0 /* precompute_mult */ ,
51         0 /* have_precompute_mult */ ,
52         ec_GFp_nist_field_mul,
53         ec_GFp_nist_field_sqr,
54         0 /* field_div */ ,
55         ec_GFp_simple_field_inv,
56         0 /* field_encode */ ,
57         0 /* field_decode */ ,
58         0,                      /* field_set_to_one */
59         ec_key_simple_priv2oct,
60         ec_key_simple_oct2priv,
61         0, /* set private */
62         ec_key_simple_generate_key,
63         ec_key_simple_check_key,
64         ec_key_simple_generate_public_key,
65         0, /* keycopy */
66         0, /* keyfinish */
67         ecdh_simple_compute_key,
68         ecdsa_simple_sign_setup,
69         ecdsa_simple_sign_sig,
70         ecdsa_simple_verify_sig,
71         0, /* field_inverse_mod_ord */
72         ec_GFp_simple_blind_coordinates,
73         ec_GFp_simple_ladder_pre,
74         ec_GFp_simple_ladder_step,
75         ec_GFp_simple_ladder_post
76     };
77
78     return &ret;
79 }
80
81 int ec_GFp_nist_group_copy(EC_GROUP *dest, const EC_GROUP *src)
82 {
83     dest->field_mod_func = src->field_mod_func;
84
85     return ec_GFp_simple_group_copy(dest, src);
86 }
87
88 int ec_GFp_nist_group_set_curve(EC_GROUP *group, const BIGNUM *p,
89                                 const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
90 {
91     int ret = 0;
92     BN_CTX *new_ctx = NULL;
93
94     if (ctx == NULL)
95         if ((ctx = new_ctx = BN_CTX_new_ex(group->libctx)) == NULL)
96             return 0;
97
98     BN_CTX_start(ctx);
99
100     if (BN_ucmp(BN_get0_nist_prime_192(), p) == 0)
101         group->field_mod_func = BN_nist_mod_192;
102     else if (BN_ucmp(BN_get0_nist_prime_224(), p) == 0)
103         group->field_mod_func = BN_nist_mod_224;
104     else if (BN_ucmp(BN_get0_nist_prime_256(), p) == 0)
105         group->field_mod_func = BN_nist_mod_256;
106     else if (BN_ucmp(BN_get0_nist_prime_384(), p) == 0)
107         group->field_mod_func = BN_nist_mod_384;
108     else if (BN_ucmp(BN_get0_nist_prime_521(), p) == 0)
109         group->field_mod_func = BN_nist_mod_521;
110     else {
111         ECerr(EC_F_EC_GFP_NIST_GROUP_SET_CURVE, EC_R_NOT_A_NIST_PRIME);
112         goto err;
113     }
114
115     ret = ec_GFp_simple_group_set_curve(group, p, a, b, ctx);
116
117  err:
118     BN_CTX_end(ctx);
119     BN_CTX_free(new_ctx);
120     return ret;
121 }
122
123 int ec_GFp_nist_field_mul(const EC_GROUP *group, BIGNUM *r, const BIGNUM *a,
124                           const BIGNUM *b, BN_CTX *ctx)
125 {
126     int ret = 0;
127     BN_CTX *ctx_new = NULL;
128
129     if (!group || !r || !a || !b) {
130         ECerr(EC_F_EC_GFP_NIST_FIELD_MUL, ERR_R_PASSED_NULL_PARAMETER);
131         goto err;
132     }
133     if (!ctx)
134         if ((ctx_new = ctx = BN_CTX_new_ex(group->libctx)) == NULL)
135             goto err;
136
137     if (!BN_mul(r, a, b, ctx))
138         goto err;
139     if (!group->field_mod_func(r, r, group->field, ctx))
140         goto err;
141
142     ret = 1;
143  err:
144     BN_CTX_free(ctx_new);
145     return ret;
146 }
147
148 int ec_GFp_nist_field_sqr(const EC_GROUP *group, BIGNUM *r, const BIGNUM *a,
149                           BN_CTX *ctx)
150 {
151     int ret = 0;
152     BN_CTX *ctx_new = NULL;
153
154     if (!group || !r || !a) {
155         ECerr(EC_F_EC_GFP_NIST_FIELD_SQR, EC_R_PASSED_NULL_PARAMETER);
156         goto err;
157     }
158     if (!ctx)
159         if ((ctx_new = ctx = BN_CTX_new_ex(group->libctx)) == NULL)
160             goto err;
161
162     if (!BN_sqr(r, a, ctx))
163         goto err;
164     if (!group->field_mod_func(r, r, group->field, ctx))
165         goto err;
166
167     ret = 1;
168  err:
169     BN_CTX_free(ctx_new);
170     return ret;
171 }