/src/openssl31/crypto/ec/ecp_nist.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 2001-2021 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 | | /* |
12 | | * ECDSA low level APIs are deprecated for public use, but still ok for |
13 | | * internal use. |
14 | | */ |
15 | | #include "internal/deprecated.h" |
16 | | |
17 | | #include <limits.h> |
18 | | |
19 | | #include <openssl/err.h> |
20 | | #include <openssl/obj_mac.h> |
21 | | #include "ec_local.h" |
22 | | |
23 | | const EC_METHOD *EC_GFp_nist_method(void) |
24 | 0 | { |
25 | 0 | static const EC_METHOD ret = { |
26 | 0 | EC_FLAGS_DEFAULT_OCT, |
27 | 0 | NID_X9_62_prime_field, |
28 | 0 | ossl_ec_GFp_simple_group_init, |
29 | 0 | ossl_ec_GFp_simple_group_finish, |
30 | 0 | ossl_ec_GFp_simple_group_clear_finish, |
31 | 0 | ossl_ec_GFp_nist_group_copy, |
32 | 0 | ossl_ec_GFp_nist_group_set_curve, |
33 | 0 | ossl_ec_GFp_simple_group_get_curve, |
34 | 0 | ossl_ec_GFp_simple_group_get_degree, |
35 | 0 | ossl_ec_group_simple_order_bits, |
36 | 0 | ossl_ec_GFp_simple_group_check_discriminant, |
37 | 0 | ossl_ec_GFp_simple_point_init, |
38 | 0 | ossl_ec_GFp_simple_point_finish, |
39 | 0 | ossl_ec_GFp_simple_point_clear_finish, |
40 | 0 | ossl_ec_GFp_simple_point_copy, |
41 | 0 | ossl_ec_GFp_simple_point_set_to_infinity, |
42 | 0 | ossl_ec_GFp_simple_point_set_affine_coordinates, |
43 | 0 | ossl_ec_GFp_simple_point_get_affine_coordinates, |
44 | 0 | 0, 0, 0, |
45 | 0 | ossl_ec_GFp_simple_add, |
46 | 0 | ossl_ec_GFp_simple_dbl, |
47 | 0 | ossl_ec_GFp_simple_invert, |
48 | 0 | ossl_ec_GFp_simple_is_at_infinity, |
49 | 0 | ossl_ec_GFp_simple_is_on_curve, |
50 | 0 | ossl_ec_GFp_simple_cmp, |
51 | 0 | ossl_ec_GFp_simple_make_affine, |
52 | 0 | ossl_ec_GFp_simple_points_make_affine, |
53 | 0 | 0 /* mul */ , |
54 | 0 | 0 /* precompute_mult */ , |
55 | 0 | 0 /* have_precompute_mult */ , |
56 | 0 | ossl_ec_GFp_nist_field_mul, |
57 | 0 | ossl_ec_GFp_nist_field_sqr, |
58 | 0 | 0 /* field_div */ , |
59 | 0 | ossl_ec_GFp_simple_field_inv, |
60 | 0 | 0 /* field_encode */ , |
61 | 0 | 0 /* field_decode */ , |
62 | 0 | 0, /* field_set_to_one */ |
63 | 0 | ossl_ec_key_simple_priv2oct, |
64 | 0 | ossl_ec_key_simple_oct2priv, |
65 | 0 | 0, /* set private */ |
66 | 0 | ossl_ec_key_simple_generate_key, |
67 | 0 | ossl_ec_key_simple_check_key, |
68 | 0 | ossl_ec_key_simple_generate_public_key, |
69 | 0 | 0, /* keycopy */ |
70 | 0 | 0, /* keyfinish */ |
71 | 0 | ossl_ecdh_simple_compute_key, |
72 | 0 | ossl_ecdsa_simple_sign_setup, |
73 | 0 | ossl_ecdsa_simple_sign_sig, |
74 | 0 | ossl_ecdsa_simple_verify_sig, |
75 | 0 | 0, /* field_inverse_mod_ord */ |
76 | 0 | ossl_ec_GFp_simple_blind_coordinates, |
77 | 0 | ossl_ec_GFp_simple_ladder_pre, |
78 | 0 | ossl_ec_GFp_simple_ladder_step, |
79 | 0 | ossl_ec_GFp_simple_ladder_post |
80 | 0 | }; |
81 | |
|
82 | 0 | return &ret; |
83 | 0 | } |
84 | | |
85 | | int ossl_ec_GFp_nist_group_copy(EC_GROUP *dest, const EC_GROUP *src) |
86 | 53.1k | { |
87 | 53.1k | dest->field_mod_func = src->field_mod_func; |
88 | | |
89 | 53.1k | return ossl_ec_GFp_simple_group_copy(dest, src); |
90 | 53.1k | } |
91 | | |
92 | | int ossl_ec_GFp_nist_group_set_curve(EC_GROUP *group, const BIGNUM *p, |
93 | | const BIGNUM *a, const BIGNUM *b, |
94 | | BN_CTX *ctx) |
95 | 0 | { |
96 | 0 | int ret = 0; |
97 | 0 | BN_CTX *new_ctx = NULL; |
98 | |
|
99 | 0 | if (ctx == NULL) |
100 | 0 | if ((ctx = new_ctx = BN_CTX_new_ex(group->libctx)) == NULL) |
101 | 0 | return 0; |
102 | | |
103 | 0 | BN_CTX_start(ctx); |
104 | |
|
105 | 0 | if (BN_ucmp(BN_get0_nist_prime_192(), p) == 0) |
106 | 0 | group->field_mod_func = BN_nist_mod_192; |
107 | 0 | else if (BN_ucmp(BN_get0_nist_prime_224(), p) == 0) |
108 | 0 | group->field_mod_func = BN_nist_mod_224; |
109 | 0 | else if (BN_ucmp(BN_get0_nist_prime_256(), p) == 0) |
110 | 0 | group->field_mod_func = BN_nist_mod_256; |
111 | 0 | else if (BN_ucmp(BN_get0_nist_prime_384(), p) == 0) |
112 | 0 | group->field_mod_func = BN_nist_mod_384; |
113 | 0 | else if (BN_ucmp(BN_get0_nist_prime_521(), p) == 0) |
114 | 0 | group->field_mod_func = BN_nist_mod_521; |
115 | 0 | else { |
116 | 0 | ERR_raise(ERR_LIB_EC, EC_R_NOT_A_NIST_PRIME); |
117 | 0 | goto err; |
118 | 0 | } |
119 | | |
120 | 0 | ret = ossl_ec_GFp_simple_group_set_curve(group, p, a, b, ctx); |
121 | |
|
122 | 0 | err: |
123 | 0 | BN_CTX_end(ctx); |
124 | 0 | BN_CTX_free(new_ctx); |
125 | 0 | return ret; |
126 | 0 | } |
127 | | |
128 | | int ossl_ec_GFp_nist_field_mul(const EC_GROUP *group, BIGNUM *r, const BIGNUM *a, |
129 | | const BIGNUM *b, BN_CTX *ctx) |
130 | 140k | { |
131 | 140k | int ret = 0; |
132 | 140k | BN_CTX *ctx_new = NULL; |
133 | | |
134 | 140k | if (!group || !r || !a || !b) { |
135 | 0 | ERR_raise(ERR_LIB_EC, ERR_R_PASSED_NULL_PARAMETER); |
136 | 0 | goto err; |
137 | 0 | } |
138 | 140k | if (!ctx) |
139 | 0 | if ((ctx_new = ctx = BN_CTX_new_ex(group->libctx)) == NULL) |
140 | 0 | goto err; |
141 | | |
142 | 140k | if (!BN_mul(r, a, b, ctx)) |
143 | 0 | goto err; |
144 | 140k | if (!group->field_mod_func(r, r, group->field, ctx)) |
145 | 0 | goto err; |
146 | | |
147 | 140k | ret = 1; |
148 | 140k | err: |
149 | 140k | BN_CTX_free(ctx_new); |
150 | 140k | return ret; |
151 | 140k | } |
152 | | |
153 | | int ossl_ec_GFp_nist_field_sqr(const EC_GROUP *group, BIGNUM *r, const BIGNUM *a, |
154 | | BN_CTX *ctx) |
155 | 233k | { |
156 | 233k | int ret = 0; |
157 | 233k | BN_CTX *ctx_new = NULL; |
158 | | |
159 | 233k | if (!group || !r || !a) { |
160 | 0 | ERR_raise(ERR_LIB_EC, EC_R_PASSED_NULL_PARAMETER); |
161 | 0 | goto err; |
162 | 0 | } |
163 | 233k | if (!ctx) |
164 | 0 | if ((ctx_new = ctx = BN_CTX_new_ex(group->libctx)) == NULL) |
165 | 0 | goto err; |
166 | | |
167 | 233k | if (!BN_sqr(r, a, ctx)) |
168 | 0 | goto err; |
169 | 233k | if (!group->field_mod_func(r, r, group->field, ctx)) |
170 | 0 | goto err; |
171 | | |
172 | 233k | ret = 1; |
173 | 233k | err: |
174 | 233k | BN_CTX_free(ctx_new); |
175 | 233k | return ret; |
176 | 233k | } |