blob: 42632fc7779b41f2041b29ff50b29b01a8761280 [file] [log] [blame]
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +02001/*
2 * Public Key abstraction layer: wrapper functions
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é-Gonnardd73b3c12013-08-12 17:06:05 +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é-Gonnardd73b3c12013-08-12 17:06:05 +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é-Gonnardd73b3c12013-08-12 17:06:05 +020027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_PK_C)
Manuel Pégourié-Gonnard50518f42015-05-26 11:04:15 +020029#include "mbedtls/pk_internal.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020030
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020031/* Even if RSA not activated, for the sake of RSA-alt */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000032#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020033
Rich Evans00ab4702015-02-06 13:43:58 +000034#include <string.h>
35
Jarno Lamsa42b83db2019-04-16 16:48:22 +030036#if defined(MBEDTLS_USE_TINYCRYPT)
Hanno Becker496b83f2019-08-20 13:33:49 +010037#include "tinycrypt/ecc.h"
38#include "tinycrypt/ecc_dsa.h"
Jarno Lamsa42b83db2019-04-16 16:48:22 +030039#include "mbedtls/asn1.h"
40#include "mbedtls/asn1write.h"
41#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000043#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020044#endif
45
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020048#endif
Jarno Lamsa42b83db2019-04-16 16:48:22 +030049#endif /* MBEDTLS_USE_TINYCRYPT */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020050
Andres Amaya Garciae32df082017-10-25 09:37:04 +010051#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050052#include "mbedtls/platform_util.h"
Andres Amaya Garciae32df082017-10-25 09:37:04 +010053#endif
54
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000056#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020057#else
58#include <stdlib.h>
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020059#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060#define mbedtls_free free
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020061#endif
62
Andres AG72849872017-01-19 11:24:33 +000063#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010064#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020065
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020066#if defined(MBEDTLS_RSA_C)
67static int rsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020068{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069 return( type == MBEDTLS_PK_RSA ||
70 type == MBEDTLS_PK_RSASSA_PSS );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020071}
72
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +020073static size_t rsa_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020074{
Hanno Becker6a1e7e52017-08-22 13:55:00 +010075 const mbedtls_rsa_context * rsa = (const mbedtls_rsa_context *) ctx;
76 return( 8 * mbedtls_rsa_get_len( rsa ) );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020077}
78
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020079static int rsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +020080 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020081 const unsigned char *sig, size_t sig_len )
82{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020083 int ret;
Hanno Becker6a1e7e52017-08-22 13:55:00 +010084 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
85 size_t rsa_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020086
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010087#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +000088 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
89 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010090#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +000091
Hanno Becker6a1e7e52017-08-22 13:55:00 +010092 if( sig_len < rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020093 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020094
Hanno Becker6a1e7e52017-08-22 13:55:00 +010095 if( ( ret = mbedtls_rsa_pkcs1_verify( rsa, NULL, NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096 MBEDTLS_RSA_PUBLIC, md_alg,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020097 (unsigned int) hash_len, hash, sig ) ) != 0 )
98 return( ret );
99
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200100 /* The buffer contains a valid signature followed by extra data.
101 * We have a special error code for that so that so that callers can
102 * use mbedtls_pk_verify() to check "Does the buffer start with a
103 * valid signature?" and not just "Does the buffer contain a valid
104 * signature?". */
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100105 if( sig_len > rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200107
108 return( 0 );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200109}
110
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200111static int rsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200112 const unsigned char *hash, size_t hash_len,
113 unsigned char *sig, size_t *sig_len,
114 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
115{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100116 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
117
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100118#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000119 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
120 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100121#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000122
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100123 *sig_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200124
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100125 return( mbedtls_rsa_pkcs1_sign( rsa, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200126 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200127}
128
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200129static int rsa_decrypt_wrap( void *ctx,
130 const unsigned char *input, size_t ilen,
131 unsigned char *output, size_t *olen, size_t osize,
132 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
133{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100134 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
135
136 if( ilen != mbedtls_rsa_get_len( rsa ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200137 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200138
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100139 return( mbedtls_rsa_pkcs1_decrypt( rsa, f_rng, p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200140 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200141}
142
143static int rsa_encrypt_wrap( void *ctx,
144 const unsigned char *input, size_t ilen,
145 unsigned char *output, size_t *olen, size_t osize,
146 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
147{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100148 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
149 *olen = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200150
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100151 if( *olen > osize )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200152 return( MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100153
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100154 return( mbedtls_rsa_pkcs1_encrypt( rsa, f_rng, p_rng, MBEDTLS_RSA_PUBLIC,
155 ilen, input, output ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200156}
157
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100158static int rsa_check_pair_wrap( const void *pub, const void *prv )
159{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160 return( mbedtls_rsa_check_pub_priv( (const mbedtls_rsa_context *) pub,
161 (const mbedtls_rsa_context *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100162}
163
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200164static void *rsa_alloc_wrap( void )
165{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200166 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200167
168 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200169 mbedtls_rsa_init( (mbedtls_rsa_context *) ctx, 0, 0 );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200170
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200171 return( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200172}
173
174static void rsa_free_wrap( void *ctx )
175{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200176 mbedtls_rsa_free( (mbedtls_rsa_context *) ctx );
177 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200178}
179
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200180static void rsa_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200181{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200182 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200183 items->name = "rsa.N";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 items->value = &( ((mbedtls_rsa_context *) ctx)->N );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200185
186 items++;
187
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200189 items->name = "rsa.E";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190 items->value = &( ((mbedtls_rsa_context *) ctx)->E );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200191}
192
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193const mbedtls_pk_info_t mbedtls_rsa_info = {
194 MBEDTLS_PK_RSA,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200195 "RSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200196 rsa_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200197 rsa_can_do,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200198 rsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200199 rsa_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200200#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200201 NULL,
202 NULL,
203#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200204 rsa_decrypt_wrap,
205 rsa_encrypt_wrap,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100206 rsa_check_pair_wrap,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200207 rsa_alloc_wrap,
208 rsa_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200209#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200210 NULL,
211 NULL,
212#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200213 rsa_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200214};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200216
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200217#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200218/*
219 * Generic EC key
220 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221static int eckey_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200222{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200223 return( type == MBEDTLS_PK_ECKEY ||
224 type == MBEDTLS_PK_ECKEY_DH ||
225 type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200226}
227
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200228static size_t eckey_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200229{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200230 return( ((mbedtls_ecp_keypair *) ctx)->grp.pbits );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200231}
232
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200233#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200234/* Forward declarations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200235static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200236 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200237 const unsigned char *sig, size_t sig_len );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200238
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200239static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200240 const unsigned char *hash, size_t hash_len,
241 unsigned char *sig, size_t *sig_len,
242 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
243
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200244static int eckey_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200245 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200246 const unsigned char *sig, size_t sig_len )
247{
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200248 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200249 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200250
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200251 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200252
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200253 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard583b6082013-08-20 16:58:13 +0200254 ret = ecdsa_verify_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200255
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200257
258 return( ret );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200259}
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200260
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261static int eckey_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200262 const unsigned char *hash, size_t hash_len,
263 unsigned char *sig, size_t *sig_len,
264 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
265{
266 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200268
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200269 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200272 ret = ecdsa_sign_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len,
273 f_rng, p_rng );
274
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200275 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200276
277 return( ret );
278}
279
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200280#if defined(MBEDTLS_ECP_RESTARTABLE)
281/* Forward declarations */
282static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
283 const unsigned char *hash, size_t hash_len,
284 const unsigned char *sig, size_t sig_len,
285 void *rs_ctx );
286
287static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
288 const unsigned char *hash, size_t hash_len,
289 unsigned char *sig, size_t *sig_len,
290 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
291 void *rs_ctx );
292
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200293/*
294 * Restart context for ECDSA operations with ECKEY context
295 *
296 * We need to store an actual ECDSA context, as we need to pass the same to
297 * the underlying ecdsa function, so we can't create it on the fly every time.
298 */
299typedef struct
300{
301 mbedtls_ecdsa_restart_ctx ecdsa_rs;
302 mbedtls_ecdsa_context ecdsa_ctx;
303} eckey_restart_ctx;
304
305static void *eckey_rs_alloc( void )
306{
307 eckey_restart_ctx *rs_ctx;
308
309 void *ctx = mbedtls_calloc( 1, sizeof( eckey_restart_ctx ) );
310
311 if( ctx != NULL )
312 {
313 rs_ctx = ctx;
314 mbedtls_ecdsa_restart_init( &rs_ctx->ecdsa_rs );
315 mbedtls_ecdsa_init( &rs_ctx->ecdsa_ctx );
316 }
317
318 return( ctx );
319}
320
321static void eckey_rs_free( void *ctx )
322{
323 eckey_restart_ctx *rs_ctx;
324
325 if( ctx == NULL)
326 return;
327
328 rs_ctx = ctx;
329 mbedtls_ecdsa_restart_free( &rs_ctx->ecdsa_rs );
330 mbedtls_ecdsa_free( &rs_ctx->ecdsa_ctx );
331
332 mbedtls_free( ctx );
333}
334
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200335static int eckey_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
336 const unsigned char *hash, size_t hash_len,
337 const unsigned char *sig, size_t sig_len,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200338 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200339{
340 int ret;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200341 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200342
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200343 /* Should never happen */
344 if( rs == NULL )
345 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200346
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200347 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200348 if( rs->ecdsa_ctx.grp.pbits == 0 )
349 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200350
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200351 MBEDTLS_MPI_CHK( ecdsa_verify_rs_wrap( &rs->ecdsa_ctx,
352 md_alg, hash, hash_len,
353 sig, sig_len, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200354
355cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200356 return( ret );
357}
358
359static int eckey_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
360 const unsigned char *hash, size_t hash_len,
361 unsigned char *sig, size_t *sig_len,
362 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200363 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200364{
365 int ret;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200366 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200367
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200368 /* Should never happen */
369 if( rs == NULL )
370 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200371
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200372 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200373 if( rs->ecdsa_ctx.grp.pbits == 0 )
374 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200375
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200376 MBEDTLS_MPI_CHK( ecdsa_sign_rs_wrap( &rs->ecdsa_ctx, md_alg,
377 hash, hash_len, sig, sig_len,
378 f_rng, p_rng, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200379
380cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200381 return( ret );
382}
383#endif /* MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200384#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200385
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100386static int eckey_check_pair( const void *pub, const void *prv )
387{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200388 return( mbedtls_ecp_check_pub_priv( (const mbedtls_ecp_keypair *) pub,
389 (const mbedtls_ecp_keypair *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100390}
391
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200392static void *eckey_alloc_wrap( void )
393{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200394 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecp_keypair ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200395
396 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200397 mbedtls_ecp_keypair_init( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200398
399 return( ctx );
400}
401
402static void eckey_free_wrap( void *ctx )
403{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200404 mbedtls_ecp_keypair_free( (mbedtls_ecp_keypair *) ctx );
405 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200406}
407
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200408static void eckey_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200409{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200410 items->type = MBEDTLS_PK_DEBUG_ECP;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200411 items->name = "eckey.Q";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 items->value = &( ((mbedtls_ecp_keypair *) ctx)->Q );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200413}
414
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415const mbedtls_pk_info_t mbedtls_eckey_info = {
416 MBEDTLS_PK_ECKEY,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200417 "EC",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200418 eckey_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200419 eckey_can_do,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200420#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200421 eckey_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200422 eckey_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200423#if defined(MBEDTLS_ECP_RESTARTABLE)
424 eckey_verify_rs_wrap,
425 eckey_sign_rs_wrap,
426#endif
427#else /* MBEDTLS_ECDSA_C */
428 NULL,
429 NULL,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200430#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200431 NULL,
432 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100433 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200434 eckey_alloc_wrap,
435 eckey_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200436#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200437 eckey_rs_alloc,
438 eckey_rs_free,
439#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200440 eckey_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200441};
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200442
443/*
Paul Bakker75342a62014-04-08 17:35:40 +0200444 * EC key restricted to ECDH
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200445 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446static int eckeydh_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200447{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200448 return( type == MBEDTLS_PK_ECKEY ||
449 type == MBEDTLS_PK_ECKEY_DH );
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200450}
451
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452const mbedtls_pk_info_t mbedtls_eckeydh_info = {
453 MBEDTLS_PK_ECKEY_DH,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200454 "EC_DH",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200455 eckey_get_bitlen, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200456 eckeydh_can_do,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200457 NULL,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200458 NULL,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200459#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200460 NULL,
461 NULL,
462#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200463 NULL,
464 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100465 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200466 eckey_alloc_wrap, /* Same underlying key structure */
467 eckey_free_wrap, /* Same underlying key structure */
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200468#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200469 NULL,
470 NULL,
471#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200472 eckey_debug, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200473};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200474#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200475
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300476#if defined(MBEDTLS_USE_TINYCRYPT)
477static int extract_ecdsa_sig_int( unsigned char **from, const unsigned char *end,
478 unsigned char *to, size_t to_len )
479{
480 int ret;
481 size_t unpadded_len, padding_len;
482
483 if( ( ret = mbedtls_asn1_get_tag( from, end, &unpadded_len,
484 MBEDTLS_ASN1_INTEGER ) ) != 0 )
485 {
486 return( ret );
487 }
488
489 while( unpadded_len > 0 && **from == 0x00 )
490 {
491 ( *from )++;
492 unpadded_len--;
493 }
494
495 if( unpadded_len > to_len || unpadded_len == 0 )
496 return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
497
498 padding_len = to_len - unpadded_len;
499 memset( to, 0x00, padding_len );
500 memcpy( to + padding_len, *from, unpadded_len );
501 ( *from ) += unpadded_len;
502
503 return( 0 );
504}
505
506/*
507 * Convert a signature from an ASN.1 sequence of two integers
508 * to a raw {r,s} buffer. Note: the provided sig buffer must be at least
509 * twice as big as int_size.
510 */
511static int extract_ecdsa_sig( unsigned char **p, const unsigned char *end,
512 unsigned char *sig, size_t int_size )
513{
514 int ret;
515 size_t tmp_size;
516
517 if( ( ret = mbedtls_asn1_get_tag( p, end, &tmp_size,
518 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
519 return( ret );
520
521 /* Extract r */
522 if( ( ret = extract_ecdsa_sig_int( p, end, sig, int_size ) ) != 0 )
523 return( ret );
524 /* Extract s */
525 if( ( ret = extract_ecdsa_sig_int( p, end, sig + int_size, int_size ) ) != 0 )
526 return( ret );
527
528 return( 0 );
529}
530
Hanno Beckeradf11e12019-08-21 13:03:44 +0100531static size_t uecc_eckey_get_bitlen( const void *ctx )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300532{
533 (void) ctx;
Hanno Becker9a62f2d2019-08-20 14:57:37 +0100534 return( (size_t) ( NUM_ECC_BYTES * 8 ) );
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300535}
536
Hanno Beckeradf11e12019-08-21 13:03:44 +0100537static int uecc_eckey_can_do( mbedtls_pk_type_t type )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300538{
Hanno Beckeradf11e12019-08-21 13:03:44 +0100539 return( type == MBEDTLS_PK_ECDSA ||
540 type == MBEDTLS_PK_ECKEY );
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300541}
542
Hanno Beckeradf11e12019-08-21 13:03:44 +0100543static int uecc_eckey_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300544 const unsigned char *hash, size_t hash_len,
545 const unsigned char *sig, size_t sig_len )
546{
547 int ret;
548 uint8_t signature[2*NUM_ECC_BYTES];
549 unsigned char *p;
550 const struct uECC_Curve_t * uecc_curve = uECC_secp256r1();
551
552 ((void) md_alg);
553 p = (unsigned char*) sig;
554
Hanno Beckerad353f22019-08-20 13:04:30 +0100555 ret = extract_ecdsa_sig( &p, sig + sig_len, signature, NUM_ECC_BYTES );
556 if( ret != 0 )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300557 return( ret );
558
Hanno Beckerad353f22019-08-20 13:04:30 +0100559 ret = uECC_verify( (uint8_t *) ctx, hash,
560 (unsigned) hash_len, signature, uecc_curve );
561 if( ret != 0 )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300562 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
563
564 return( ret );
565}
566
567/*
568 * Simultaneously convert and move raw MPI from the beginning of a buffer
569 * to an ASN.1 MPI at the end of the buffer.
570 * See also mbedtls_asn1_write_mpi().
571 *
572 * p: pointer to the end of the output buffer
573 * start: start of the output buffer, and also of the mpi to write at the end
574 * n_len: length of the mpi to read from start
575 */
576static int asn1_write_mpibuf( unsigned char **p, unsigned char *start,
577 size_t n_len )
578{
579 int ret;
580 size_t len = 0;
581
582 if( (size_t)( *p - start ) < n_len )
583 return( MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
584
585 len = n_len;
586 *p -= len;
587 memmove( *p, start, len );
588
589 /* ASN.1 DER encoding requires minimal length, so skip leading 0s.
590 * Neither r nor s should be 0, but as a failsafe measure, still detect
Hanno Beckere8f14482019-08-20 13:28:59 +0100591 * that rather than overflowing the buffer in case of an error. */
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300592 while( len > 0 && **p == 0x00 )
593 {
594 ++(*p);
595 --len;
596 }
597
598 /* this is only reached if the signature was invalid */
599 if( len == 0 )
600 return( MBEDTLS_ERR_PK_HW_ACCEL_FAILED );
601
602 /* if the msb is 1, ASN.1 requires that we prepend a 0.
603 * Neither r nor s can be 0, so we can assume len > 0 at all times. */
604 if( **p & 0x80 )
605 {
606 if( *p - start < 1 )
607 return( MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
608
609 *--(*p) = 0x00;
610 len += 1;
611 }
612
613 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
614 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
615 MBEDTLS_ASN1_INTEGER ) );
616
617 return( (int) len );
618}
619
Jarno Lamsaad789312019-04-23 09:15:54 +0300620/* Transcode signature from uECC format to ASN.1 sequence.
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300621 * See ecdsa_signature_to_asn1 in ecdsa.c, but with byte buffers instead of
622 * MPIs, and in-place.
623 *
624 * [in/out] sig: the signature pre- and post-transcoding
625 * [in/out] sig_len: signature length pre- and post-transcoding
626 * [int] buf_len: the available size the in/out buffer
627 */
Hanno Beckere8f14482019-08-20 13:28:59 +0100628static int pk_ecdsa_sig_asn1_from_uecc( unsigned char *sig, size_t *sig_len,
629 size_t buf_len )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300630{
631 int ret;
632 size_t len = 0;
633 const size_t rs_len = *sig_len / 2;
634 unsigned char *p = sig + buf_len;
635
636 MBEDTLS_ASN1_CHK_ADD( len, asn1_write_mpibuf( &p, sig + rs_len, rs_len ) );
637 MBEDTLS_ASN1_CHK_ADD( len, asn1_write_mpibuf( &p, sig, rs_len ) );
638
639 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &p, sig, len ) );
640 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &p, sig,
641 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) );
642
643 memmove( sig, p, len );
644 *sig_len = len;
645
646 return( 0 );
647}
648
Hanno Beckeradf11e12019-08-21 13:03:44 +0100649static int uecc_eckey_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300650 const unsigned char *hash, size_t hash_len,
651 unsigned char *sig, size_t *sig_len,
652 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
653{
Jarno Lamsaad789312019-04-23 09:15:54 +0300654 const mbedtls_uecc_keypair *keypair = (const mbedtls_uecc_keypair *) ctx;
655 const struct uECC_Curve_t * uecc_curve = uECC_secp256r1();
Hanno Becker9c7a3592019-08-20 15:37:17 +0100656
657 /*
658 * RFC-4492 page 20:
659 *
660 * Ecdsa-Sig-Value ::= SEQUENCE {
661 * r INTEGER,
662 * s INTEGER
663 * }
664 *
665 * Size is at most
666 * 1 (tag) + 1 (len) + 1 (initial 0) + NUM_ECC_BYTES for each of r and s,
667 * twice that + 1 (tag) + 2 (len) for the sequence
668 * (assuming NUM_ECC_BYTES is less than 126 for r and s,
669 * and less than 124 (total len <= 255) for the sequence)
670 */
671 const size_t max_secp256r1_ecdsa_sig_len = 3 + 2 * ( 3 + NUM_ECC_BYTES );
672
673 uECC_sign( keypair->private_key, hash, hash_len, sig, uecc_curve );
674 *sig_len = 2 * NUM_ECC_BYTES;
Jarno Lamsaad789312019-04-23 09:15:54 +0300675
676 /* uECC owns its rng function pointer */
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300677 (void) f_rng;
678 (void) p_rng;
Jarno Lamsaad789312019-04-23 09:15:54 +0300679 (void) md_alg;
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300680
Hanno Becker9c7a3592019-08-20 15:37:17 +0100681 return( pk_ecdsa_sig_asn1_from_uecc( sig, sig_len, max_secp256r1_ecdsa_sig_len ) );
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300682}
683
Hanno Beckeradf11e12019-08-21 13:03:44 +0100684static void *uecc_eckey_alloc_wrap( void )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300685{
686 /*void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_context ) );
687
688 if( ctx != NULL )
689 mbedtls_ecdsa_init( (mbedtls_ecdsa_context *) ctx );
690
691 return( ctx );*/
692 return NULL;
693}
694
Hanno Beckeradf11e12019-08-21 13:03:44 +0100695static void uecc_eckey_free_wrap( void *ctx )
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300696{
697 (void) ctx;
698 /*mbedtls_ecdsa_free( (mbedtls_ecdsa_context *) ctx );
699 mbedtls_free( ctx );*/
700}
701
Hanno Beckeradf11e12019-08-21 13:03:44 +0100702const mbedtls_pk_info_t mbedtls_uecc_eckey_info = {
703 MBEDTLS_PK_ECKEY,
704 "EC",
705 uecc_eckey_get_bitlen,
706 uecc_eckey_can_do,
707 uecc_eckey_verify_wrap,
708 uecc_eckey_sign_wrap,
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300709 NULL,
710 NULL,
711 NULL,
Hanno Beckeradf11e12019-08-21 13:03:44 +0100712 uecc_eckey_alloc_wrap,
713 uecc_eckey_free_wrap,
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300714 NULL,
715};
716#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200717#if defined(MBEDTLS_ECDSA_C)
718static int ecdsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200719{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200720 return( type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200721}
722
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200723static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200724 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200725 const unsigned char *sig, size_t sig_len )
726{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200727 int ret;
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200728 ((void) md_alg);
729
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200730 ret = mbedtls_ecdsa_read_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200731 hash, hash_len, sig, sig_len );
732
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200733 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
734 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200735
736 return( ret );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200737}
738
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200739static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200740 const unsigned char *hash, size_t hash_len,
741 unsigned char *sig, size_t *sig_len,
742 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
743{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200744 return( mbedtls_ecdsa_write_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200745 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200746}
747
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200748#if defined(MBEDTLS_ECP_RESTARTABLE)
749static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
750 const unsigned char *hash, size_t hash_len,
751 const unsigned char *sig, size_t sig_len,
752 void *rs_ctx )
753{
754 int ret;
755 ((void) md_alg);
756
757 ret = mbedtls_ecdsa_read_signature_restartable(
758 (mbedtls_ecdsa_context *) ctx,
759 hash, hash_len, sig, sig_len,
760 (mbedtls_ecdsa_restart_ctx *) rs_ctx );
761
762 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
763 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
764
765 return( ret );
766}
767
768static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
769 const unsigned char *hash, size_t hash_len,
770 unsigned char *sig, size_t *sig_len,
771 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
772 void *rs_ctx )
773{
774 return( mbedtls_ecdsa_write_signature_restartable(
775 (mbedtls_ecdsa_context *) ctx,
776 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng,
777 (mbedtls_ecdsa_restart_ctx *) rs_ctx ) );
778
779}
780#endif /* MBEDTLS_ECP_RESTARTABLE */
781
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200782static void *ecdsa_alloc_wrap( void )
783{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200784 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_context ) );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200785
786 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200787 mbedtls_ecdsa_init( (mbedtls_ecdsa_context *) ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200788
789 return( ctx );
790}
791
792static void ecdsa_free_wrap( void *ctx )
793{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200794 mbedtls_ecdsa_free( (mbedtls_ecdsa_context *) ctx );
795 mbedtls_free( ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200796}
797
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200798#if defined(MBEDTLS_ECP_RESTARTABLE)
799static void *ecdsa_rs_alloc( void )
800{
801 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_restart_ctx ) );
802
803 if( ctx != NULL )
804 mbedtls_ecdsa_restart_init( ctx );
805
806 return( ctx );
807}
808
809static void ecdsa_rs_free( void *ctx )
810{
811 mbedtls_ecdsa_restart_free( ctx );
812 mbedtls_free( ctx );
813}
814#endif /* MBEDTLS_ECP_RESTARTABLE */
815
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200816const mbedtls_pk_info_t mbedtls_ecdsa_info = {
817 MBEDTLS_PK_ECDSA,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200818 "ECDSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200819 eckey_get_bitlen, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200820 ecdsa_can_do,
821 ecdsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200822 ecdsa_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200823#if defined(MBEDTLS_ECP_RESTARTABLE)
824 ecdsa_verify_rs_wrap,
825 ecdsa_sign_rs_wrap,
826#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200827 NULL,
828 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100829 eckey_check_pair, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200830 ecdsa_alloc_wrap,
831 ecdsa_free_wrap,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200832#if defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200833 ecdsa_rs_alloc,
834 ecdsa_rs_free,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200835#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200836 eckey_debug, /* Compatible key structures */
837};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200838#endif /* MBEDTLS_ECDSA_C */
Jarno Lamsa42b83db2019-04-16 16:48:22 +0300839#endif /* MBEDTLS_USE_TINYCRYPT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200840
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200841#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200842/*
843 * Support for alternative RSA-private implementations
844 */
845
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200846static int rsa_alt_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200847{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200848 return( type == MBEDTLS_PK_RSA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200849}
850
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200851static size_t rsa_alt_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200852{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200853 const mbedtls_rsa_alt_context *rsa_alt = (const mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200854
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200855 return( 8 * rsa_alt->key_len_func( rsa_alt->key ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200856}
857
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200858static int rsa_alt_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200859 const unsigned char *hash, size_t hash_len,
860 unsigned char *sig, size_t *sig_len,
861 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
862{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200863 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200864
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100865#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000866 if( UINT_MAX < hash_len )
867 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100868#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000869
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200870 *sig_len = rsa_alt->key_len_func( rsa_alt->key );
871
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200872 return( rsa_alt->sign_func( rsa_alt->key, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200873 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200874}
875
876static int rsa_alt_decrypt_wrap( void *ctx,
877 const unsigned char *input, size_t ilen,
878 unsigned char *output, size_t *olen, size_t osize,
879 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
880{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200881 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200882
883 ((void) f_rng);
884 ((void) p_rng);
885
886 if( ilen != rsa_alt->key_len_func( rsa_alt->key ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200887 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200888
889 return( rsa_alt->decrypt_func( rsa_alt->key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200890 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200891}
892
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200893#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100894static int rsa_alt_check_pair( const void *pub, const void *prv )
895{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200896 unsigned char sig[MBEDTLS_MPI_MAX_SIZE];
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100897 unsigned char hash[32];
898 size_t sig_len = 0;
899 int ret;
900
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200901 if( rsa_alt_get_bitlen( prv ) != rsa_get_bitlen( pub ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200902 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100903
904 memset( hash, 0x2a, sizeof( hash ) );
905
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200906 if( ( ret = rsa_alt_sign_wrap( (void *) prv, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100907 hash, sizeof( hash ),
908 sig, &sig_len, NULL, NULL ) ) != 0 )
909 {
910 return( ret );
911 }
912
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200913 if( rsa_verify_wrap( (void *) pub, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100914 hash, sizeof( hash ), sig, sig_len ) != 0 )
915 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200916 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100917 }
918
919 return( 0 );
920}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200921#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100922
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200923static void *rsa_alt_alloc_wrap( void )
924{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200925 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200926
927 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200928 memset( ctx, 0, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200929
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200930 return( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200931}
932
933static void rsa_alt_free_wrap( void *ctx )
934{
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500935 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200936 mbedtls_free( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200937}
938
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200939const mbedtls_pk_info_t mbedtls_rsa_alt_info = {
940 MBEDTLS_PK_RSA_ALT,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200941 "RSA-alt",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200942 rsa_alt_get_bitlen,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200943 rsa_alt_can_do,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200944 NULL,
945 rsa_alt_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200946#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200947 NULL,
948 NULL,
949#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200950 rsa_alt_decrypt_wrap,
951 NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200952#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100953 rsa_alt_check_pair,
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100954#else
955 NULL,
956#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200957 rsa_alt_alloc_wrap,
958 rsa_alt_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200959#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200960 NULL,
961 NULL,
962#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200963 NULL,
964};
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200965
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200966#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200967
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200968#endif /* MBEDTLS_PK_C */