blob: b529af59c9fbd04f273716bdf2001887ad95aca2 [file] [log] [blame]
Jens Wiklander817466c2018-05-22 13:49:31 +02001/*
2 * Elliptic curve Diffie-Hellman
3 *
Jerome Forissier79013242021-07-28 10:24:04 +02004 * Copyright The Mbed TLS Contributors
5 * SPDX-License-Identifier: Apache-2.0
Jens Wiklander817466c2018-05-22 13:49:31 +02006 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Jens Wiklander817466c2018-05-22 13:49:31 +020018 */
19
20/*
21 * References:
22 *
23 * SEC1 http://www.secg.org/index.php?action=secg,docs_secg
24 * RFC 4492
25 */
26
Jerome Forissier79013242021-07-28 10:24:04 +020027#include "common.h"
Jens Wiklander817466c2018-05-22 13:49:31 +020028
29#if defined(MBEDTLS_ECDH_C)
30
31#include "mbedtls/ecdh.h"
Jens Wiklander3d3b0592019-03-20 15:30:29 +010032#include "mbedtls/platform_util.h"
Jerome Forissier11fa71b2020-04-20 17:17:56 +020033#include "mbedtls/error.h"
Jens Wiklander817466c2018-05-22 13:49:31 +020034
35#include <string.h>
36
Jens Wiklander3d3b0592019-03-20 15:30:29 +010037#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
38typedef mbedtls_ecdh_context mbedtls_ecdh_context_mbed;
39#endif
40
Jerome Forissier5b25c762020-04-07 11:18:49 +020041static mbedtls_ecp_group_id mbedtls_ecdh_grp_id(
Jens Wiklander32b31802023-10-06 16:59:46 +020042 const mbedtls_ecdh_context *ctx)
Jerome Forissier5b25c762020-04-07 11:18:49 +020043{
44#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +020045 return ctx->grp.id;
Jerome Forissier5b25c762020-04-07 11:18:49 +020046#else
Jens Wiklander32b31802023-10-06 16:59:46 +020047 return ctx->grp_id;
Jerome Forissier5b25c762020-04-07 11:18:49 +020048#endif
49}
50
Jens Wiklander32b31802023-10-06 16:59:46 +020051int mbedtls_ecdh_can_do(mbedtls_ecp_group_id gid)
Jerome Forissier11fa71b2020-04-20 17:17:56 +020052{
53 /* At this time, all groups support ECDH. */
54 (void) gid;
Jens Wiklander32b31802023-10-06 16:59:46 +020055 return 1;
Jerome Forissier11fa71b2020-04-20 17:17:56 +020056}
57
Jens Wiklander3d3b0592019-03-20 15:30:29 +010058#if !defined(MBEDTLS_ECDH_GEN_PUBLIC_ALT)
Jens Wiklander817466c2018-05-22 13:49:31 +020059/*
Jens Wiklander3d3b0592019-03-20 15:30:29 +010060 * Generate public key (restartable version)
61 *
62 * Note: this internal function relies on its caller preserving the value of
63 * the output parameter 'd' across continuation calls. This would not be
64 * acceptable for a public function but is OK here as we control call sites.
65 */
Jens Wiklander32b31802023-10-06 16:59:46 +020066static int ecdh_gen_public_restartable(mbedtls_ecp_group *grp,
67 mbedtls_mpi *d, mbedtls_ecp_point *Q,
68 int (*f_rng)(void *, unsigned char *, size_t),
69 void *p_rng,
70 mbedtls_ecp_restart_ctx *rs_ctx)
Jens Wiklander3d3b0592019-03-20 15:30:29 +010071{
Jerome Forissier11fa71b2020-04-20 17:17:56 +020072 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander3d3b0592019-03-20 15:30:29 +010073
Jens Wiklander32b31802023-10-06 16:59:46 +020074 int restarting = 0;
Jens Wiklander3d3b0592019-03-20 15:30:29 +010075#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +020076 restarting = (rs_ctx != NULL && rs_ctx->rsm != NULL);
Jens Wiklander3d3b0592019-03-20 15:30:29 +010077#endif
Jens Wiklander32b31802023-10-06 16:59:46 +020078 /* If multiplication is in progress, we already generated a privkey */
79 if (!restarting) {
80 MBEDTLS_MPI_CHK(mbedtls_ecp_gen_privkey(grp, d, f_rng, p_rng));
81 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +010082
Jens Wiklander32b31802023-10-06 16:59:46 +020083 MBEDTLS_MPI_CHK(mbedtls_ecp_mul_restartable(grp, Q, d, &grp->G,
84 f_rng, p_rng, rs_ctx));
Jens Wiklander3d3b0592019-03-20 15:30:29 +010085
86cleanup:
Jens Wiklander32b31802023-10-06 16:59:46 +020087 return ret;
Jens Wiklander3d3b0592019-03-20 15:30:29 +010088}
89
90/*
91 * Generate public key
Jens Wiklander817466c2018-05-22 13:49:31 +020092 */
Jens Wiklander32b31802023-10-06 16:59:46 +020093int mbedtls_ecdh_gen_public(mbedtls_ecp_group *grp, mbedtls_mpi *d, mbedtls_ecp_point *Q,
94 int (*f_rng)(void *, unsigned char *, size_t),
95 void *p_rng)
Jens Wiklander817466c2018-05-22 13:49:31 +020096{
Jens Wiklander32b31802023-10-06 16:59:46 +020097 return ecdh_gen_public_restartable(grp, d, Q, f_rng, p_rng, NULL);
Jens Wiklander817466c2018-05-22 13:49:31 +020098}
Jens Wiklander3d3b0592019-03-20 15:30:29 +010099#endif /* !MBEDTLS_ECDH_GEN_PUBLIC_ALT */
Jens Wiklander817466c2018-05-22 13:49:31 +0200100
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100101#if !defined(MBEDTLS_ECDH_COMPUTE_SHARED_ALT)
Jens Wiklander817466c2018-05-22 13:49:31 +0200102/*
103 * Compute shared secret (SEC1 3.3.1)
104 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200105static int ecdh_compute_shared_restartable(mbedtls_ecp_group *grp,
106 mbedtls_mpi *z,
107 const mbedtls_ecp_point *Q, const mbedtls_mpi *d,
108 int (*f_rng)(void *, unsigned char *, size_t),
109 void *p_rng,
110 mbedtls_ecp_restart_ctx *rs_ctx)
Jens Wiklander817466c2018-05-22 13:49:31 +0200111{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200112 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200113 mbedtls_ecp_point P;
114
Jens Wiklander32b31802023-10-06 16:59:46 +0200115 mbedtls_ecp_point_init(&P);
Jens Wiklander817466c2018-05-22 13:49:31 +0200116
Jens Wiklander32b31802023-10-06 16:59:46 +0200117 MBEDTLS_MPI_CHK(mbedtls_ecp_mul_restartable(grp, &P, d, Q,
118 f_rng, p_rng, rs_ctx));
Jens Wiklander817466c2018-05-22 13:49:31 +0200119
Jens Wiklander32b31802023-10-06 16:59:46 +0200120 if (mbedtls_ecp_is_zero(&P)) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200121 ret = MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
122 goto cleanup;
123 }
124
Jens Wiklander32b31802023-10-06 16:59:46 +0200125 MBEDTLS_MPI_CHK(mbedtls_mpi_copy(z, &P.X));
Jens Wiklander817466c2018-05-22 13:49:31 +0200126
127cleanup:
Jens Wiklander32b31802023-10-06 16:59:46 +0200128 mbedtls_ecp_point_free(&P);
Jens Wiklander817466c2018-05-22 13:49:31 +0200129
Jens Wiklander32b31802023-10-06 16:59:46 +0200130 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200131}
132
133/*
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100134 * Compute shared secret (SEC1 3.3.1)
135 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200136int mbedtls_ecdh_compute_shared(mbedtls_ecp_group *grp, mbedtls_mpi *z,
137 const mbedtls_ecp_point *Q, const mbedtls_mpi *d,
138 int (*f_rng)(void *, unsigned char *, size_t),
139 void *p_rng)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100140{
Jens Wiklander32b31802023-10-06 16:59:46 +0200141 return ecdh_compute_shared_restartable(grp, z, Q, d,
142 f_rng, p_rng, NULL);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100143}
144#endif /* !MBEDTLS_ECDH_COMPUTE_SHARED_ALT */
145
Jens Wiklander32b31802023-10-06 16:59:46 +0200146static void ecdh_init_internal(mbedtls_ecdh_context_mbed *ctx)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100147{
Jens Wiklander32b31802023-10-06 16:59:46 +0200148 mbedtls_ecp_group_init(&ctx->grp);
149 mbedtls_mpi_init(&ctx->d);
150 mbedtls_ecp_point_init(&ctx->Q);
151 mbedtls_ecp_point_init(&ctx->Qp);
152 mbedtls_mpi_init(&ctx->z);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100153
154#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200155 mbedtls_ecp_restart_init(&ctx->rs);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100156#endif
157}
158
159/*
Jens Wiklander817466c2018-05-22 13:49:31 +0200160 * Initialize context
161 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200162void mbedtls_ecdh_init(mbedtls_ecdh_context *ctx)
Jens Wiklander817466c2018-05-22 13:49:31 +0200163{
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100164#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200165 ecdh_init_internal(ctx);
166 mbedtls_ecp_point_init(&ctx->Vi);
167 mbedtls_ecp_point_init(&ctx->Vf);
168 mbedtls_mpi_init(&ctx->_d);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100169#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200170 memset(ctx, 0, sizeof(mbedtls_ecdh_context));
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100171
172 ctx->var = MBEDTLS_ECDH_VARIANT_NONE;
173#endif
174 ctx->point_format = MBEDTLS_ECP_PF_UNCOMPRESSED;
175#if defined(MBEDTLS_ECP_RESTARTABLE)
176 ctx->restart_enabled = 0;
177#endif
Jens Wiklander817466c2018-05-22 13:49:31 +0200178}
179
Jens Wiklander32b31802023-10-06 16:59:46 +0200180static int ecdh_setup_internal(mbedtls_ecdh_context_mbed *ctx,
181 mbedtls_ecp_group_id grp_id)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100182{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200183 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100184
Jens Wiklander32b31802023-10-06 16:59:46 +0200185 ret = mbedtls_ecp_group_load(&ctx->grp, grp_id);
186 if (ret != 0) {
187 return MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100188 }
189
Jens Wiklander32b31802023-10-06 16:59:46 +0200190 return 0;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100191}
192
193/*
194 * Setup context
195 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200196int mbedtls_ecdh_setup(mbedtls_ecdh_context *ctx, mbedtls_ecp_group_id grp_id)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100197{
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100198#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200199 return ecdh_setup_internal(ctx, grp_id);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100200#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200201 switch (grp_id) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200202#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
203 case MBEDTLS_ECP_DP_CURVE25519:
204 ctx->point_format = MBEDTLS_ECP_PF_COMPRESSED;
205 ctx->var = MBEDTLS_ECDH_VARIANT_EVEREST;
206 ctx->grp_id = grp_id;
Jens Wiklander32b31802023-10-06 16:59:46 +0200207 return mbedtls_everest_setup(&ctx->ctx.everest_ecdh, grp_id);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200208#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100209 default:
210 ctx->point_format = MBEDTLS_ECP_PF_UNCOMPRESSED;
211 ctx->var = MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0;
212 ctx->grp_id = grp_id;
Jens Wiklander32b31802023-10-06 16:59:46 +0200213 ecdh_init_internal(&ctx->ctx.mbed_ecdh);
214 return ecdh_setup_internal(&ctx->ctx.mbed_ecdh, grp_id);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100215 }
216#endif
217}
218
Jens Wiklander32b31802023-10-06 16:59:46 +0200219static void ecdh_free_internal(mbedtls_ecdh_context_mbed *ctx)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100220{
Jens Wiklander32b31802023-10-06 16:59:46 +0200221 mbedtls_ecp_group_free(&ctx->grp);
222 mbedtls_mpi_free(&ctx->d);
223 mbedtls_ecp_point_free(&ctx->Q);
224 mbedtls_ecp_point_free(&ctx->Qp);
225 mbedtls_mpi_free(&ctx->z);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100226
227#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200228 mbedtls_ecp_restart_free(&ctx->rs);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100229#endif
230}
231
232#if defined(MBEDTLS_ECP_RESTARTABLE)
233/*
234 * Enable restartable operations for context
235 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200236void mbedtls_ecdh_enable_restart(mbedtls_ecdh_context *ctx)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100237{
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100238 ctx->restart_enabled = 1;
239}
240#endif
241
Jens Wiklander817466c2018-05-22 13:49:31 +0200242/*
243 * Free context
244 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200245void mbedtls_ecdh_free(mbedtls_ecdh_context *ctx)
Jens Wiklander817466c2018-05-22 13:49:31 +0200246{
Jens Wiklander32b31802023-10-06 16:59:46 +0200247 if (ctx == NULL) {
Jens Wiklander817466c2018-05-22 13:49:31 +0200248 return;
Jens Wiklander32b31802023-10-06 16:59:46 +0200249 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200250
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100251#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200252 mbedtls_ecp_point_free(&ctx->Vi);
253 mbedtls_ecp_point_free(&ctx->Vf);
254 mbedtls_mpi_free(&ctx->_d);
255 ecdh_free_internal(ctx);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100256#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200257 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200258#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
259 case MBEDTLS_ECDH_VARIANT_EVEREST:
Jens Wiklander32b31802023-10-06 16:59:46 +0200260 mbedtls_everest_free(&ctx->ctx.everest_ecdh);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200261 break;
262#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100263 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200264 ecdh_free_internal(&ctx->ctx.mbed_ecdh);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100265 break;
266 default:
267 break;
268 }
269
270 ctx->point_format = MBEDTLS_ECP_PF_UNCOMPRESSED;
271 ctx->var = MBEDTLS_ECDH_VARIANT_NONE;
272 ctx->grp_id = MBEDTLS_ECP_DP_NONE;
273#endif
274}
275
Jens Wiklander32b31802023-10-06 16:59:46 +0200276static int ecdh_make_params_internal(mbedtls_ecdh_context_mbed *ctx,
277 size_t *olen, int point_format,
278 unsigned char *buf, size_t blen,
279 int (*f_rng)(void *,
280 unsigned char *,
281 size_t),
282 void *p_rng,
283 int restart_enabled)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100284{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200285 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100286 size_t grp_len, pt_len;
287#if defined(MBEDTLS_ECP_RESTARTABLE)
288 mbedtls_ecp_restart_ctx *rs_ctx = NULL;
289#endif
290
Jens Wiklander32b31802023-10-06 16:59:46 +0200291 if (ctx->grp.pbits == 0) {
292 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
293 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100294
295#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200296 if (restart_enabled) {
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100297 rs_ctx = &ctx->rs;
Jens Wiklander32b31802023-10-06 16:59:46 +0200298 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100299#else
300 (void) restart_enabled;
301#endif
302
303
304#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200305 if ((ret = ecdh_gen_public_restartable(&ctx->grp, &ctx->d, &ctx->Q,
306 f_rng, p_rng, rs_ctx)) != 0) {
307 return ret;
308 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100309#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200310 if ((ret = mbedtls_ecdh_gen_public(&ctx->grp, &ctx->d, &ctx->Q,
311 f_rng, p_rng)) != 0) {
312 return ret;
313 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100314#endif /* MBEDTLS_ECP_RESTARTABLE */
315
Jens Wiklander32b31802023-10-06 16:59:46 +0200316 if ((ret = mbedtls_ecp_tls_write_group(&ctx->grp, &grp_len, buf,
317 blen)) != 0) {
318 return ret;
319 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100320
321 buf += grp_len;
322 blen -= grp_len;
323
Jens Wiklander32b31802023-10-06 16:59:46 +0200324 if ((ret = mbedtls_ecp_tls_write_point(&ctx->grp, &ctx->Q, point_format,
325 &pt_len, buf, blen)) != 0) {
326 return ret;
327 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100328
329 *olen = grp_len + pt_len;
Jens Wiklander32b31802023-10-06 16:59:46 +0200330 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200331}
332
333/*
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200334 * Setup and write the ServerKeyExchange parameters (RFC 4492)
Jens Wiklander817466c2018-05-22 13:49:31 +0200335 * struct {
336 * ECParameters curve_params;
337 * ECPoint public;
338 * } ServerECDHParams;
339 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200340int mbedtls_ecdh_make_params(mbedtls_ecdh_context *ctx, size_t *olen,
341 unsigned char *buf, size_t blen,
342 int (*f_rng)(void *, unsigned char *, size_t),
343 void *p_rng)
Jens Wiklander817466c2018-05-22 13:49:31 +0200344{
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100345 int restart_enabled = 0;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100346#if defined(MBEDTLS_ECP_RESTARTABLE)
347 restart_enabled = ctx->restart_enabled;
348#else
349 (void) restart_enabled;
350#endif
Jens Wiklander817466c2018-05-22 13:49:31 +0200351
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100352#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200353 return ecdh_make_params_internal(ctx, olen, ctx->point_format, buf, blen,
354 f_rng, p_rng, restart_enabled);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100355#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200356 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200357#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
358 case MBEDTLS_ECDH_VARIANT_EVEREST:
Jens Wiklander32b31802023-10-06 16:59:46 +0200359 return mbedtls_everest_make_params(&ctx->ctx.everest_ecdh, olen,
360 buf, blen, f_rng, p_rng);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200361#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100362 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200363 return ecdh_make_params_internal(&ctx->ctx.mbed_ecdh, olen,
364 ctx->point_format, buf, blen,
365 f_rng, p_rng,
366 restart_enabled);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100367 default:
368 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
369 }
370#endif
371}
Jens Wiklander817466c2018-05-22 13:49:31 +0200372
Jens Wiklander32b31802023-10-06 16:59:46 +0200373static int ecdh_read_params_internal(mbedtls_ecdh_context_mbed *ctx,
374 const unsigned char **buf,
375 const unsigned char *end)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100376{
Jens Wiklander32b31802023-10-06 16:59:46 +0200377 return mbedtls_ecp_tls_read_point(&ctx->grp, &ctx->Qp, buf,
378 end - *buf);
Jens Wiklander817466c2018-05-22 13:49:31 +0200379}
380
381/*
Jerome Forissier039e02d2022-08-09 17:10:15 +0200382 * Read the ServerKeyExchange parameters (RFC 4492)
Jens Wiklander817466c2018-05-22 13:49:31 +0200383 * struct {
384 * ECParameters curve_params;
385 * ECPoint public;
386 * } ServerECDHParams;
387 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200388int mbedtls_ecdh_read_params(mbedtls_ecdh_context *ctx,
389 const unsigned char **buf,
390 const unsigned char *end)
Jens Wiklander817466c2018-05-22 13:49:31 +0200391{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200392 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100393 mbedtls_ecp_group_id grp_id;
Jens Wiklander32b31802023-10-06 16:59:46 +0200394 if ((ret = mbedtls_ecp_tls_read_group_id(&grp_id, buf, end - *buf))
395 != 0) {
396 return ret;
397 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200398
Jens Wiklander32b31802023-10-06 16:59:46 +0200399 if ((ret = mbedtls_ecdh_setup(ctx, grp_id)) != 0) {
400 return ret;
401 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200402
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100403#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200404 return ecdh_read_params_internal(ctx, buf, end);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100405#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200406 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200407#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
408 case MBEDTLS_ECDH_VARIANT_EVEREST:
Jens Wiklander32b31802023-10-06 16:59:46 +0200409 return mbedtls_everest_read_params(&ctx->ctx.everest_ecdh,
410 buf, end);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200411#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100412 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200413 return ecdh_read_params_internal(&ctx->ctx.mbed_ecdh,
414 buf, end);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100415 default:
416 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
417 }
418#endif
Jens Wiklander817466c2018-05-22 13:49:31 +0200419}
420
Jens Wiklander32b31802023-10-06 16:59:46 +0200421static int ecdh_get_params_internal(mbedtls_ecdh_context_mbed *ctx,
422 const mbedtls_ecp_keypair *key,
423 mbedtls_ecdh_side side)
Jens Wiklander817466c2018-05-22 13:49:31 +0200424{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200425 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200426
Jens Wiklander817466c2018-05-22 13:49:31 +0200427 /* If it's not our key, just import the public part as Qp */
Jens Wiklander32b31802023-10-06 16:59:46 +0200428 if (side == MBEDTLS_ECDH_THEIRS) {
429 return mbedtls_ecp_copy(&ctx->Qp, &key->Q);
430 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200431
432 /* Our key: import public (as Q) and private parts */
Jens Wiklander32b31802023-10-06 16:59:46 +0200433 if (side != MBEDTLS_ECDH_OURS) {
434 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
435 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200436
Jens Wiklander32b31802023-10-06 16:59:46 +0200437 if ((ret = mbedtls_ecp_copy(&ctx->Q, &key->Q)) != 0 ||
438 (ret = mbedtls_mpi_copy(&ctx->d, &key->d)) != 0) {
439 return ret;
440 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200441
Jens Wiklander32b31802023-10-06 16:59:46 +0200442 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200443}
444
445/*
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100446 * Get parameters from a keypair
Jens Wiklander817466c2018-05-22 13:49:31 +0200447 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200448int mbedtls_ecdh_get_params(mbedtls_ecdh_context *ctx,
449 const mbedtls_ecp_keypair *key,
450 mbedtls_ecdh_side side)
Jens Wiklander817466c2018-05-22 13:49:31 +0200451{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200452 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander32b31802023-10-06 16:59:46 +0200453 if (side != MBEDTLS_ECDH_OURS && side != MBEDTLS_ECDH_THEIRS) {
454 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
455 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200456
Jens Wiklander32b31802023-10-06 16:59:46 +0200457 if (mbedtls_ecdh_grp_id(ctx) == MBEDTLS_ECP_DP_NONE) {
Jerome Forissier5b25c762020-04-07 11:18:49 +0200458 /* This is the first call to get_params(). Set up the context
459 * for use with the group. */
Jens Wiklander32b31802023-10-06 16:59:46 +0200460 if ((ret = mbedtls_ecdh_setup(ctx, key->grp.id)) != 0) {
461 return ret;
462 }
463 } else {
Jerome Forissier5b25c762020-04-07 11:18:49 +0200464 /* This is not the first call to get_params(). Check that the
465 * current key's group is the same as the context's, which was set
466 * from the first key's group. */
Jens Wiklander32b31802023-10-06 16:59:46 +0200467 if (mbedtls_ecdh_grp_id(ctx) != key->grp.id) {
468 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
469 }
Jerome Forissier5b25c762020-04-07 11:18:49 +0200470 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200471
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100472#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200473 return ecdh_get_params_internal(ctx, key, side);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100474#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200475 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200476#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
477 case MBEDTLS_ECDH_VARIANT_EVEREST:
478 {
479 mbedtls_everest_ecdh_side s = side == MBEDTLS_ECDH_OURS ?
Jens Wiklander32b31802023-10-06 16:59:46 +0200480 MBEDTLS_EVEREST_ECDH_OURS :
481 MBEDTLS_EVEREST_ECDH_THEIRS;
482 return mbedtls_everest_get_params(&ctx->ctx.everest_ecdh,
483 key, s);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200484 }
485#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100486 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200487 return ecdh_get_params_internal(&ctx->ctx.mbed_ecdh,
488 key, side);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100489 default:
490 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
491 }
492#endif
493}
494
Jens Wiklander32b31802023-10-06 16:59:46 +0200495static int ecdh_make_public_internal(mbedtls_ecdh_context_mbed *ctx,
496 size_t *olen, int point_format,
497 unsigned char *buf, size_t blen,
498 int (*f_rng)(void *,
499 unsigned char *,
500 size_t),
501 void *p_rng,
502 int restart_enabled)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100503{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200504 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100505#if defined(MBEDTLS_ECP_RESTARTABLE)
506 mbedtls_ecp_restart_ctx *rs_ctx = NULL;
507#endif
508
Jens Wiklander32b31802023-10-06 16:59:46 +0200509 if (ctx->grp.pbits == 0) {
510 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
511 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100512
513#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200514 if (restart_enabled) {
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100515 rs_ctx = &ctx->rs;
Jens Wiklander32b31802023-10-06 16:59:46 +0200516 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100517#else
518 (void) restart_enabled;
519#endif
520
521#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200522 if ((ret = ecdh_gen_public_restartable(&ctx->grp, &ctx->d, &ctx->Q,
523 f_rng, p_rng, rs_ctx)) != 0) {
524 return ret;
525 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100526#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200527 if ((ret = mbedtls_ecdh_gen_public(&ctx->grp, &ctx->d, &ctx->Q,
528 f_rng, p_rng)) != 0) {
529 return ret;
530 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100531#endif /* MBEDTLS_ECP_RESTARTABLE */
532
Jens Wiklander32b31802023-10-06 16:59:46 +0200533 return mbedtls_ecp_tls_write_point(&ctx->grp, &ctx->Q, point_format, olen,
534 buf, blen);
Jens Wiklander817466c2018-05-22 13:49:31 +0200535}
536
537/*
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100538 * Setup and export the client public value
Jens Wiklander817466c2018-05-22 13:49:31 +0200539 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200540int mbedtls_ecdh_make_public(mbedtls_ecdh_context *ctx, size_t *olen,
541 unsigned char *buf, size_t blen,
542 int (*f_rng)(void *, unsigned char *, size_t),
543 void *p_rng)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100544{
545 int restart_enabled = 0;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100546#if defined(MBEDTLS_ECP_RESTARTABLE)
547 restart_enabled = ctx->restart_enabled;
548#endif
549
550#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200551 return ecdh_make_public_internal(ctx, olen, ctx->point_format, buf, blen,
552 f_rng, p_rng, restart_enabled);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100553#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200554 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200555#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
556 case MBEDTLS_ECDH_VARIANT_EVEREST:
Jens Wiklander32b31802023-10-06 16:59:46 +0200557 return mbedtls_everest_make_public(&ctx->ctx.everest_ecdh, olen,
558 buf, blen, f_rng, p_rng);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200559#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100560 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200561 return ecdh_make_public_internal(&ctx->ctx.mbed_ecdh, olen,
562 ctx->point_format, buf, blen,
563 f_rng, p_rng,
564 restart_enabled);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100565 default:
566 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
567 }
568#endif
569}
570
Jens Wiklander32b31802023-10-06 16:59:46 +0200571static int ecdh_read_public_internal(mbedtls_ecdh_context_mbed *ctx,
572 const unsigned char *buf, size_t blen)
Jens Wiklander817466c2018-05-22 13:49:31 +0200573{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200574 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander817466c2018-05-22 13:49:31 +0200575 const unsigned char *p = buf;
576
Jens Wiklander32b31802023-10-06 16:59:46 +0200577 if ((ret = mbedtls_ecp_tls_read_point(&ctx->grp, &ctx->Qp, &p,
578 blen)) != 0) {
579 return ret;
580 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200581
Jens Wiklander32b31802023-10-06 16:59:46 +0200582 if ((size_t) (p - buf) != blen) {
583 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
584 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200585
Jens Wiklander32b31802023-10-06 16:59:46 +0200586 return 0;
Jens Wiklander817466c2018-05-22 13:49:31 +0200587}
588
589/*
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100590 * Parse and import the client's public value
Jens Wiklander817466c2018-05-22 13:49:31 +0200591 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200592int mbedtls_ecdh_read_public(mbedtls_ecdh_context *ctx,
593 const unsigned char *buf, size_t blen)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100594{
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100595#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200596 return ecdh_read_public_internal(ctx, buf, blen);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100597#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200598 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200599#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
600 case MBEDTLS_ECDH_VARIANT_EVEREST:
Jens Wiklander32b31802023-10-06 16:59:46 +0200601 return mbedtls_everest_read_public(&ctx->ctx.everest_ecdh,
602 buf, blen);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200603#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100604 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200605 return ecdh_read_public_internal(&ctx->ctx.mbed_ecdh,
606 buf, blen);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100607 default:
608 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
609 }
610#endif
611}
612
Jens Wiklander32b31802023-10-06 16:59:46 +0200613static int ecdh_calc_secret_internal(mbedtls_ecdh_context_mbed *ctx,
614 size_t *olen, unsigned char *buf,
615 size_t blen,
616 int (*f_rng)(void *,
617 unsigned char *,
618 size_t),
619 void *p_rng,
620 int restart_enabled)
Jens Wiklander817466c2018-05-22 13:49:31 +0200621{
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200622 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100623#if defined(MBEDTLS_ECP_RESTARTABLE)
624 mbedtls_ecp_restart_ctx *rs_ctx = NULL;
625#endif
Jens Wiklander817466c2018-05-22 13:49:31 +0200626
Jens Wiklander32b31802023-10-06 16:59:46 +0200627 if (ctx == NULL || ctx->grp.pbits == 0) {
628 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
629 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200630
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100631#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200632 if (restart_enabled) {
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100633 rs_ctx = &ctx->rs;
Jens Wiklander32b31802023-10-06 16:59:46 +0200634 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100635#else
636 (void) restart_enabled;
637#endif
638
639#if defined(MBEDTLS_ECP_RESTARTABLE)
Jens Wiklander32b31802023-10-06 16:59:46 +0200640 if ((ret = ecdh_compute_shared_restartable(&ctx->grp, &ctx->z, &ctx->Qp,
641 &ctx->d, f_rng, p_rng,
642 rs_ctx)) != 0) {
643 return ret;
Jens Wiklander817466c2018-05-22 13:49:31 +0200644 }
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100645#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200646 if ((ret = mbedtls_ecdh_compute_shared(&ctx->grp, &ctx->z, &ctx->Qp,
647 &ctx->d, f_rng, p_rng)) != 0) {
648 return ret;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100649 }
650#endif /* MBEDTLS_ECP_RESTARTABLE */
Jens Wiklander817466c2018-05-22 13:49:31 +0200651
Jens Wiklander32b31802023-10-06 16:59:46 +0200652 if (mbedtls_mpi_size(&ctx->z) > blen) {
653 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
654 }
Jens Wiklander817466c2018-05-22 13:49:31 +0200655
Jens Wiklander32b31802023-10-06 16:59:46 +0200656 *olen = ctx->grp.pbits / 8 + ((ctx->grp.pbits % 8) != 0);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200657
Jens Wiklander32b31802023-10-06 16:59:46 +0200658 if (mbedtls_ecp_get_type(&ctx->grp) == MBEDTLS_ECP_TYPE_MONTGOMERY) {
659 return mbedtls_mpi_write_binary_le(&ctx->z, buf, *olen);
660 }
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200661
Jens Wiklander32b31802023-10-06 16:59:46 +0200662 return mbedtls_mpi_write_binary(&ctx->z, buf, *olen);
Jens Wiklander817466c2018-05-22 13:49:31 +0200663}
664
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100665/*
666 * Derive and export the shared secret
667 */
Jens Wiklander32b31802023-10-06 16:59:46 +0200668int mbedtls_ecdh_calc_secret(mbedtls_ecdh_context *ctx, size_t *olen,
669 unsigned char *buf, size_t blen,
670 int (*f_rng)(void *, unsigned char *, size_t),
671 void *p_rng)
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100672{
673 int restart_enabled = 0;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100674#if defined(MBEDTLS_ECP_RESTARTABLE)
675 restart_enabled = ctx->restart_enabled;
676#endif
677
678#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Jens Wiklander32b31802023-10-06 16:59:46 +0200679 return ecdh_calc_secret_internal(ctx, olen, buf, blen, f_rng, p_rng,
680 restart_enabled);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100681#else
Jens Wiklander32b31802023-10-06 16:59:46 +0200682 switch (ctx->var) {
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200683#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
684 case MBEDTLS_ECDH_VARIANT_EVEREST:
Jens Wiklander32b31802023-10-06 16:59:46 +0200685 return mbedtls_everest_calc_secret(&ctx->ctx.everest_ecdh, olen,
686 buf, blen, f_rng, p_rng);
Jerome Forissier11fa71b2020-04-20 17:17:56 +0200687#endif
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100688 case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
Jens Wiklander32b31802023-10-06 16:59:46 +0200689 return ecdh_calc_secret_internal(&ctx->ctx.mbed_ecdh, olen, buf,
690 blen, f_rng, p_rng,
691 restart_enabled);
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100692 default:
Jens Wiklander32b31802023-10-06 16:59:46 +0200693 return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
Jens Wiklander3d3b0592019-03-20 15:30:29 +0100694 }
695#endif
696}
Jens Wiklander817466c2018-05-22 13:49:31 +0200697#endif /* MBEDTLS_ECDH_C */