blob: 86f49449a7e344b4265c9415953156e6a8aab08a [file] [log] [blame]
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +01001/**
2 * \file ecdsa.h
3 *
Rose Zadik817297f2018-03-27 11:30:14 +01004 * \brief This file contains ECDSA definitions and functions.
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +01005 *
Rose Zadik817297f2018-03-27 11:30:14 +01006 * The Elliptic Curve Digital Signature Algorithm (ECDSA) is defined in
7 * <em>Standards for Efficient Cryptography Group (SECG):
Rose Zadikbff87d92018-01-25 21:58:53 +00008 * SEC1 Elliptic Curve Cryptography</em>.
9 * The use of ECDSA for TLS is defined in <em>RFC-4492: Elliptic Curve
10 * Cryptography (ECC) Cipher Suites for Transport Layer Security (TLS)</em>.
11 *
Darryl Greena40a1012018-01-05 15:33:17 +000012 */
13/*
Rose Zadikbff87d92018-01-25 21:58:53 +000014 * Copyright (C) 2006-2018, Arm Limited (or its affiliates), All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020015 * SPDX-License-Identifier: Apache-2.0
16 *
17 * Licensed under the Apache License, Version 2.0 (the "License"); you may
18 * not use this file except in compliance with the License.
19 * You may obtain a copy of the License at
20 *
21 * http://www.apache.org/licenses/LICENSE-2.0
22 *
23 * Unless required by applicable law or agreed to in writing, software
24 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
25 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
26 * See the License for the specific language governing permissions and
27 * limitations under the License.
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +010028 *
Rose Zadikbff87d92018-01-25 21:58:53 +000029 * This file is part of Mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +010030 */
Rose Zadikbff87d92018-01-25 21:58:53 +000031
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#ifndef MBEDTLS_ECDSA_H
33#define MBEDTLS_ECDSA_H
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +010034
Manuel Pégourié-Gonnardbdc96762013-10-03 11:50:39 +020035#include "ecp.h"
Manuel Pégourié-Gonnard887aa5b2014-04-04 13:57:20 +020036#include "md.h"
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +010037
Manuel Pégourié-Gonnard63e93192015-03-31 11:15:48 +020038/*
Rose Zadikbff87d92018-01-25 21:58:53 +000039 * RFC-4492 page 20:
Manuel Pégourié-Gonnard63e93192015-03-31 11:15:48 +020040 *
41 * Ecdsa-Sig-Value ::= SEQUENCE {
42 * r INTEGER,
43 * s INTEGER
44 * }
45 *
46 * Size is at most
47 * 1 (tag) + 1 (len) + 1 (initial 0) + ECP_MAX_BYTES for each of r and s,
48 * twice that + 1 (tag) + 2 (len) for the sequence
49 * (assuming ECP_MAX_BYTES is less than 126 for r and s,
50 * and less than 124 (total len <= 255) for the sequence)
51 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052#if MBEDTLS_ECP_MAX_BYTES > 124
53#error "MBEDTLS_ECP_MAX_BYTES bigger than expected, please fix MBEDTLS_ECDSA_MAX_LEN"
Manuel Pégourié-Gonnard63e93192015-03-31 11:15:48 +020054#endif
Rose Zadikbff87d92018-01-25 21:58:53 +000055/** The maximal size of an ECDSA signature in Bytes. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020056#define MBEDTLS_ECDSA_MAX_LEN ( 3 + 2 * ( 3 + MBEDTLS_ECP_MAX_BYTES ) )
Manuel Pégourié-Gonnard63e93192015-03-31 11:15:48 +020057
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +020058#ifdef __cplusplus
59extern "C" {
60#endif
61
Manuel Pégourié-Gonnardbec2f452013-06-27 10:17:07 +020062/**
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +020063 * \brief The ECDSA context structure.
Manuel Pégourié-Gonnardeaf55be2017-08-23 14:40:21 +020064 *
65 * \warning Performing multiple operations concurrently on the same
66 * ECDSA context is not supported; objects of this type
67 * should not be shared between multiple threads.
Manuel Pégourié-Gonnardbec2f452013-06-27 10:17:07 +020068 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069typedef mbedtls_ecp_keypair mbedtls_ecdsa_context;
Manuel Pégourié-Gonnardbec2f452013-06-27 10:17:07 +020070
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +020071#if defined(MBEDTLS_ECP_RESTARTABLE)
72
73/**
Manuel Pégourié-Gonnarda0c5bcc2017-04-21 11:33:57 +020074 * \brief Internal restart context for ecdsa_verify()
75 *
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +020076 * \note Opaque struct, defined in ecdsa.c
Manuel Pégourié-Gonnarda0c5bcc2017-04-21 11:33:57 +020077 */
78typedef struct mbedtls_ecdsa_restart_ver mbedtls_ecdsa_restart_ver_ctx;
79
80/**
Manuel Pégourié-Gonnardb90883d2017-04-25 11:33:10 +020081 * \brief Internal restart context for ecdsa_sign()
82 *
83 * \note Opaque struct, defined in ecdsa.c
84 */
85typedef struct mbedtls_ecdsa_restart_sig mbedtls_ecdsa_restart_sig_ctx;
86
87#if defined(MBEDTLS_ECDSA_DETERMINISTIC)
88/**
89 * \brief Internal restart context for ecdsa_sign_det()
90 *
91 * \note Opaque struct, defined in ecdsa.c
92 */
93typedef struct mbedtls_ecdsa_restart_det mbedtls_ecdsa_restart_det_ctx;
94#endif
95
96/**
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +020097 * \brief General context for resuming ECDSA operations
98 */
99typedef struct
100{
Manuel Pégourié-Gonnard12e4a8b2018-09-12 10:55:15 +0200101 mbedtls_ecp_restart_ctx ecp; /*!< base context for ECP restart and
102 shared administrative info */
Manuel Pégourié-Gonnarda0c5bcc2017-04-21 11:33:57 +0200103 mbedtls_ecdsa_restart_ver_ctx *ver; /*!< ecdsa_verify() sub-context */
Manuel Pégourié-Gonnardb90883d2017-04-25 11:33:10 +0200104 mbedtls_ecdsa_restart_sig_ctx *sig; /*!< ecdsa_sign() sub-context */
105#if defined(MBEDTLS_ECDSA_DETERMINISTIC)
106 mbedtls_ecdsa_restart_det_ctx *det; /*!< ecdsa_sign_det() sub-context */
107#endif
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200108} mbedtls_ecdsa_restart_ctx;
109
110#else /* MBEDTLS_ECP_RESTARTABLE */
111
112/* Now we can declare functions that take a pointer to that */
113typedef void mbedtls_ecdsa_restart_ctx;
114
115#endif /* MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +0100116
117/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000118 * \brief This function computes the ECDSA signature of a
119 * previously-hashed message.
Manuel Pégourié-Gonnardb309ab22013-01-26 17:24:59 +0100120 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000121 * \note The deterministic version implemented in
122 * mbedtls_ecdsa_sign_det() is usually preferred.
Manuel Pégourié-Gonnardb309ab22013-01-26 17:24:59 +0100123 *
Janos Follath0a5154b2017-03-10 11:31:41 +0000124 * \note If the bitlength of the message hash is larger than the
Rose Zadik817297f2018-03-27 11:30:14 +0100125 * bitlength of the group order, then the hash is truncated
126 * as defined in <em>Standards for Efficient Cryptography Group
127 * (SECG): SEC1 Elliptic Curve Cryptography</em>, section
128 * 4.1.3, step 5.
Janos Follath0a5154b2017-03-10 11:31:41 +0000129 *
Rose Zadik817297f2018-03-27 11:30:14 +0100130 * \see ecp.h
131 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000132 * \param grp The context for the elliptic curve to use.
133 * This must be initialized and have group parameters
134 * set, for example through mbedtls_ecp_group_load().
135 * \param r The MPI context in which to store the first part
136 * the signature. This must be initialized.
137 * \param s The MPI context in which to store the second part
138 * the signature. This must be initialized.
139 * \param d The private signing key. This must be initialized.
140 * \param buf The content to be signed. This is usually the hash of
141 * the original data to be signed. This must be a readable
142 * buffer of length \p blen Bytes. It may be \c NULL if
143 * \p blen is zero.
144 * \param blen The length of \p buf in Bytes.
145 * \param f_rng The RNG function. This must not be \c NULL.
146 * \param p_rng The RNG context to be passed to \p f_rng. This may be
147 * \c NULL if \p f_rng doesn't need a context parameter.
Manuel Pégourié-Gonnardb309ab22013-01-26 17:24:59 +0100148 *
Rose Zadik817297f2018-03-27 11:30:14 +0100149 * \return \c 0 on success.
150 * \return An \c MBEDTLS_ERR_ECP_XXX
Rose Zadikbff87d92018-01-25 21:58:53 +0000151 * or \c MBEDTLS_MPI_XXX error code on failure.
Manuel Pégourié-Gonnardb309ab22013-01-26 17:24:59 +0100152 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200153int mbedtls_ecdsa_sign( mbedtls_ecp_group *grp, mbedtls_mpi *r, mbedtls_mpi *s,
154 const mbedtls_mpi *d, const unsigned char *buf, size_t blen,
Manuel Pégourié-Gonnardb309ab22013-01-26 17:24:59 +0100155 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
156
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200157#if defined(MBEDTLS_ECDSA_DETERMINISTIC)
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +0100158/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000159 * \brief This function computes the ECDSA signature of a
160 * previously-hashed message, deterministic version.
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +0100161 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000162 * For more information, see <em>RFC-6979: Deterministic
163 * Usage of the Digital Signature Algorithm (DSA) and Elliptic
164 * Curve Digital Signature Algorithm (ECDSA)</em>.
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +0100165 *
Janos Follath0a5154b2017-03-10 11:31:41 +0000166 * \note If the bitlength of the message hash is larger than the
167 * bitlength of the group order, then the hash is truncated as
Rose Zadik817297f2018-03-27 11:30:14 +0100168 * defined in <em>Standards for Efficient Cryptography Group
169 * (SECG): SEC1 Elliptic Curve Cryptography</em>, section
170 * 4.1.3, step 5.
Janos Follath0a5154b2017-03-10 11:31:41 +0000171 *
Rose Zadik817297f2018-03-27 11:30:14 +0100172 * \see ecp.h
173 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000174 * \param grp The context for the elliptic curve to use.
175 * This must be initialized and have group parameters
176 * set, for example through mbedtls_ecp_group_load().
177 * \param r The MPI context in which to store the first part
178 * the signature. This must be initialized.
179 * \param s The MPI context in which to store the second part
180 * the signature. This must be initialized.
181 * \param d The private signing key. This must be initialized
182 * and setup, for example through mbedtls_ecp_gen_privkey().
183 * \param buf The hashed content to be signed. This must be a readable
184 * buffer of length \p blen Bytes. It may be \c NULL if
185 * \p blen is zero.
186 * \param blen The length of \p buf in Bytes.
187 * \param md_alg The hash algorithm used to hash the original data.
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +0100188 *
Rose Zadik817297f2018-03-27 11:30:14 +0100189 * \return \c 0 on success.
Rose Zadik14d0d572018-04-16 16:09:30 +0100190 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_MPI_XXX
Rose Zadikbff87d92018-01-25 21:58:53 +0000191 * error code on failure.
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +0100192 */
Hanno Beckere2e509c2018-12-14 16:43:20 +0000193int mbedtls_ecdsa_sign_det( mbedtls_ecp_group *grp, mbedtls_mpi *r,
194 mbedtls_mpi *s, const mbedtls_mpi *d,
195 const unsigned char *buf, size_t blen,
196 mbedtls_md_type_t md_alg );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200197#endif /* MBEDTLS_ECDSA_DETERMINISTIC */
Manuel Pégourié-Gonnard4daaef72014-01-06 14:25:56 +0100198
Manuel Pégourié-Gonnardb309ab22013-01-26 17:24:59 +0100199/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000200 * \brief This function verifies the ECDSA signature of a
201 * previously-hashed message.
Manuel Pégourié-Gonnard3aeb5a72013-01-26 18:05:50 +0100202 *
Janos Follath0a5154b2017-03-10 11:31:41 +0000203 * \note If the bitlength of the message hash is larger than the
204 * bitlength of the group order, then the hash is truncated as
Rose Zadik817297f2018-03-27 11:30:14 +0100205 * defined in <em>Standards for Efficient Cryptography Group
206 * (SECG): SEC1 Elliptic Curve Cryptography</em>, section
207 * 4.1.4, step 3.
Janos Follath0a5154b2017-03-10 11:31:41 +0000208 *
Rose Zadik817297f2018-03-27 11:30:14 +0100209 * \see ecp.h
210 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000211 * \param grp The ECP group to use.
212 * This must be initialized and have group parameters
213 * set, for example through mbedtls_ecp_group_load().
214 * \param buf The hashed content that was signed. This must be a readable
215 * buffer of length \p blen Bytes. It may be \c NULL if
216 * \p blen is zero.
217 * \param blen The length of \p buf in Bytes.
218 * \param Q The public key to use for verification. This must be
219 * initialized and setup.
Rose Zadikbff87d92018-01-25 21:58:53 +0000220 * \param r The first integer of the signature.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000221 * This must be initialized.
Rose Zadikbff87d92018-01-25 21:58:53 +0000222 * \param s The second integer of the signature.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000223 * This must be initialized.
Manuel Pégourié-Gonnard3aeb5a72013-01-26 18:05:50 +0100224 *
Rose Zadik817297f2018-03-27 11:30:14 +0100225 * \return \c 0 on success.
Rose Zadik14d0d572018-04-16 16:09:30 +0100226 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if the signature
227 * is invalid.
Rose Zadik817297f2018-03-27 11:30:14 +0100228 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_MPI_XXX
Rose Zadikbff87d92018-01-25 21:58:53 +0000229 * error code on failure for any other reason.
Manuel Pégourié-Gonnard3aeb5a72013-01-26 18:05:50 +0100230 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200231int mbedtls_ecdsa_verify( mbedtls_ecp_group *grp,
Hanno Beckere2e509c2018-12-14 16:43:20 +0000232 const unsigned char *buf, size_t blen,
233 const mbedtls_ecp_point *Q, const mbedtls_mpi *r,
234 const mbedtls_mpi *s);
Manuel Pégourié-Gonnard3aeb5a72013-01-26 18:05:50 +0100235
236/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000237 * \brief This function computes the ECDSA signature and writes it
238 * to a buffer, serialized as defined in <em>RFC-4492:
239 * Elliptic Curve Cryptography (ECC) Cipher Suites for
240 * Transport Layer Security (TLS)</em>.
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200241 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000242 * \warning It is not thread-safe to use the same context in
243 * multiple threads.
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200244 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000245 * \note The deterministic version is used if
246 * #MBEDTLS_ECDSA_DETERMINISTIC is defined. For more
247 * information, see <em>RFC-6979: Deterministic Usage
248 * of the Digital Signature Algorithm (DSA) and Elliptic
249 * Curve Digital Signature Algorithm (ECDSA)</em>.
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200250 *
Janos Follath0a5154b2017-03-10 11:31:41 +0000251 * \note If the bitlength of the message hash is larger than the
252 * bitlength of the group order, then the hash is truncated as
Rose Zadikbff87d92018-01-25 21:58:53 +0000253 * defined in <em>Standards for Efficient Cryptography Group
254 * (SECG): SEC1 Elliptic Curve Cryptography</em>, section
255 * 4.1.3, step 5.
Janos Follath0a5154b2017-03-10 11:31:41 +0000256 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000257 * \see ecp.h
Rose Zadik817297f2018-03-27 11:30:14 +0100258 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000259 * \param ctx The ECDSA context to use. This must be initialized
260 * and have a group and private key bound to it, for example
261 * via mbedtls_ecdsa_genkey() or mbedtls_ecdsa_from_keypair().
Rose Zadik817297f2018-03-27 11:30:14 +0100262 * \param md_alg The message digest that was used to hash the message.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000263 * \param hash The message hash to be signed. This must be a readable
264 * buffer of length \p blen Bytes.
265 * \param hlen The length of the hash \p hash in Bytes.
266 * \param sig The buffer to which to write the signature. This must be a
267 * writable buffer of length at least twice as large as the
268 * size of the curve used, plus 9. For example, 73 Bytes if
269 * a 256-bit curve is used. A buffer length of
270 * #MBEDTLS_ECDSA_MAX_LEN is always safe.
271 * \param slen The address at which to store the actual length of
272 * the signature written. Must not be \c NULL.
273 * \param f_rng The RNG function. This must not be \c NULL if
274 * #MBEDTLS_ECDSA_DETERMINISTIC is unset. Otherwise,
275 * it is unused and may be set to \c NULL.
276 * \param p_rng The RNG context to be passed to \p f_rng. This may be
277 * \c NULL if \p f_rng is \c NULL or doesn't use a context.
Rose Zadik817297f2018-03-27 11:30:14 +0100278 *
279 * \return \c 0 on success.
280 * \return An \c MBEDTLS_ERR_ECP_XXX, \c MBEDTLS_ERR_MPI_XXX or
281 * \c MBEDTLS_ERR_ASN1_XXX error code on failure.
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200282 */
Hanno Beckere2e509c2018-12-14 16:43:20 +0000283int mbedtls_ecdsa_write_signature( mbedtls_ecdsa_context *ctx,
284 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200285 const unsigned char *hash, size_t hlen,
286 unsigned char *sig, size_t *slen,
287 int (*f_rng)(void *, unsigned char *, size_t),
288 void *p_rng );
289
Manuel Pégourié-Gonnardaddb10e2017-04-21 12:54:46 +0200290/**
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200291 * \brief This function computes the ECDSA signature and writes it
292 * to a buffer, in a restartable way.
Manuel Pégourié-Gonnardaddb10e2017-04-21 12:54:46 +0200293 *
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200294 * \see \c mbedtls_ecdsa_write_signature()
295 *
296 * \note This function is like \c mbedtls_ecdsa_write_signature()
297 * but it can return early and restart according to the limit
Manuel Pégourié-Gonnardaddb10e2017-04-21 12:54:46 +0200298 * set with \c mbedtls_ecp_set_max_ops() to reduce blocking.
299 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000300 * \param ctx The ECDSA context to use. This must be initialized
301 * and have a group and private key bound to it, for example
302 * via mbedtls_ecdsa_genkey() or mbedtls_ecdsa_from_keypair().
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200303 * \param md_alg The message digest that was used to hash the message.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000304 * \param hash The message hash to be signed. This must be a readable
305 * buffer of length \p blen Bytes.
306 * \param hlen The length of the hash \p hash in Bytes.
307 * \param sig The buffer to which to write the signature. This must be a
308 * writable buffer of length at least twice as large as the
309 * size of the curve used, plus 9. For example, 73 Bytes if
310 * a 256-bit curve is used. A buffer length of
311 * #MBEDTLS_ECDSA_MAX_LEN is always safe.
312 * \param slen The address at which to store the actual length of
313 * the signature written. Must not be \c NULL.
314 * \param f_rng The RNG function. This must not be \c NULL if
315 * #MBEDTLS_ECDSA_DETERMINISTIC is unset. Otherwise,
316 * it is unused and may be set to \c NULL.
317 * \param p_rng The RNG context to be passed to \p f_rng. This may be
318 * \c NULL if \p f_rng is \c NULL or doesn't use a context.
319 * \param rs_ctx The restart context to use. This may be \c NULL to disable
320 * restarting. If it is not \c NULL, it must point to an
321 * initialized restart context.
Manuel Pégourié-Gonnardaddb10e2017-04-21 12:54:46 +0200322 *
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200323 * \return \c 0 on success.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200324 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnardaddb10e2017-04-21 12:54:46 +0200325 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200326 * \return Another \c MBEDTLS_ERR_ECP_XXX, \c MBEDTLS_ERR_MPI_XXX or
327 * \c MBEDTLS_ERR_ASN1_XXX error code on failure.
Manuel Pégourié-Gonnardaddb10e2017-04-21 12:54:46 +0200328 */
329int mbedtls_ecdsa_write_signature_restartable( mbedtls_ecdsa_context *ctx,
330 mbedtls_md_type_t md_alg,
331 const unsigned char *hash, size_t hlen,
332 unsigned char *sig, size_t *slen,
333 int (*f_rng)(void *, unsigned char *, size_t),
334 void *p_rng,
335 mbedtls_ecdsa_restart_ctx *rs_ctx );
336
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200337#if defined(MBEDTLS_ECDSA_DETERMINISTIC)
338#if ! defined(MBEDTLS_DEPRECATED_REMOVED)
339#if defined(MBEDTLS_DEPRECATED_WARNING)
340#define MBEDTLS_DEPRECATED __attribute__((deprecated))
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200341#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200342#define MBEDTLS_DEPRECATED
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200343#endif
Manuel Pégourié-Gonnard937340b2014-01-06 10:27:16 +0100344/**
Rose Zadik817297f2018-03-27 11:30:14 +0100345 * \brief This function computes an ECDSA signature and writes
346 * it to a buffer, serialized as defined in <em>RFC-4492:
347 * Elliptic Curve Cryptography (ECC) Cipher Suites for
348 * Transport Layer Security (TLS)</em>.
Manuel Pégourié-Gonnard937340b2014-01-06 10:27:16 +0100349 *
Rose Zadik817297f2018-03-27 11:30:14 +0100350 * The deterministic version is defined in <em>RFC-6979:
351 * Deterministic Usage of the Digital Signature Algorithm (DSA)
352 * and Elliptic Curve Digital Signature Algorithm (ECDSA)</em>.
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200353 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000354 * \warning It is not thread-safe to use the same context in
355 * multiple threads.
Manuel Pégourié-Gonnard937340b2014-01-06 10:27:16 +0100356 *
Janos Follath0a5154b2017-03-10 11:31:41 +0000357 * \note If the bitlength of the message hash is larger than the
358 * bitlength of the group order, then the hash is truncated as
Rose Zadikbff87d92018-01-25 21:58:53 +0000359 * defined in <em>Standards for Efficient Cryptography Group
360 * (SECG): SEC1 Elliptic Curve Cryptography</em>, section
361 * 4.1.3, step 5.
Janos Follath0a5154b2017-03-10 11:31:41 +0000362 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000363 * \see ecp.h
Rose Zadik817297f2018-03-27 11:30:14 +0100364 *
Rose Zadikec5d4162018-04-17 15:55:28 +0100365 * \deprecated Superseded by mbedtls_ecdsa_write_signature() in
366 * Mbed TLS version 2.0 and later.
Rose Zadik817297f2018-03-27 11:30:14 +0100367 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000368 * \param ctx The ECDSA context to use. This must be initialized
369 * and have a group and private key bound to it, for example
370 * via mbedtls_ecdsa_genkey() or mbedtls_ecdsa_from_keypair().
371 * \param hash The message hash to be signed. This must be a readable
372 * buffer of length \p blen Bytes.
373 * \param hlen The length of the hash \p hash in Bytes.
374 * \param sig The buffer to which to write the signature. This must be a
375 * writable buffer of length at least twice as large as the
376 * size of the curve used, plus 9. For example, 73 Bytes if
377 * a 256-bit curve is used. A buffer length of
378 * #MBEDTLS_ECDSA_MAX_LEN is always safe.
379 * \param slen The address at which to store the actual length of
380 * the signature written. Must not be \c NULL.
381 * \param md_alg The message digest that was used to hash the message.
Rose Zadik817297f2018-03-27 11:30:14 +0100382 *
383 * \return \c 0 on success.
384 * \return An \c MBEDTLS_ERR_ECP_XXX, \c MBEDTLS_ERR_MPI_XXX or
385 * \c MBEDTLS_ERR_ASN1_XXX error code on failure.
Manuel Pégourié-Gonnard937340b2014-01-06 10:27:16 +0100386 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200387int mbedtls_ecdsa_write_signature_det( mbedtls_ecdsa_context *ctx,
Manuel Pégourié-Gonnard937340b2014-01-06 10:27:16 +0100388 const unsigned char *hash, size_t hlen,
389 unsigned char *sig, size_t *slen,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200390 mbedtls_md_type_t md_alg ) MBEDTLS_DEPRECATED;
391#undef MBEDTLS_DEPRECATED
392#endif /* MBEDTLS_DEPRECATED_REMOVED */
393#endif /* MBEDTLS_ECDSA_DETERMINISTIC */
Manuel Pégourié-Gonnard937340b2014-01-06 10:27:16 +0100394
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200395/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000396 * \brief This function reads and verifies an ECDSA signature.
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200397 *
Janos Follath0a5154b2017-03-10 11:31:41 +0000398 * \note If the bitlength of the message hash is larger than the
399 * bitlength of the group order, then the hash is truncated as
Rose Zadikbff87d92018-01-25 21:58:53 +0000400 * defined in <em>Standards for Efficient Cryptography Group
401 * (SECG): SEC1 Elliptic Curve Cryptography</em>, section
402 * 4.1.4, step 3.
Janos Follath0a5154b2017-03-10 11:31:41 +0000403 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000404 * \see ecp.h
Rose Zadik817297f2018-03-27 11:30:14 +0100405 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000406 * \param ctx The ECDSA context to use. This must be initialized
407 * and have a group and public key bound to it.
408 * \param hash The message hash that was signed. This must be a readable
409 * buffer of length \p size Bytes.
410 * \param hlen The size of the hash \p hash.
411 * \param sig The signature to read and verify. This must be a readable
412 * buffer of length \p slen Bytes.
413 * \param slen The size of \p sig in Bytes.
Rose Zadik817297f2018-03-27 11:30:14 +0100414 *
415 * \return \c 0 on success.
416 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if signature is invalid.
Rose Zadikabc9ec72018-04-23 06:16:40 +0100417 * \return #MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH if there is a valid
418 * signature in \p sig, but its length is less than \p siglen.
Rose Zadik817297f2018-03-27 11:30:14 +0100419 * \return An \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_ERR_MPI_XXX
420 * error code on failure for any other reason.
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200421 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200422int mbedtls_ecdsa_read_signature( mbedtls_ecdsa_context *ctx,
Manuel Pégourié-Gonnardb694b482013-08-08 13:30:57 +0200423 const unsigned char *hash, size_t hlen,
424 const unsigned char *sig, size_t slen );
425
426/**
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200427 * \brief This function reads and verifies an ECDSA signature,
428 * in a restartable way.
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200429 *
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200430 * \see \c mbedtls_ecdsa_read_signature()
431 *
432 * \note This function is like \c mbedtls_ecdsa_read_signature()
433 * but it can return early and restart according to the limit
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200434 * set with \c mbedtls_ecp_set_max_ops() to reduce blocking.
435 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000436 * \param ctx The ECDSA context to use. This must be initialized
437 * and have a group and public key bound to it.
438 * \param hash The message hash that was signed. This must be a readable
439 * buffer of length \p size Bytes.
440 * \param hlen The size of the hash \p hash.
441 * \param sig The signature to read and verify. This must be a readable
442 * buffer of length \p slen Bytes.
443 * \param slen The size of \p sig in Bytes.
444 * \param rs_ctx The restart context to use. This may be \c NULL to disable
445 * restarting. If it is not \c NULL, it must point to an
446 * initialized restart context.
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200447 *
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200448 * \return \c 0 on success.
449 * \return #MBEDTLS_ERR_ECP_BAD_INPUT_DATA if signature is invalid.
450 * \return #MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH if there is a valid
451 * signature in \p sig, but its length is less than \p siglen.
Manuel Pégourié-Gonnardda19f4c2018-06-12 12:40:54 +0200452 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200453 * operations was reached: see \c mbedtls_ecp_set_max_ops().
Manuel Pégourié-Gonnardf0bbd7e2018-10-15 13:22:41 +0200454 * \return Another \c MBEDTLS_ERR_ECP_XXX or \c MBEDTLS_ERR_MPI_XXX
455 * error code on failure for any other reason.
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200456 */
457int mbedtls_ecdsa_read_signature_restartable( mbedtls_ecdsa_context *ctx,
458 const unsigned char *hash, size_t hlen,
459 const unsigned char *sig, size_t slen,
460 mbedtls_ecdsa_restart_ctx *rs_ctx );
461
462/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000463 * \brief This function generates an ECDSA keypair on the given curve.
Manuel Pégourié-Gonnard8eebd012013-08-09 16:21:34 +0200464 *
Rose Zadik817297f2018-03-27 11:30:14 +0100465 * \see ecp.h
Manuel Pégourié-Gonnard8eebd012013-08-09 16:21:34 +0200466 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000467 * \param ctx The ECDSA context to store the keypair in.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000468 * This must be initialized.
Rose Zadikbff87d92018-01-25 21:58:53 +0000469 * \param gid The elliptic curve to use. One of the various
470 * \c MBEDTLS_ECP_DP_XXX macros depending on configuration.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000471 * \param f_rng The RNG function to use. This must not be \c NULL.
472 * \param p_rng The RNG context to be passed to \p f_rng. This may be
473 * \c NULL if \p f_rng doesn't need a context argument.
Manuel Pégourié-Gonnard8eebd012013-08-09 16:21:34 +0200474 *
Rose Zadik817297f2018-03-27 11:30:14 +0100475 * \return \c 0 on success.
476 * \return An \c MBEDTLS_ERR_ECP_XXX code on failure.
Manuel Pégourié-Gonnard8eebd012013-08-09 16:21:34 +0200477 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200478int mbedtls_ecdsa_genkey( mbedtls_ecdsa_context *ctx, mbedtls_ecp_group_id gid,
Manuel Pégourié-Gonnard8eebd012013-08-09 16:21:34 +0200479 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
480
481/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000482 * \brief This function sets an ECDSA context from an EC key pair.
Manuel Pégourié-Gonnardf4999932013-08-12 17:02:59 +0200483 *
Rose Zadik817297f2018-03-27 11:30:14 +0100484 * \see ecp.h
Manuel Pégourié-Gonnardf4999932013-08-12 17:02:59 +0200485 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000486 * \param ctx The ECDSA context to set. This must be initialized.
487 * \param key The EC key to use. This must be initialized and hold
488 * a private-public key pair or a public key. In the former
489 * case, the ECDSA context may be used for signature creation
490 * after this call. In the latter case, it may be used for
491 * signature verification.
Manuel Pégourié-Gonnardf4999932013-08-12 17:02:59 +0200492 *
Rose Zadik817297f2018-03-27 11:30:14 +0100493 * \return \c 0 on success.
494 * \return An \c MBEDTLS_ERR_ECP_XXX code on failure.
Manuel Pégourié-Gonnardf4999932013-08-12 17:02:59 +0200495 */
Hanno Beckere2e509c2018-12-14 16:43:20 +0000496int mbedtls_ecdsa_from_keypair( mbedtls_ecdsa_context *ctx,
497 const mbedtls_ecp_keypair *key );
Manuel Pégourié-Gonnardf4999932013-08-12 17:02:59 +0200498
499/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000500 * \brief This function initializes an ECDSA context.
Manuel Pégourié-Gonnard7c8934e2013-06-27 12:54:02 +0200501 *
Rose Zadikbff87d92018-01-25 21:58:53 +0000502 * \param ctx The ECDSA context to initialize.
Hanno Beckere2e509c2018-12-14 16:43:20 +0000503 * This must not be \c NULL.
Manuel Pégourié-Gonnard7c8934e2013-06-27 12:54:02 +0200504 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200505void mbedtls_ecdsa_init( mbedtls_ecdsa_context *ctx );
Manuel Pégourié-Gonnard7c8934e2013-06-27 12:54:02 +0200506
507/**
Rose Zadikbff87d92018-01-25 21:58:53 +0000508 * \brief This function frees an ECDSA context.
Manuel Pégourié-Gonnard7c8934e2013-06-27 12:54:02 +0200509 *
Hanno Beckere2e509c2018-12-14 16:43:20 +0000510 * \param ctx The ECDSA context to free. This may be \c NULL,
511 * in which case this function does nothing. If it
512 * is not \c NULL, it must be initialized.
Manuel Pégourié-Gonnard7c8934e2013-06-27 12:54:02 +0200513 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200514void mbedtls_ecdsa_free( mbedtls_ecdsa_context *ctx );
Manuel Pégourié-Gonnard7c8934e2013-06-27 12:54:02 +0200515
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200516#if defined(MBEDTLS_ECP_RESTARTABLE)
517/**
Hanno Beckere2e509c2018-12-14 16:43:20 +0000518 * \brief Initialize a restart context.
519 *
520 * \param ctx The restart context to initialize.
521 * This must not be \c NULL.
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200522 */
523void mbedtls_ecdsa_restart_init( mbedtls_ecdsa_restart_ctx *ctx );
524
525/**
Hanno Beckere2e509c2018-12-14 16:43:20 +0000526 * \brief Free the components of a restart context.
527 *
528 * \param ctx The restart context to free. This may be \c NULL,
529 * in which case this function does nothing. If it
530 * is not \c NULL, it must be initialized.
Manuel Pégourié-Gonnard32aa4372017-04-21 10:29:13 +0200531 */
532void mbedtls_ecdsa_restart_free( mbedtls_ecdsa_restart_ctx *ctx );
533#endif /* MBEDTLS_ECP_RESTARTABLE */
534
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +0100535#ifdef __cplusplus
536}
537#endif
538
Paul Bakker9af723c2014-05-01 13:03:14 +0200539#endif /* ecdsa.h */