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 | } |
172 | |