blob: b2f681242f194cd31cbfdf3d6b1c5a2cc11b6268 [file] [log] [blame]
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02001/*
2 * Public Key abstraction layer
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020020 */
21
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020024#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020025#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020026#endif
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_PK_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000029#include "mbedtls/pk.h"
Manuel Pégourié-Gonnard50518f42015-05-26 11:04:15 +020030#include "mbedtls/pk_internal.h"
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020031
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050032#include "mbedtls/platform_util.h"
Andres AG72849872017-01-19 11:24:33 +000033
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020034#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000035#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020036#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000038#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020039#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000041#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnard7c5819e2013-07-10 12:29:57 +020042#endif
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020043
Andres AG72849872017-01-19 11:24:33 +000044#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010045#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020046
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020047/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048 * Initialise a mbedtls_pk_context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020049 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050void mbedtls_pk_init( mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020051{
52 if( ctx == NULL )
53 return;
54
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020055 ctx->pk_info = NULL;
56 ctx->pk_ctx = NULL;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020057}
58
59/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060 * Free (the components of) a mbedtls_pk_context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020061 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062void mbedtls_pk_free( mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020063{
Paul Bakker66d5d072014-06-17 16:39:18 +020064 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020065 return;
66
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020067 ctx->pk_info->ctx_free_func( ctx->pk_ctx );
Manuel Pégourié-Gonnard1f73a652013-07-09 10:26:41 +020068
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050069 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_pk_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020070}
71
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +020072#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020073/*
74 * Initialize a restart context
75 */
76void mbedtls_pk_restart_init( mbedtls_pk_restart_ctx *ctx )
77{
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020078 ctx->pk_info = NULL;
79 ctx->rs_ctx = NULL;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020080}
81
82/*
83 * Free the components of a restart context
84 */
85void mbedtls_pk_restart_free( mbedtls_pk_restart_ctx *ctx )
86{
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020087 if( ctx == NULL || ctx->pk_info == NULL ||
88 ctx->pk_info->rs_free_func == NULL )
89 {
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020090 return;
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020091 }
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020092
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020093 ctx->pk_info->rs_free_func( ctx->rs_ctx );
94
95 ctx->pk_info = NULL;
96 ctx->rs_ctx = NULL;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020097}
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +020098#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020099
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200100/*
101 * Get pk_info structure from type
102 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103const mbedtls_pk_info_t * mbedtls_pk_info_from_type( mbedtls_pk_type_t pk_type )
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200104{
105 switch( pk_type ) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106#if defined(MBEDTLS_RSA_C)
107 case MBEDTLS_PK_RSA:
108 return( &mbedtls_rsa_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200109#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110#if defined(MBEDTLS_ECP_C)
111 case MBEDTLS_PK_ECKEY:
112 return( &mbedtls_eckey_info );
113 case MBEDTLS_PK_ECKEY_DH:
114 return( &mbedtls_eckeydh_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200115#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116#if defined(MBEDTLS_ECDSA_C)
117 case MBEDTLS_PK_ECDSA:
118 return( &mbedtls_ecdsa_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200119#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120 /* MBEDTLS_PK_RSA_ALT omitted on purpose */
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200121 default:
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200122 return( NULL );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200123 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200124}
125
126/*
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200127 * Initialise context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200128 */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200129int mbedtls_pk_setup( mbedtls_pk_context *ctx, const mbedtls_pk_info_t *info )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200130{
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200131 if( ctx == NULL || info == NULL || ctx->pk_info != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200133
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200134 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200135 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200136
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200137 ctx->pk_info = info;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200138
139 return( 0 );
140}
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200141
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200142#if defined(MBEDTLS_USE_PSA_CRYPTO)
143/*
144 * Initialise a PSA-wrapping context
145 */
146int mbedtls_pk_setup_psa( mbedtls_pk_context *ctx, const psa_key_slot_t key )
147{
148 const mbedtls_pk_info_t * const info = &mbedtls_pk_opaque_psa_info;
149
150 if( ctx == NULL || ctx->pk_info != NULL )
151 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
152
153 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
154 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
155
156 /* coming soon: remember key */
157 (void) key;
158
159 ctx->pk_info = info;
160
161 return( 0 );
162}
163#endif /* MBEDTLS_USE_PSA_CRYPTO */
164
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200165#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnardb4fae572014-01-20 11:22:25 +0100166/*
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200167 * Initialize an RSA-alt context
168 */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200169int mbedtls_pk_setup_rsa_alt( mbedtls_pk_context *ctx, void * key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200170 mbedtls_pk_rsa_alt_decrypt_func decrypt_func,
171 mbedtls_pk_rsa_alt_sign_func sign_func,
172 mbedtls_pk_rsa_alt_key_len_func key_len_func )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200173{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200174 mbedtls_rsa_alt_context *rsa_alt;
175 const mbedtls_pk_info_t *info = &mbedtls_rsa_alt_info;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200176
177 if( ctx == NULL || ctx->pk_info != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200178 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200179
180 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200181 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200182
183 ctx->pk_info = info;
184
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185 rsa_alt = (mbedtls_rsa_alt_context *) ctx->pk_ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200186
187 rsa_alt->key = key;
188 rsa_alt->decrypt_func = decrypt_func;
189 rsa_alt->sign_func = sign_func;
190 rsa_alt->key_len_func = key_len_func;
191
192 return( 0 );
193}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200195
196/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200197 * Tell if a PK can do the operations of the given type
198 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200199int mbedtls_pk_can_do( const mbedtls_pk_context *ctx, mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200200{
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200201 /* null or NONE context can't do anything */
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200202 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200203 return( 0 );
204
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200205 return( ctx->pk_info->can_do( type ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200206}
207
208/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209 * Helper for mbedtls_pk_sign and mbedtls_pk_verify
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200210 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211static inline int pk_hashlen_helper( mbedtls_md_type_t md_alg, size_t *hash_len )
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200212{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200213 const mbedtls_md_info_t *md_info;
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200214
215 if( *hash_len != 0 )
216 return( 0 );
217
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218 if( ( md_info = mbedtls_md_info_from_type( md_alg ) ) == NULL )
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200219 return( -1 );
220
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221 *hash_len = mbedtls_md_get_size( md_info );
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200222 return( 0 );
223}
224
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200225#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200226/*
227 * Helper to set up a restart context if needed
228 */
229static int pk_restart_setup( mbedtls_pk_restart_ctx *ctx,
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200230 const mbedtls_pk_info_t *info )
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200231{
Manuel Pégourié-Gonnardc8c12b62018-07-02 13:09:39 +0200232 /* Don't do anything if already set up or invalid */
233 if( ctx == NULL || ctx->pk_info != NULL )
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200234 return( 0 );
235
236 /* Should never happen when we're called */
237 if( info->rs_alloc_func == NULL || info->rs_free_func == NULL )
238 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
239
240 if( ( ctx->rs_ctx = info->rs_alloc_func() ) == NULL )
241 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
242
243 ctx->pk_info = info;
244
245 return( 0 );
246}
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200247#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200248
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200249/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200250 * Verify a signature (restartable)
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200251 */
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200252int mbedtls_pk_verify_restartable( mbedtls_pk_context *ctx,
253 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200254 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200255 const unsigned char *sig, size_t sig_len,
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200256 mbedtls_pk_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200257{
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200258 if( ctx == NULL || ctx->pk_info == NULL ||
259 pk_hashlen_helper( md_alg, &hash_len ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200261
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200262#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200263 /* optimization: use non-restartable version if restart disabled */
264 if( rs_ctx != NULL &&
Manuel Pégourié-Gonnardb843b152018-10-16 10:41:31 +0200265 mbedtls_ecp_restart_is_enabled() &&
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200266 ctx->pk_info->verify_rs_func != NULL )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200267 {
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200268 int ret;
269
270 if( ( ret = pk_restart_setup( rs_ctx, ctx->pk_info ) ) != 0 )
271 return( ret );
272
273 ret = ctx->pk_info->verify_rs_func( ctx->pk_ctx,
274 md_alg, hash, hash_len, sig, sig_len, rs_ctx->rs_ctx );
275
276 if( ret != MBEDTLS_ERR_ECP_IN_PROGRESS )
277 mbedtls_pk_restart_free( rs_ctx );
278
279 return( ret );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200280 }
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200281#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200282 (void) rs_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200283#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200284
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200285 if( ctx->pk_info->verify_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200286 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200287
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200288 return( ctx->pk_info->verify_func( ctx->pk_ctx, md_alg, hash, hash_len,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200289 sig, sig_len ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200290}
291
292/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200293 * Verify a signature
294 */
295int mbedtls_pk_verify( mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
296 const unsigned char *hash, size_t hash_len,
297 const unsigned char *sig, size_t sig_len )
298{
299 return( mbedtls_pk_verify_restartable( ctx, md_alg, hash, hash_len,
300 sig, sig_len, NULL ) );
301}
302
303/*
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200304 * Verify a signature with options
305 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306int mbedtls_pk_verify_ext( mbedtls_pk_type_t type, const void *options,
307 mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200308 const unsigned char *hash, size_t hash_len,
309 const unsigned char *sig, size_t sig_len )
310{
311 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200312 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200313
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200314 if( ! mbedtls_pk_can_do( ctx, type ) )
315 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200316
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200317 if( type == MBEDTLS_PK_RSASSA_PSS )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200318 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PKCS1_V21)
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200320 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321 const mbedtls_pk_rsassa_pss_options *pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200322
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100323#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000324 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
325 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100326#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000327
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200328 if( options == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200329 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200331 pss_opts = (const mbedtls_pk_rsassa_pss_options *) options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200332
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 if( sig_len < mbedtls_pk_get_len( ctx ) )
334 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200335
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200336 ret = mbedtls_rsa_rsassa_pss_verify_ext( mbedtls_pk_rsa( *ctx ),
337 NULL, NULL, MBEDTLS_RSA_PUBLIC,
Sander Niemeijeref5087d2014-08-16 12:45:52 +0200338 md_alg, (unsigned int) hash_len, hash,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200339 pss_opts->mgf1_hash_id,
340 pss_opts->expected_salt_len,
341 sig );
342 if( ret != 0 )
343 return( ret );
344
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200345 if( sig_len > mbedtls_pk_get_len( ctx ) )
346 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200347
348 return( 0 );
349#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200350 return( MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE );
Andres AG72849872017-01-19 11:24:33 +0000351#endif /* MBEDTLS_RSA_C && MBEDTLS_PKCS1_V21 */
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200352 }
353
354 /* General case: no options */
355 if( options != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200356 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200357
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200358 return( mbedtls_pk_verify( ctx, md_alg, hash, hash_len, sig, sig_len ) );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200359}
360
361/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200362 * Make a signature (restartable)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200363 */
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200364int mbedtls_pk_sign_restartable( mbedtls_pk_context *ctx,
365 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200366 const unsigned char *hash, size_t hash_len,
367 unsigned char *sig, size_t *sig_len,
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200368 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200369 mbedtls_pk_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200370{
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200371 if( ctx == NULL || ctx->pk_info == NULL ||
372 pk_hashlen_helper( md_alg, &hash_len ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200373 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200374
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200375#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200376 /* optimization: use non-restartable version if restart disabled */
377 if( rs_ctx != NULL &&
Manuel Pégourié-Gonnardb843b152018-10-16 10:41:31 +0200378 mbedtls_ecp_restart_is_enabled() &&
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200379 ctx->pk_info->sign_rs_func != NULL )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200380 {
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200381 int ret;
382
383 if( ( ret = pk_restart_setup( rs_ctx, ctx->pk_info ) ) != 0 )
384 return( ret );
385
386 ret = ctx->pk_info->sign_rs_func( ctx->pk_ctx, md_alg,
387 hash, hash_len, sig, sig_len, f_rng, p_rng, rs_ctx->rs_ctx );
388
389 if( ret != MBEDTLS_ERR_ECP_IN_PROGRESS )
390 mbedtls_pk_restart_free( rs_ctx );
391
392 return( ret );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200393 }
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200394#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200395 (void) rs_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200396#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200397
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200398 if( ctx->pk_info->sign_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200399 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200400
401 return( ctx->pk_info->sign_func( ctx->pk_ctx, md_alg, hash, hash_len,
402 sig, sig_len, f_rng, p_rng ) );
403}
404
405/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200406 * Make a signature
407 */
408int mbedtls_pk_sign( mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
409 const unsigned char *hash, size_t hash_len,
410 unsigned char *sig, size_t *sig_len,
411 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
412{
413 return( mbedtls_pk_sign_restartable( ctx, md_alg, hash, hash_len,
414 sig, sig_len, f_rng, p_rng, NULL ) );
415}
416
417/*
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200418 * Decrypt message
419 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200420int mbedtls_pk_decrypt( mbedtls_pk_context *ctx,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200421 const unsigned char *input, size_t ilen,
422 unsigned char *output, size_t *olen, size_t osize,
423 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
424{
425 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200426 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200427
428 if( ctx->pk_info->decrypt_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200429 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200430
431 return( ctx->pk_info->decrypt_func( ctx->pk_ctx, input, ilen,
432 output, olen, osize, f_rng, p_rng ) );
433}
434
435/*
436 * Encrypt message
437 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200438int mbedtls_pk_encrypt( mbedtls_pk_context *ctx,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200439 const unsigned char *input, size_t ilen,
440 unsigned char *output, size_t *olen, size_t osize,
441 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
442{
443 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200445
446 if( ctx->pk_info->encrypt_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200448
449 return( ctx->pk_info->encrypt_func( ctx->pk_ctx, input, ilen,
450 output, olen, osize, f_rng, p_rng ) );
451}
452
453/*
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100454 * Check public-private key pair
455 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456int mbedtls_pk_check_pair( const mbedtls_pk_context *pub, const mbedtls_pk_context *prv )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100457{
458 if( pub == NULL || pub->pk_info == NULL ||
Manuel Pégourié-Gonnardeaeb7b22018-10-24 12:37:44 +0200459 prv == NULL || prv->pk_info == NULL )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100460 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100462 }
463
Manuel Pégourié-Gonnardeaeb7b22018-10-24 12:37:44 +0200464 if( prv->pk_info->check_pair_func == NULL )
465 return( MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE );
466
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200467 if( prv->pk_info->type == MBEDTLS_PK_RSA_ALT )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100468 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200469 if( pub->pk_info->type != MBEDTLS_PK_RSA )
470 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100471 }
472 else
473 {
474 if( pub->pk_info != prv->pk_info )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200475 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100476 }
477
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100478 return( prv->pk_info->check_pair_func( pub->pk_ctx, prv->pk_ctx ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100479}
480
481/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200482 * Get key size in bits
483 */
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200484size_t mbedtls_pk_get_bitlen( const mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200485{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200486 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200487 return( 0 );
488
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200489 return( ctx->pk_info->get_bitlen( ctx->pk_ctx ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200490}
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200491
492/*
493 * Export debug information
494 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200495int mbedtls_pk_debug( const mbedtls_pk_context *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200496{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200497 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200498 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200499
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200500 if( ctx->pk_info->debug_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200501 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200502
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200503 ctx->pk_info->debug_func( ctx->pk_ctx, items );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200504 return( 0 );
505}
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200506
507/*
508 * Access the PK type name
509 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200510const char *mbedtls_pk_get_name( const mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200511{
512 if( ctx == NULL || ctx->pk_info == NULL )
513 return( "invalid PK" );
514
515 return( ctx->pk_info->name );
516}
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200517
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200518/*
519 * Access the PK type
520 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200521mbedtls_pk_type_t mbedtls_pk_get_type( const mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200522{
523 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200524 return( MBEDTLS_PK_NONE );
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200525
526 return( ctx->pk_info->type );
527}
528
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200529#endif /* MBEDTLS_PK_C */