blob: ec9829f6f299eb70a6c41297e81f1db1ee18ca2a [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)
99#define MBEDTLS_ECDH_CTX_MBED_INIT {MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, MBEDTLS_ECP_POINT_INIT, \
100 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT, MBEDTLS_ECP_RESTART_INIT}
101#else
102#define MBEDTLS_ECDH_CTX_MBED_INIT {MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, MBEDTLS_ECP_POINT_INIT, \
103 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT}
104#endif
105
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100106/**
Manuel Pégourié-Gonnardeaf55be2017-08-23 14:40:21 +0200107 *
108 * \warning Performing multiple operations concurrently on the same
109 * ECDSA context is not supported; objects of this type
110 * should not be shared between multiple threads.
Rose Zadikde2d6222018-01-25 21:57:43 +0000111 * \brief The ECDH context structure.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100112 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100113typedef struct mbedtls_ecdh_context {
Janos Follathc9c32f32018-08-13 15:52:45 +0100114#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200115 mbedtls_ecp_group MBEDTLS_PRIVATE(grp); /*!< The elliptic curve used. */
116 mbedtls_mpi MBEDTLS_PRIVATE(d); /*!< The private key. */
117 mbedtls_ecp_point MBEDTLS_PRIVATE(Q); /*!< The public key. */
118 mbedtls_ecp_point MBEDTLS_PRIVATE(Qp); /*!< The value of the public key of the peer. */
119 mbedtls_mpi MBEDTLS_PRIVATE(z); /*!< The shared secret. */
120 int MBEDTLS_PRIVATE(point_format); /*!< The format of point export in TLS messages. */
121 mbedtls_ecp_point MBEDTLS_PRIVATE(Vi); /*!< The blinding value. */
122 mbedtls_ecp_point MBEDTLS_PRIVATE(Vf); /*!< The unblinding value. */
123 mbedtls_mpi MBEDTLS_PRIVATE(_d); /*!< The previous \p d. */
Manuel Pégourié-Gonnard66ba48a2017-04-27 11:38:26 +0200124#if defined(MBEDTLS_ECP_RESTARTABLE)
Mateusz Starzyk2abe51c2021-06-07 11:08:01 +0200125 int MBEDTLS_PRIVATE(restart_enabled); /*!< The flag for restartable mode. */
126 mbedtls_ecp_restart_ctx MBEDTLS_PRIVATE(rs); /*!< The restart context for EC computations. */
Janos Follathc9c32f32018-08-13 15:52:45 +0100127#endif /* MBEDTLS_ECP_RESTARTABLE */
128#else
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200129 uint8_t MBEDTLS_PRIVATE(point_format); /*!< The format of point export in TLS messages
Gilles Peskine449bd832023-01-11 14:50:10 +0100130 as defined in RFC 4492. */
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200131 mbedtls_ecp_group_id MBEDTLS_PRIVATE(grp_id);/*!< The elliptic curve used. */
132 mbedtls_ecdh_variant MBEDTLS_PRIVATE(var); /*!< The ECDH implementation/structure used. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100133 union {
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200134 mbedtls_ecdh_context_mbed MBEDTLS_PRIVATE(mbed_ecdh);
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +0100135#if defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200136 mbedtls_ecdh_context_everest MBEDTLS_PRIVATE(everest_ecdh);
Christoph M. Wintersteigerde4fcf22018-10-25 12:41:04 +0100137#endif
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200138 } MBEDTLS_PRIVATE(ctx); /*!< Implementation-specific context. The
Gilles Peskine449bd832023-01-11 14:50:10 +0100139 context in use is specified by the \c var
140 field. */
Janos Follathc9c32f32018-08-13 15:52:45 +0100141#if defined(MBEDTLS_ECP_RESTARTABLE)
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200142 uint8_t MBEDTLS_PRIVATE(restart_enabled); /*!< The flag for restartable mode. Functions of
Gilles Peskine449bd832023-01-11 14:50:10 +0100143 an alternative implementation not supporting
144 restartable mode must return
145 MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED error
146 if this flag is set. */
Janos Follathc9c32f32018-08-13 15:52:45 +0100147#endif /* MBEDTLS_ECP_RESTARTABLE */
148#endif /* MBEDTLS_ECDH_LEGACY_CONTEXT */
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100149}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150mbedtls_ecdh_context;
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100151
Waleed Elmelegyf840b3a2024-11-01 15:04:48 +0000152#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
153#if defined(MBEDTLS_ECP_RESTARTABLE)
154#define MBEDTLS_ECDH_CTX_INIT {MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, MBEDTLS_ECP_POINT_INIT, \
155 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT, 0, MBEDTLS_ECP_POINT_INIT, \
156 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT,0, MBEDTLS_ECP_RESTART_INIT}
157#else
158#define MBEDTLS_ECDH_CTX_INIT {MBEDTLS_ECP_GROUP_INIT, MBEDTLS_MPI_INIT, MBEDTLS_ECP_POINT_INIT, \
159 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT, 0, MBEDTLS_ECP_POINT_INIT, \
160 MBEDTLS_ECP_POINT_INIT, MBEDTLS_MPI_INIT}
161#endif /* MBEDTLS_ECP_RESTARTABLE */
162#else
163#if !defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
164#if defined(MBEDTLS_ECP_RESTARTABLE)
165#define MBEDTLS_ECDH_CTX_INIT {0, MBEDTLS_ECP_DP_NONE, MBEDTLS_ECDH_VARIANT_NONE, MBEDTLS_ECDH_CTX_MBED_INIT, MBEDTLS_ECDH_CTX_MBED_INIT, 0}
166#else
167#define MBEDTLS_ECDH_CTX_INIT {0, MBEDTLS_ECP_DP_NONE, MBEDTLS_ECDH_VARIANT_NONE, MBEDTLS_ECDH_CTX_MBED_INIT, MBEDTLS_ECDH_CTX_MBED_INIT}
168#endif /* MBEDTLS_ECP_RESTARTABLE */
169#else
170#if defined(MBEDTLS_ECP_RESTARTABLE)
171#define MBEDTLS_ECDH_CTX_INIT {0, MBEDTLS_ECP_DP_NONE, MBEDTLS_ECDH_VARIANT_NONE, MBEDTLS_ECDH_CTX_EVEREST_INIT, MBEDTLS_ECDH_CTX_MBED_INIT, 0}
172#else
173#define MBEDTLS_ECDH_CTX_INIT {0, MBEDTLS_ECP_DP_NONE, MBEDTLS_ECDH_VARIANT_NONE, MBEDTLS_ECDH_CTX_EVEREST_INIT, MBEDTLS_ECDH_CTX_MBED_INIT}
174#endif /* MBEDTLS_ECP_RESTARTABLE */
175#endif /* !MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED */
176#endif /* MBEDTLS_ECDH_LEGACY_CONTEXT */
177
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100178/**
Minos Galanakisd7537382024-02-23 12:17:59 +0000179 * \brief Return the ECP group for provided context.
180 *
181 * \note To access group specific fields, users should use
182 * `mbedtls_ecp_curve_info_from_grp_id` or
183 * `mbedtls_ecp_group_load` on the extracted `group_id`.
184 *
185 * \param ctx The ECDH context to parse. This must not be \c NULL.
186 *
187 * \return The \c mbedtls_ecp_group_id of the context.
188 */
189mbedtls_ecp_group_id mbedtls_ecdh_get_grp_id(mbedtls_ecdh_context *ctx);
190
191/**
Gilles Peskine20b3ef32019-02-11 18:41:27 +0100192 * \brief Check whether a given group can be used for ECDH.
193 *
194 * \param gid The ECP group ID to check.
195 *
196 * \return \c 1 if the group can be used, \c 0 otherwise
197 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100198int mbedtls_ecdh_can_do(mbedtls_ecp_group_id gid);
Gilles Peskine20b3ef32019-02-11 18:41:27 +0100199
200/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000201 * \brief This function generates an ECDH keypair on an elliptic
202 * curve.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100203 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000204 * This function performs the first of two core computations
205 * implemented during the ECDH key exchange. The second core
206 * computation is performed by mbedtls_ecdh_compute_shared().
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100207 *
Rose Zadik68993282018-03-27 11:12:25 +0100208 * \see ecp.h
209 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000210 * \param grp The ECP group to use. This must be initialized and have
211 * domain parameters loaded, for example through
212 * mbedtls_ecp_load() or mbedtls_ecp_tls_read_group().
Rose Zadikde2d6222018-01-25 21:57:43 +0000213 * \param d The destination MPI (private key).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000214 * This must be initialized.
Rose Zadikde2d6222018-01-25 21:57:43 +0000215 * \param Q The destination point (public key).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000216 * This must be initialized.
217 * \param f_rng The RNG function to use. This must not be \c NULL.
218 * \param p_rng The RNG context to be passed to \p f_rng. This may be
219 * \c NULL in case \p f_rng doesn't need a context argument.
Rose Zadikde2d6222018-01-25 21:57:43 +0000220 *
Rose Zadik68993282018-03-27 11:12:25 +0100221 * \return \c 0 on success.
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200222 * \return Another \c MBEDTLS_ERR_ECP_XXX or
223 * \c MBEDTLS_MPI_XXX error code on failure.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100224 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100225int mbedtls_ecdh_gen_public(mbedtls_ecp_group *grp, mbedtls_mpi *d, mbedtls_ecp_point *Q,
226 int (*f_rng)(void *, unsigned char *, size_t),
227 void *p_rng);
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100228
229/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000230 * \brief This function computes the shared secret.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100231 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000232 * This function performs the second of two core computations
233 * implemented during the ECDH key exchange. The first core
234 * computation is performed by mbedtls_ecdh_gen_public().
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100235 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000236 * \see ecp.h
237 *
238 * \note If \p f_rng is not NULL, it is used to implement
Rose Zadik7375b0f2018-04-16 16:04:57 +0100239 * countermeasures against side-channel attacks.
240 * For more information, see mbedtls_ecp_mul().
Rose Zadik68993282018-03-27 11:12:25 +0100241 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000242 * \param grp The ECP group to use. This must be initialized and have
243 * domain parameters loaded, for example through
244 * mbedtls_ecp_load() or mbedtls_ecp_tls_read_group().
Rose Zadik68993282018-03-27 11:12:25 +0100245 * \param z The destination MPI (shared secret).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000246 * This must be initialized.
Rose Zadik68993282018-03-27 11:12:25 +0100247 * \param Q The public key from another party.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000248 * This must be initialized.
Rose Zadik68993282018-03-27 11:12:25 +0100249 * \param d Our secret exponent (private key).
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000250 * This must be initialized.
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200251 * \param f_rng The RNG function to use. This must not be \c NULL.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000252 * \param p_rng The RNG context to be passed to \p f_rng. This may be
253 * \c NULL if \p f_rng is \c NULL or doesn't need a
254 * context argument.
Rose Zadik68993282018-03-27 11:12:25 +0100255 *
256 * \return \c 0 on success.
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200257 * \return Another \c MBEDTLS_ERR_ECP_XXX or
258 * \c MBEDTLS_MPI_XXX error code on failure.
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100259 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100260int mbedtls_ecdh_compute_shared(mbedtls_ecp_group *grp, mbedtls_mpi *z,
261 const mbedtls_ecp_point *Q, const mbedtls_mpi *d,
262 int (*f_rng)(void *, unsigned char *, size_t),
263 void *p_rng);
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +0100264
265/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000266 * \brief This function initializes an ECDH context.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100267 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000268 * \param ctx The ECDH context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100269 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100270void mbedtls_ecdh_init(mbedtls_ecdh_context *ctx);
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100271
272/**
Janos Follathf61e4862018-10-30 11:53:25 +0000273 * \brief This function sets up the ECDH context with the information
274 * given.
275 *
276 * This function should be called after mbedtls_ecdh_init() but
277 * before mbedtls_ecdh_make_params(). There is no need to call
278 * this function before mbedtls_ecdh_read_params().
279 *
280 * This is the first function used by a TLS server for ECDHE
281 * ciphersuites.
282 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000283 * \param ctx The ECDH context to set up. This must be initialized.
Janos Follathf61e4862018-10-30 11:53:25 +0000284 * \param grp_id The group id of the group to set up the context for.
285 *
286 * \return \c 0 on success.
287 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100288int mbedtls_ecdh_setup(mbedtls_ecdh_context *ctx,
289 mbedtls_ecp_group_id grp_id);
Janos Follathf61e4862018-10-30 11:53:25 +0000290
291/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000292 * \brief This function frees a context.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100293 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000294 * \param ctx The context to free. This may be \c NULL, in which
295 * case this function does nothing. If it is not \c NULL,
296 * it must point to an initialized ECDH context.
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100297 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100298void mbedtls_ecdh_free(mbedtls_ecdh_context *ctx);
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100299
300/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000301 * \brief This function generates an EC key pair and exports its
302 * in the format used in a TLS ServerKeyExchange handshake
303 * message.
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100304 *
Janos Follathf61e4862018-10-30 11:53:25 +0000305 * This is the second function used by a TLS server for ECDHE
306 * ciphersuites. (It is called after mbedtls_ecdh_setup().)
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100307 *
Rose Zadik68993282018-03-27 11:12:25 +0100308 * \see ecp.h
309 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000310 * \param ctx The ECDH context to use. This must be initialized
311 * and bound to a group, for example via mbedtls_ecdh_setup().
312 * \param olen The address at which to store the number of Bytes written.
313 * \param buf The destination buffer. This must be a writable buffer of
314 * length \p blen Bytes.
315 * \param blen The length of the destination buffer \p buf in Bytes.
316 * \param f_rng The RNG function to use. This must not be \c NULL.
317 * \param p_rng The RNG context to be passed to \p f_rng. This may be
318 * \c NULL in case \p f_rng doesn't need a context argument.
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100319 *
Rose Zadik68993282018-03-27 11:12:25 +0100320 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200321 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardc90d3b02017-04-27 10:48:29 +0200322 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200323 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100324 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100325int mbedtls_ecdh_make_params(mbedtls_ecdh_context *ctx, size_t *olen,
326 unsigned char *buf, size_t blen,
327 int (*f_rng)(void *, unsigned char *, size_t),
328 void *p_rng);
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100329
330/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000331 * \brief This function parses the ECDHE parameters in a
332 * TLS ServerKeyExchange handshake message.
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100333 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000334 * \note In a TLS handshake, this is the how the client
335 * sets up its ECDHE context from the server's public
336 * ECDHE key material.
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100337 *
Rose Zadik68993282018-03-27 11:12:25 +0100338 * \see ecp.h
339 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000340 * \param ctx The ECDHE context to use. This must be initialized.
Hanno Becker60b65042018-12-17 22:59:13 +0000341 * \param buf On input, \c *buf must be the start of the input buffer.
342 * On output, \c *buf is updated to point to the end of the
343 * data that has been read. On success, this is the first byte
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000344 * past the end of the ServerKeyExchange parameters.
345 * On error, this is the point at which an error has been
346 * detected, which is usually not useful except to debug
347 * failures.
348 * \param end The end of the input buffer.
Rose Zadikde2d6222018-01-25 21:57:43 +0000349 *
Rose Zadik68993282018-03-27 11:12:25 +0100350 * \return \c 0 on success.
351 * \return An \c MBEDTLS_ERR_ECP_XXX error code on failure.
Rose Zadikde2d6222018-01-25 21:57:43 +0000352 *
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100353 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100354int mbedtls_ecdh_read_params(mbedtls_ecdh_context *ctx,
355 const unsigned char **buf,
356 const unsigned char *end);
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100357
358/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000359 * \brief This function sets up an ECDH context from an EC key.
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100360 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000361 * It is used by clients and servers in place of the
Wenxing Houb4d03cc2024-06-19 11:04:13 +0800362 * ServerKeyExchange for static ECDH, and imports ECDH
Rose Zadikde2d6222018-01-25 21:57:43 +0000363 * parameters from the EC key information of a certificate.
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100364 *
Rose Zadik68993282018-03-27 11:12:25 +0100365 * \see ecp.h
366 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000367 * \param ctx The ECDH context to set up. This must be initialized.
368 * \param key The EC key to use. This must be initialized.
369 * \param side Defines the source of the key. Possible values are:
Hanno Beckerc81cfec2018-12-18 23:32:42 +0000370 * - #MBEDTLS_ECDH_OURS: The key is ours.
371 * - #MBEDTLS_ECDH_THEIRS: The key is that of the peer.
Rose Zadikde2d6222018-01-25 21:57:43 +0000372 *
Rose Zadik68993282018-03-27 11:12:25 +0100373 * \return \c 0 on success.
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200374 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Rose Zadikde2d6222018-01-25 21:57:43 +0000375 *
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100376 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100377int mbedtls_ecdh_get_params(mbedtls_ecdh_context *ctx,
378 const mbedtls_ecp_keypair *key,
379 mbedtls_ecdh_side side);
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100380
381/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000382 * \brief This function generates a public key and exports it
383 * as a TLS ClientKeyExchange payload.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100384 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000385 * This is the second function used by a TLS client for ECDH(E)
386 * ciphersuites.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100387 *
Rose Zadik68993282018-03-27 11:12:25 +0100388 * \see ecp.h
389 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000390 * \param ctx The ECDH context to use. This must be initialized
391 * and bound to a group, the latter usually by
392 * mbedtls_ecdh_read_params().
393 * \param olen The address at which to store the number of Bytes written.
394 * This must not be \c NULL.
395 * \param buf The destination buffer. This must be a writable buffer
Hanno Beckerc81cfec2018-12-18 23:32:42 +0000396 * of length \p blen Bytes.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000397 * \param blen The size of the destination buffer \p buf in Bytes.
398 * \param f_rng The RNG function to use. This must not be \c NULL.
399 * \param p_rng The RNG context to be passed to \p f_rng. This may be
400 * \c NULL in case \p f_rng doesn't need a context argument.
Rose Zadikde2d6222018-01-25 21:57:43 +0000401 *
Rose Zadik68993282018-03-27 11:12:25 +0100402 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200403 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardc90d3b02017-04-27 10:48:29 +0200404 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200405 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100406 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100407int mbedtls_ecdh_make_public(mbedtls_ecdh_context *ctx, size_t *olen,
408 unsigned char *buf, size_t blen,
409 int (*f_rng)(void *, unsigned char *, size_t),
410 void *p_rng);
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100411
412/**
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000413 * \brief This function parses and processes the ECDHE payload of a
414 * TLS ClientKeyExchange message.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100415 *
Janos Follathf61e4862018-10-30 11:53:25 +0000416 * This is the third function used by a TLS server for ECDH(E)
417 * ciphersuites. (It is called after mbedtls_ecdh_setup() and
418 * mbedtls_ecdh_make_params().)
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100419 *
Rose Zadik68993282018-03-27 11:12:25 +0100420 * \see ecp.h
421 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000422 * \param ctx The ECDH context to use. This must be initialized
423 * and bound to a group, for example via mbedtls_ecdh_setup().
424 * \param buf The pointer to the ClientKeyExchange payload. This must
425 * be a readable buffer of length \p blen Bytes.
426 * \param blen The length of the input buffer \p buf in Bytes.
Rose Zadikde2d6222018-01-25 21:57:43 +0000427 *
Rose Zadik68993282018-03-27 11:12:25 +0100428 * \return \c 0 on success.
429 * \return An \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100430 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100431int mbedtls_ecdh_read_public(mbedtls_ecdh_context *ctx,
432 const unsigned char *buf, size_t blen);
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100433
434/**
Rose Zadikde2d6222018-01-25 21:57:43 +0000435 * \brief This function derives and exports the shared secret.
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100436 *
Rose Zadikde2d6222018-01-25 21:57:43 +0000437 * This is the last function used by both TLS client
438 * and servers.
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100439 *
Rose Zadik68993282018-03-27 11:12:25 +0100440 * \note If \p f_rng is not NULL, it is used to implement
Rose Zadik7375b0f2018-04-16 16:04:57 +0100441 * countermeasures against side-channel attacks.
442 * For more information, see mbedtls_ecp_mul().
Rose Zadik68993282018-03-27 11:12:25 +0100443 *
444 * \see ecp.h
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000445
446 * \param ctx The ECDH context to use. This must be initialized
447 * and have its own private key generated and the peer's
448 * public key imported.
449 * \param olen The address at which to store the total number of
450 * Bytes written on success. This must not be \c NULL.
451 * \param buf The buffer to write the generated shared key to. This
452 * must be a writable buffer of size \p blen Bytes.
453 * \param blen The length of the destination buffer \p buf in Bytes.
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200454 * \param f_rng The RNG function to use. This must not be \c NULL.
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000455 * \param p_rng The RNG context. This may be \c NULL if \p f_rng
456 * doesn't need a context argument.
Rose Zadikde2d6222018-01-25 21:57:43 +0000457 *
Rose Zadik68993282018-03-27 11:12:25 +0100458 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200459 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardc90d3b02017-04-27 10:48:29 +0200460 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200461 * \return Another \c MBEDTLS_ERR_ECP_XXX error code on failure.
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100462 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100463int mbedtls_ecdh_calc_secret(mbedtls_ecdh_context *ctx, size_t *olen,
464 unsigned char *buf, size_t blen,
465 int (*f_rng)(void *, unsigned char *, size_t),
466 void *p_rng);
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100467
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200468#if defined(MBEDTLS_ECP_RESTARTABLE)
469/**
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200470 * \brief This function enables restartable EC computations for this
471 * context. (Default: disabled.)
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200472 *
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200473 * \see \c mbedtls_ecp_set_max_ops()
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200474 *
475 * \note It is not possible to safely disable restartable
476 * computations once enabled, except by free-ing the context,
477 * which cancels possible in-progress operations.
478 *
Hanno Beckere77ef2a2018-12-17 18:10:43 +0000479 * \param ctx The ECDH context to use. This must be initialized.
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200480 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100481void mbedtls_ecdh_enable_restart(mbedtls_ecdh_context *ctx);
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200482#endif /* MBEDTLS_ECP_RESTARTABLE */
483
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100484#ifdef __cplusplus
485}
486#endif
487
Paul Bakker9af723c2014-05-01 13:03:14 +0200488#endif /* ecdh.h */