blob: 3d3e479fea73f68a1fc70996d39ba9e439bf2763 [file] [log] [blame]
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +01001/**
2 * \file ecdh.h
3 *
Rose Zadik68993282018-03-27 11:12:25 +01004 * \brief This file contains ECDH definitions and functions.
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +01005 *
Darryl Green11999bb2018-03-13 15:22:58 +00006 * The Elliptic Curve Diffie-Hellman (ECDH) protocol is an anonymous
Rose Zadik68993282018-03-27 11:12:25 +01007 * key agreement protocol allowing two parties to establish a shared
8 * secret over an insecure channel. Each party must have an
Rose Zadikde2d6222018-01-25 21:57:43 +00009 * elliptic-curve public–private key pair.
10 *
11 * For more information, see <em>NIST SP 800-56A Rev. 2: Recommendation for
12 * Pair-Wise Key Establishment Schemes Using Discrete Logarithm
13 * Cryptography</em>.
Darryl Greena40a1012018-01-05 15:33:17 +000014 */
15/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020016 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +000017 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010018 */
Rose Zadikde2d6222018-01-25 21:57:43 +000019
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020#ifndef MBEDTLS_ECDH_H
21#define MBEDTLS_ECDH_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020022#include "mbedtls/private_access.h"
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010023
Bence Szépkútic662b362021-05-27 11:25:03 +020024#include "mbedtls/build_info.h"
Ron Eldor9cbd1b22018-12-16 12:14:37 +020025
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010026#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010027
Thomas Daubney4e9fb392021-06-03 11:51:08 +010028/*
Thomas Daubney416c46f2021-05-27 15:51:44 +010029 * Mbed TLS supports two formats for ECDH contexts (#mbedtls_ecdh_context
30 * defined in `ecdh.h`). For most applications, the choice of format makes
31 * no difference, since all library functions can work with either format,
32 * except that the new format is incompatible with MBEDTLS_ECP_RESTARTABLE.
33
34 * The new format used when this option is disabled is smaller
35 * (56 bytes on a 32-bit platform). In future versions of the library, it
36 * will support alternative implementations of ECDH operations.
37 * The new format is incompatible with applications that access
38 * context fields directly and with restartable ECP operations.
Thomas Daubney416c46f2021-05-27 15:51:44 +010039 */
40
41#if defined(MBEDTLS_ECP_RESTARTABLE)
42#define MBEDTLS_ECDH_LEGACY_CONTEXT
43#else
44#undef MBEDTLS_ECDH_LEGACY_CONTEXT
45#endif
46
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +010047#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
Christoph M. Wintersteigerc3cbdde2018-12-14 11:03:02 +000048#undef MBEDTLS_ECDH_LEGACY_CONTEXT
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +010049#include "everest/everest.h"
50#endif
51
Paul Bakker407a0da2013-06-27 14:29:21 +020052#ifdef __cplusplus
53extern "C" {
54#endif
55
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +010056/**
Rose Zadik68993282018-03-27 11:12:25 +010057 * Defines the source of the imported EC key.
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +010058 */
Gilles Peskine449bd832023-01-11 14:50:10 +010059typedef enum {
Rose Zadik7375b0f2018-04-16 16:04:57 +010060 MBEDTLS_ECDH_OURS, /**< Our key. */
Rose Zadik68993282018-03-27 11:12:25 +010061 MBEDTLS_ECDH_THEIRS, /**< The key of the peer. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062} mbedtls_ecdh_side;
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +010063
Janos Follathc9c32f32018-08-13 15:52:45 +010064#if !defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
65/**
66 * Defines the ECDH implementation used.
67 *
68 * Later versions of the library may add new variants, therefore users should
69 * not make any assumptions about them.
70 */
Gilles Peskine449bd832023-01-11 14:50:10 +010071typedef enum {
Janos Follathc9c32f32018-08-13 15:52:45 +010072 MBEDTLS_ECDH_VARIANT_NONE = 0, /*!< Implementation not defined. */
73 MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0,/*!< The default Mbed TLS implementation */
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +010074#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
75 MBEDTLS_ECDH_VARIANT_EVEREST /*!< Everest implementation */
76#endif
Janos Follathc9c32f32018-08-13 15:52:45 +010077} mbedtls_ecdh_variant;
78
79/**
80 * The context used by the default ECDH implementation.
81 *
82 * Later versions might change the structure of this context, therefore users
83 * should not make any assumptions about the structure of
84 * mbedtls_ecdh_context_mbed.
85 */
Gilles Peskine449bd832023-01-11 14:50:10 +010086typedef struct mbedtls_ecdh_context_mbed {
Mateusz Starzyk363eb292021-05-19 17:32:44 +020087 mbedtls_ecp_group MBEDTLS_PRIVATE(grp); /*!< The elliptic curve used. */
88 mbedtls_mpi MBEDTLS_PRIVATE(d); /*!< The private key. */
89 mbedtls_ecp_point MBEDTLS_PRIVATE(Q); /*!< The public key. */
90 mbedtls_ecp_point MBEDTLS_PRIVATE(Qp); /*!< The value of the public key of the peer. */
91 mbedtls_mpi MBEDTLS_PRIVATE(z); /*!< The shared secret. */
Janos Follathc9c32f32018-08-13 15:52:45 +010092#if defined(MBEDTLS_ECP_RESTARTABLE)
Mateusz Starzyk363eb292021-05-19 17:32:44 +020093 mbedtls_ecp_restart_ctx MBEDTLS_PRIVATE(rs); /*!< The restart context for EC computations. */
Janos Follathc9c32f32018-08-13 15:52:45 +010094#endif
95} mbedtls_ecdh_context_mbed;
96#endif
97
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +000098#if defined(MBEDTLS_ECP_RESTARTABLE)
Waleed Elmelegy7817da02024-11-06 13:52:34 +000099#define MBEDTLS_ECDH_CONTEXT_MBED_INIT { MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, \
100 MBEDTLS_ECP_POINT_INIT, \
101 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT, \
102 MBEDTLS_ECP_RESTART_INIT }
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000103#else
Waleed Elmelegy7817da02024-11-06 13:52:34 +0000104#define MBEDTLS_ECDH_CONTEXT_MBED_INIT { MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, \
105 MBEDTLS_ECP_POINT_INIT, \
106 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT }
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000107#endif
108
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100109/**
Manuel Pégourié-Gonnardeaf55be2017-08-23 14:40:21 +0200110 *
111 * \warning Performing multiple operations concurrently on the same
112 * ECDSA context is not supported; objects of this type
113 * should not be shared between multiple threads.
Rose Zadikde2d6222018-01-25 21:57:43 +0000114 * \brief The ECDH context structure.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100115 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100116typedef struct mbedtls_ecdh_context {
Janos Follathc9c32f32018-08-13 15:52:45 +0100117#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200118 mbedtls_ecp_group MBEDTLS_PRIVATE(grp); /*!< The elliptic curve used. */
119 mbedtls_mpi MBEDTLS_PRIVATE(d); /*!< The private key. */
120 mbedtls_ecp_point MBEDTLS_PRIVATE(Q); /*!< The public key. */
121 mbedtls_ecp_point MBEDTLS_PRIVATE(Qp); /*!< The value of the public key of the peer. */
122 mbedtls_mpi MBEDTLS_PRIVATE(z); /*!< The shared secret. */
123 int MBEDTLS_PRIVATE(point_format); /*!< The format of point export in TLS messages. */
124 mbedtls_ecp_point MBEDTLS_PRIVATE(Vi); /*!< The blinding value. */
125 mbedtls_ecp_point MBEDTLS_PRIVATE(Vf); /*!< The unblinding value. */
126 mbedtls_mpi MBEDTLS_PRIVATE(_d); /*!< The previous \p d. */
Manuel Pégourié-Gonnard66ba48a2017-04-27 11:38:26 +0200127#if defined(MBEDTLS_ECP_RESTARTABLE)
Mateusz Starzyk2abe51c2021-06-07 11:08:01 +0200128 int MBEDTLS_PRIVATE(restart_enabled); /*!< The flag for restartable mode. */
129 mbedtls_ecp_restart_ctx MBEDTLS_PRIVATE(rs); /*!< The restart context for EC computations. */
Janos Follathc9c32f32018-08-13 15:52:45 +0100130#endif /* MBEDTLS_ECP_RESTARTABLE */
131#else
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200132 uint8_t MBEDTLS_PRIVATE(point_format); /*!< The format of point export in TLS messages
Gilles Peskine449bd832023-01-11 14:50:10 +0100133 as defined in RFC 4492. */
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200134 mbedtls_ecp_group_id MBEDTLS_PRIVATE(grp_id);/*!< The elliptic curve used. */
135 mbedtls_ecdh_variant MBEDTLS_PRIVATE(var); /*!< The ECDH implementation/structure used. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100136 union {
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200137 mbedtls_ecdh_context_mbed MBEDTLS_PRIVATE(mbed_ecdh);
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +0100138#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200139 mbedtls_ecdh_context_everest MBEDTLS_PRIVATE(everest_ecdh);
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +0100140#endif
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200141 } MBEDTLS_PRIVATE(ctx); /*!< Implementation-specific context. The
Gilles Peskine449bd832023-01-11 14:50:10 +0100142 context in use is specified by the \c var
143 field. */
Janos Follathc9c32f32018-08-13 15:52:45 +0100144#if defined(MBEDTLS_ECP_RESTARTABLE)
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200145 uint8_t MBEDTLS_PRIVATE(restart_enabled); /*!< The flag for restartable mode. Functions of
Gilles Peskine449bd832023-01-11 14:50:10 +0100146 an alternative implementation not supporting
147 restartable mode must return
148 MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED error
149 if this flag is set. */
Janos Follathc9c32f32018-08-13 15:52:45 +0100150#endif /* MBEDTLS_ECP_RESTARTABLE */
151#endif /* MBEDTLS_ECDH_LEGACY_CONTEXT */
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100152}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200153mbedtls_ecdh_context;
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100154
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000155#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
156#if defined(MBEDTLS_ECP_RESTARTABLE)
Waleed Elmelegy7817da02024-11-06 13:52:34 +0000157#define MBEDTLS_ECDH_CONTEXT_INIT { MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, \
158 MBEDTLS_ECP_POINT_INIT, \
159 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT, \
160 MBEDTLS_ECP_PF_UNCOMPRESSED, \
161 MBEDTLS_ECP_POINT_INIT, MBEDTLS_ECP_POINT_INIT, \
162 MBEDTLS_MPI_INIT, 0, \
163 MBEDTLS_ECP_RESTART_INIT }
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000164#else
Waleed Elmelegy7817da02024-11-06 13:52:34 +0000165#define MBEDTLS_ECDH_CONTEXT_INIT { MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, \
166 MBEDTLS_ECP_POINT_INIT, \
167 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT, \
168 MBEDTLS_ECP_PF_UNCOMPRESSED, \
169 MBEDTLS_ECP_POINT_INIT, MBEDTLS_ECP_POINT_INIT, \
170 MBEDTLS_MPI_INIT }
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000171#endif /* MBEDTLS_ECP_RESTARTABLE */
172#else
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000173#if defined(MBEDTLS_ECP_RESTARTABLE)
Waleed Elmelegy7817da02024-11-06 13:52:34 +0000174#define MBEDTLS_ECDH_CONTEXT_INIT { MBEDTLS_ECP_PF_UNCOMPRESSED, MBEDTLS_ECP_DP_NONE, \
175 MBEDTLS_ECDH_VARIANT_NONE, \
Waleed Elmelegy947afa02024-11-07 15:06:28 +0000176 { MBEDTLS_ECDH_CONTEXT_MBED_INIT }, 0 }
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000177#else
Waleed Elmelegy7817da02024-11-06 13:52:34 +0000178#define MBEDTLS_ECDH_CONTEXT_INIT { MBEDTLS_ECP_PF_UNCOMPRESSED, MBEDTLS_ECP_DP_NONE, \
179 MBEDTLS_ECDH_VARIANT_NONE, \
Waleed Elmelegy947afa02024-11-07 15:06:28 +0000180 { MBEDTLS_ECDH_CONTEXT_MBED_INIT } }
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000181#endif /* MBEDTLS_ECP_RESTARTABLE */
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000182#endif /* MBEDTLS_ECDH_LEGACY_CONTEXT */
183
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100184/**
Minos Galanakisd7537382024-02-23 12:17:59 +0000185 * \brief Return the ECP group for provided context.
186 *
187 * \note To access group specific fields, users should use
188 * `mbedtls_ecp_curve_info_from_grp_id` or
189 * `mbedtls_ecp_group_load` on the extracted `group_id`.
190 *
191 * \param ctx The ECDH context to parse. This must not be \c NULL.
192 *
193 * \return The \c mbedtls_ecp_group_id of the context.
194 */
195mbedtls_ecp_group_id mbedtls_ecdh_get_grp_id(mbedtls_ecdh_context *ctx);
196
197/**
Gilles Peskine20b3ef32019-02-11 18:41:27 +0100198 * \brief Check whether a given group can be used for ECDH.
199 *
200 * \param gid The ECP group ID to check.
201 *
202 * \return \c 1 if the group can be used, \c 0 otherwise
203 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100204int mbedtls_ecdh_can_do(mbedtls_ecp_group_id gid);
Gilles Peskine20b3ef32019-02-11 18:41:27 +0100205
206/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000207 * \brief This function generates an ECDH keypair on an elliptic
208 * curve.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100209 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000210 * This function performs the first of two core computations
211 * implemented during the ECDH key exchange. The second core
212 * computation is performed by mbedtls_ecdh_compute_shared().
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100213 *
Rose Zadik68993282018-03-27 11:12:25 +0100214 * \see ecp.h
215 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000216 * \param grp The ECP group to use. This must be initialized and have
217 * domain parameters loaded, for example through
218 * mbedtls_ecp_load() or mbedtls_ecp_tls_read_group().
Rose Zadikde2d6222018-01-25 21:57:43 +0000219 * \param d The destination MPI (private key).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000220 * This must be initialized.
Rose Zadikde2d6222018-01-25 21:57:43 +0000221 * \param Q The destination point (public key).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000222 * This must be initialized.
223 * \param f_rng The RNG function to use. This must not be \c NULL.
224 * \param p_rng The RNG context to be passed to \p f_rng. This may be
225 * \c NULL in case \p f_rng doesn't need a context argument.
Rose Zadikde2d6222018-01-25 21:57:43 +0000226 *
Rose Zadik68993282018-03-27 11:12:25 +0100227 * \return \c 0 on success.
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200228 * \return Another \c MBEDTLS_ERR_ECP_XXX or
229 * \c MBEDTLS_MPI_XXX error code on failure.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100230 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100231int mbedtls_ecdh_gen_public(mbedtls_ecp_group *grp, mbedtls_mpi *d, mbedtls_ecp_point *Q,
232 int (*f_rng)(void *, unsigned char *, size_t),
233 void *p_rng);
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100234
235/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000236 * \brief This function computes the shared secret.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100237 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000238 * This function performs the second of two core computations
239 * implemented during the ECDH key exchange. The first core
240 * computation is performed by mbedtls_ecdh_gen_public().
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100241 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000242 * \see ecp.h
243 *
244 * \note If \p f_rng is not NULL, it is used to implement
Rose Zadik7375b0f2018-04-16 16:04:57 +0100245 * countermeasures against side-channel attacks.
246 * For more information, see mbedtls_ecp_mul().
Rose Zadik68993282018-03-27 11:12:25 +0100247 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000248 * \param grp The ECP group to use. This must be initialized and have
249 * domain parameters loaded, for example through
250 * mbedtls_ecp_load() or mbedtls_ecp_tls_read_group().
Rose Zadik68993282018-03-27 11:12:25 +0100251 * \param z The destination MPI (shared secret).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000252 * This must be initialized.
Rose Zadik68993282018-03-27 11:12:25 +0100253 * \param Q The public key from another party.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000254 * This must be initialized.
Rose Zadik68993282018-03-27 11:12:25 +0100255 * \param d Our secret exponent (private key).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000256 * This must be initialized.
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200257 * \param f_rng The RNG function to use. This must not be \c NULL.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000258 * \param p_rng The RNG context to be passed to \p f_rng. This may be
259 * \c NULL if \p f_rng is \c NULL or doesn't need a
260 * context argument.
Rose Zadik68993282018-03-27 11:12:25 +0100261 *
262 * \return \c 0 on success.
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200263 * \return Another \c MBEDTLS_ERR_ECP_XXX or
264 * \c MBEDTLS_MPI_XXX error code on failure.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100265 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100266int mbedtls_ecdh_compute_shared(mbedtls_ecp_group *grp, mbedtls_mpi *z,
267 const mbedtls_ecp_point *Q, const mbedtls_mpi *d,
268 int (*f_rng)(void *, unsigned char *, size_t),
269 void *p_rng);
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +0100270
271/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000272 * \brief This function initializes an ECDH context.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100273 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000274 * \param ctx The ECDH context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100275 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100276void mbedtls_ecdh_init(mbedtls_ecdh_context *ctx);
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100277
278/**
Janos Follathf61e4862018-10-30 11:53:25 +0000279 * \brief This function sets up the ECDH context with the information
280 * given.
281 *
282 * This function should be called after mbedtls_ecdh_init() but
283 * before mbedtls_ecdh_make_params(). There is no need to call
284 * this function before mbedtls_ecdh_read_params().
285 *
286 * This is the first function used by a TLS server for ECDHE
287 * ciphersuites.
288 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000289 * \param ctx The ECDH context to set up. This must be initialized.
Janos Follathf61e4862018-10-30 11:53:25 +0000290 * \param grp_id The group id of the group to set up the context for.
291 *
292 * \return \c 0 on success.
293 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100294int mbedtls_ecdh_setup(mbedtls_ecdh_context *ctx,
295 mbedtls_ecp_group_id grp_id);
Janos Follathf61e4862018-10-30 11:53:25 +0000296
297/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000298 * \brief This function frees a context.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100299 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000300 * \param ctx The context to free. This may be \c NULL, in which
301 * case this function does nothing. If it is not \c NULL,
302 * it must point to an initialized ECDH context.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100303 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100304void mbedtls_ecdh_free(mbedtls_ecdh_context *ctx);
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100305
306/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000307 * \brief This function generates an EC key pair and exports its
308 * in the format used in a TLS ServerKeyExchange handshake
309 * message.
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100310 *
Janos Follathf61e4862018-10-30 11:53:25 +0000311 * This is the second function used by a TLS server for ECDHE
312 * ciphersuites. (It is called after mbedtls_ecdh_setup().)
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100313 *
Rose Zadik68993282018-03-27 11:12:25 +0100314 * \see ecp.h
315 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000316 * \param ctx The ECDH context to use. This must be initialized
317 * and bound to a group, for example via mbedtls_ecdh_setup().
318 * \param olen The address at which to store the number of Bytes written.
319 * \param buf The destination buffer. This must be a writable buffer of
320 * length \p blen Bytes.
321 * \param blen The length of the destination buffer \p buf in Bytes.
322 * \param f_rng The RNG function to use. This must not be \c NULL.
323 * \param p_rng The RNG context to be passed to \p f_rng. This may be
324 * \c NULL in case \p f_rng doesn't need a context argument.
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100325 *
Rose Zadik68993282018-03-27 11:12:25 +0100326 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200327 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardc90d3b02017-04-27 10:48:29 +0200328 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200329 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100330 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100331int mbedtls_ecdh_make_params(mbedtls_ecdh_context *ctx, size_t *olen,
332 unsigned char *buf, size_t blen,
333 int (*f_rng)(void *, unsigned char *, size_t),
334 void *p_rng);
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100335
336/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000337 * \brief This function parses the ECDHE parameters in a
338 * TLS ServerKeyExchange handshake message.
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100339 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000340 * \note In a TLS handshake, this is the how the client
341 * sets up its ECDHE context from the server's public
342 * ECDHE key material.
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100343 *
Rose Zadik68993282018-03-27 11:12:25 +0100344 * \see ecp.h
345 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000346 * \param ctx The ECDHE context to use. This must be initialized.
Hanno Becker60b65042018-12-17 22:59:13 +0000347 * \param buf On input, \c *buf must be the start of the input buffer.
348 * On output, \c *buf is updated to point to the end of the
349 * data that has been read. On success, this is the first byte
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000350 * past the end of the ServerKeyExchange parameters.
351 * On error, this is the point at which an error has been
352 * detected, which is usually not useful except to debug
353 * failures.
354 * \param end The end of the input buffer.
Rose Zadikde2d6222018-01-25 21:57:43 +0000355 *
Rose Zadik68993282018-03-27 11:12:25 +0100356 * \return \c 0 on success.
357 * \return An \c MBEDTLS_ERR_ECP_XXX error code on failure.
Rose Zadikde2d6222018-01-25 21:57:43 +0000358 *
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100359 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100360int mbedtls_ecdh_read_params(mbedtls_ecdh_context *ctx,
361 const unsigned char **buf,
362 const unsigned char *end);
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100363
364/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000365 * \brief This function sets up an ECDH context from an EC key.
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100366 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000367 * It is used by clients and servers in place of the
Wenxing Houb4d03cc2024-06-19 11:04:13 +0800368 * ServerKeyExchange for static ECDH, and imports ECDH
Rose Zadikde2d6222018-01-25 21:57:43 +0000369 * parameters from the EC key information of a certificate.
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100370 *
Rose Zadik68993282018-03-27 11:12:25 +0100371 * \see ecp.h
372 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000373 * \param ctx The ECDH context to set up. This must be initialized.
374 * \param key The EC key to use. This must be initialized.
375 * \param side Defines the source of the key. Possible values are:
Hanno Beckerc81cfec2018-12-18 23:32:42 +0000376 * - #MBEDTLS_ECDH_OURS: The key is ours.
377 * - #MBEDTLS_ECDH_THEIRS: The key is that of the peer.
Rose Zadikde2d6222018-01-25 21:57:43 +0000378 *
Rose Zadik68993282018-03-27 11:12:25 +0100379 * \return \c 0 on success.
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200380 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Rose Zadikde2d6222018-01-25 21:57:43 +0000381 *
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100382 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100383int mbedtls_ecdh_get_params(mbedtls_ecdh_context *ctx,
384 const mbedtls_ecp_keypair *key,
385 mbedtls_ecdh_side side);
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100386
387/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000388 * \brief This function generates a public key and exports it
389 * as a TLS ClientKeyExchange payload.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100390 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000391 * This is the second function used by a TLS client for ECDH(E)
392 * ciphersuites.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100393 *
Rose Zadik68993282018-03-27 11:12:25 +0100394 * \see ecp.h
395 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000396 * \param ctx The ECDH context to use. This must be initialized
397 * and bound to a group, the latter usually by
398 * mbedtls_ecdh_read_params().
399 * \param olen The address at which to store the number of Bytes written.
400 * This must not be \c NULL.
401 * \param buf The destination buffer. This must be a writable buffer
Hanno Beckerc81cfec2018-12-18 23:32:42 +0000402 * of length \p blen Bytes.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000403 * \param blen The size of the destination buffer \p buf in Bytes.
404 * \param f_rng The RNG function to use. This must not be \c NULL.
405 * \param p_rng The RNG context to be passed to \p f_rng. This may be
406 * \c NULL in case \p f_rng doesn't need a context argument.
Rose Zadikde2d6222018-01-25 21:57:43 +0000407 *
Rose Zadik68993282018-03-27 11:12:25 +0100408 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200409 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardc90d3b02017-04-27 10:48:29 +0200410 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200411 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100412 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100413int mbedtls_ecdh_make_public(mbedtls_ecdh_context *ctx, size_t *olen,
414 unsigned char *buf, size_t blen,
415 int (*f_rng)(void *, unsigned char *, size_t),
416 void *p_rng);
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100417
418/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000419 * \brief This function parses and processes the ECDHE payload of a
420 * TLS ClientKeyExchange message.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100421 *
Janos Follathf61e4862018-10-30 11:53:25 +0000422 * This is the third function used by a TLS server for ECDH(E)
423 * ciphersuites. (It is called after mbedtls_ecdh_setup() and
424 * mbedtls_ecdh_make_params().)
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100425 *
Rose Zadik68993282018-03-27 11:12:25 +0100426 * \see ecp.h
427 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000428 * \param ctx The ECDH context to use. This must be initialized
429 * and bound to a group, for example via mbedtls_ecdh_setup().
430 * \param buf The pointer to the ClientKeyExchange payload. This must
431 * be a readable buffer of length \p blen Bytes.
432 * \param blen The length of the input buffer \p buf in Bytes.
Rose Zadikde2d6222018-01-25 21:57:43 +0000433 *
Rose Zadik68993282018-03-27 11:12:25 +0100434 * \return \c 0 on success.
435 * \return An \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100436 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100437int mbedtls_ecdh_read_public(mbedtls_ecdh_context *ctx,
438 const unsigned char *buf, size_t blen);
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100439
440/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000441 * \brief This function derives and exports the shared secret.
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100442 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000443 * This is the last function used by both TLS client
444 * and servers.
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100445 *
Rose Zadik68993282018-03-27 11:12:25 +0100446 * \note If \p f_rng is not NULL, it is used to implement
Rose Zadik7375b0f2018-04-16 16:04:57 +0100447 * countermeasures against side-channel attacks.
448 * For more information, see mbedtls_ecp_mul().
Rose Zadik68993282018-03-27 11:12:25 +0100449 *
450 * \see ecp.h
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000451
452 * \param ctx The ECDH context to use. This must be initialized
453 * and have its own private key generated and the peer's
454 * public key imported.
455 * \param olen The address at which to store the total number of
456 * Bytes written on success. This must not be \c NULL.
457 * \param buf The buffer to write the generated shared key to. This
458 * must be a writable buffer of size \p blen Bytes.
459 * \param blen The length of the destination buffer \p buf in Bytes.
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200460 * \param f_rng The RNG function to use. This must not be \c NULL.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000461 * \param p_rng The RNG context. This may be \c NULL if \p f_rng
462 * doesn't need a context argument.
Rose Zadikde2d6222018-01-25 21:57:43 +0000463 *
Rose Zadik68993282018-03-27 11:12:25 +0100464 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200465 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardc90d3b02017-04-27 10:48:29 +0200466 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200467 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100468 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100469int mbedtls_ecdh_calc_secret(mbedtls_ecdh_context *ctx, size_t *olen,
470 unsigned char *buf, size_t blen,
471 int (*f_rng)(void *, unsigned char *, size_t),
472 void *p_rng);
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100473
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200474#if defined(MBEDTLS_ECP_RESTARTABLE)
475/**
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200476 * \brief This function enables restartable EC computations for this
477 * context. (Default: disabled.)
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200478 *
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200479 * \see \c mbedtls_ecp_set_max_ops()
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200480 *
481 * \note It is not possible to safely disable restartable
482 * computations once enabled, except by free-ing the context,
483 * which cancels possible in-progress operations.
484 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000485 * \param ctx The ECDH context to use. This must be initialized.
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200486 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100487void mbedtls_ecdh_enable_restart(mbedtls_ecdh_context *ctx);
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200488#endif /* MBEDTLS_ECP_RESTARTABLE */
489
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100490#ifdef __cplusplus
491}
492#endif
493
Paul Bakker9af723c2014-05-01 13:03:14 +0200494#endif /* ecdh.h */