2013-01-26 15:30:46 +01:00
|
|
|
/*
|
|
|
|
* Elliptic curve Diffie-Hellman
|
|
|
|
*
|
2015-07-27 11:11:48 +02:00
|
|
|
* Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
|
2015-09-04 14:21:07 +02:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2013-01-26 15:30:46 +01:00
|
|
|
*
|
2015-09-04 14:21:07 +02:00
|
|
|
* Licensed under the Apache License, Version 2.0 (the "License"); you may
|
|
|
|
* not use this file except in compliance with the License.
|
|
|
|
* You may obtain a copy of the License at
|
2013-01-26 15:30:46 +01:00
|
|
|
*
|
2015-09-04 14:21:07 +02:00
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
2013-01-26 15:30:46 +01:00
|
|
|
*
|
2015-09-04 14:21:07 +02:00
|
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
|
|
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
|
|
|
|
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
* See the License for the specific language governing permissions and
|
|
|
|
* limitations under the License.
|
2013-01-26 15:30:46 +01:00
|
|
|
*
|
2015-09-04 14:21:07 +02:00
|
|
|
* This file is part of mbed TLS (https://tls.mbed.org)
|
2013-01-26 15:30:46 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* References:
|
|
|
|
*
|
|
|
|
* SEC1 http://www.secg.org/index.php?action=secg,docs_secg
|
2013-02-10 14:21:04 +01:00
|
|
|
* RFC 4492
|
2013-01-26 15:30:46 +01:00
|
|
|
*/
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
#if !defined(MBEDTLS_CONFIG_FILE)
|
2015-03-09 18:05:11 +01:00
|
|
|
#include "mbedtls/config.h"
|
2014-04-29 12:39:06 +02:00
|
|
|
#else
|
2015-04-08 12:49:31 +02:00
|
|
|
#include MBEDTLS_CONFIG_FILE
|
2014-04-29 12:39:06 +02:00
|
|
|
#endif
|
2013-01-26 15:30:46 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
#if defined(MBEDTLS_ECDH_C)
|
2013-01-26 15:30:46 +01:00
|
|
|
|
2015-03-09 18:05:11 +01:00
|
|
|
#include "mbedtls/ecdh.h"
|
2018-12-17 19:10:51 +01:00
|
|
|
#include "mbedtls/platform_util.h"
|
2013-01-26 15:30:46 +01:00
|
|
|
|
2015-02-06 14:43:58 +01:00
|
|
|
#include <string.h>
|
|
|
|
|
2018-12-17 19:10:51 +01:00
|
|
|
/* Parameter validation macros based on platform_util.h */
|
|
|
|
#define ECDH_VALIDATE_RET( cond ) \
|
|
|
|
MBEDTLS_INTERNAL_VALIDATE_RET( cond, MBEDTLS_ERR_ECP_BAD_INPUT_DATA )
|
|
|
|
#define ECDH_VALIDATE( cond ) \
|
|
|
|
MBEDTLS_INTERNAL_VALIDATE( cond )
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
typedef mbedtls_ecdh_context mbedtls_ecdh_context_mbed;
|
|
|
|
#endif
|
|
|
|
|
2019-02-22 12:31:25 +01:00
|
|
|
static mbedtls_ecp_group_id mbedtls_ecdh_grp_id(
|
|
|
|
const mbedtls_ecdh_context *ctx )
|
|
|
|
{
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ctx->grp.id );
|
|
|
|
#else
|
|
|
|
return( ctx->grp_id );
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2017-10-10 18:04:27 +02:00
|
|
|
#if !defined(MBEDTLS_ECDH_GEN_PUBLIC_ALT)
|
2013-01-26 16:05:22 +01:00
|
|
|
/*
|
2017-04-27 11:38:26 +02:00
|
|
|
* Generate public key (restartable version)
|
2018-10-16 10:38:19 +02:00
|
|
|
*
|
|
|
|
* Note: this internal function relies on its caller preserving the value of
|
2018-10-22 09:56:53 +02:00
|
|
|
* the output parameter 'd' across continuation calls. This would not be
|
2018-10-16 10:38:19 +02:00
|
|
|
* acceptable for a public function but is OK here as we control call sites.
|
2017-04-27 11:38:26 +02:00
|
|
|
*/
|
|
|
|
static int ecdh_gen_public_restartable( mbedtls_ecp_group *grp,
|
|
|
|
mbedtls_mpi *d, mbedtls_ecp_point *Q,
|
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
|
|
|
void *p_rng,
|
|
|
|
mbedtls_ecp_restart_ctx *rs_ctx )
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
/* If multiplication is in progress, we already generated a privkey */
|
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
if( rs_ctx == NULL || rs_ctx->rsm == NULL )
|
|
|
|
#endif
|
|
|
|
MBEDTLS_MPI_CHK( mbedtls_ecp_gen_privkey( grp, d, f_rng, p_rng ) );
|
|
|
|
|
|
|
|
MBEDTLS_MPI_CHK( mbedtls_ecp_mul_restartable( grp, Q, d, &grp->G,
|
|
|
|
f_rng, p_rng, rs_ctx ) );
|
|
|
|
|
|
|
|
cleanup:
|
|
|
|
return( ret );
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Generate public key
|
2013-01-26 16:05:22 +01:00
|
|
|
*/
|
2015-04-08 12:49:31 +02:00
|
|
|
int mbedtls_ecdh_gen_public( mbedtls_ecp_group *grp, mbedtls_mpi *d, mbedtls_ecp_point *Q,
|
2013-01-26 16:05:22 +01:00
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
|
|
|
void *p_rng )
|
|
|
|
{
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( grp != NULL );
|
|
|
|
ECDH_VALIDATE_RET( d != NULL );
|
|
|
|
ECDH_VALIDATE_RET( Q != NULL );
|
|
|
|
ECDH_VALIDATE_RET( f_rng != NULL );
|
2017-04-27 11:38:26 +02:00
|
|
|
return( ecdh_gen_public_restartable( grp, d, Q, f_rng, p_rng, NULL ) );
|
2013-01-26 16:05:22 +01:00
|
|
|
}
|
2018-11-01 12:05:52 +01:00
|
|
|
#endif /* !MBEDTLS_ECDH_GEN_PUBLIC_ALT */
|
2013-01-26 16:05:22 +01:00
|
|
|
|
2017-10-10 18:04:27 +02:00
|
|
|
#if !defined(MBEDTLS_ECDH_COMPUTE_SHARED_ALT)
|
2013-01-26 16:05:22 +01:00
|
|
|
/*
|
|
|
|
* Compute shared secret (SEC1 3.3.1)
|
|
|
|
*/
|
2017-04-27 11:38:26 +02:00
|
|
|
static int ecdh_compute_shared_restartable( mbedtls_ecp_group *grp,
|
|
|
|
mbedtls_mpi *z,
|
2015-04-08 12:49:31 +02:00
|
|
|
const mbedtls_ecp_point *Q, const mbedtls_mpi *d,
|
2013-09-02 14:29:09 +02:00
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
2017-04-27 11:38:26 +02:00
|
|
|
void *p_rng,
|
|
|
|
mbedtls_ecp_restart_ctx *rs_ctx )
|
2013-01-26 16:05:22 +01:00
|
|
|
{
|
|
|
|
int ret;
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_ecp_point P;
|
2013-01-26 16:05:22 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_ecp_point_init( &P );
|
2013-01-26 16:05:22 +01:00
|
|
|
|
2017-04-27 11:38:26 +02:00
|
|
|
MBEDTLS_MPI_CHK( mbedtls_ecp_mul_restartable( grp, &P, d, Q,
|
|
|
|
f_rng, p_rng, rs_ctx ) );
|
2013-01-26 16:05:22 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
if( mbedtls_ecp_is_zero( &P ) )
|
2013-07-26 14:21:34 +02:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
ret = MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
|
2013-07-26 14:21:34 +02:00
|
|
|
goto cleanup;
|
|
|
|
}
|
2013-01-26 16:05:22 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
MBEDTLS_MPI_CHK( mbedtls_mpi_copy( z, &P.X ) );
|
2013-01-26 16:05:22 +01:00
|
|
|
|
|
|
|
cleanup:
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_ecp_point_free( &P );
|
2013-01-26 16:05:22 +01:00
|
|
|
|
|
|
|
return( ret );
|
|
|
|
}
|
|
|
|
|
2017-04-27 11:38:26 +02:00
|
|
|
/*
|
|
|
|
* Compute shared secret (SEC1 3.3.1)
|
|
|
|
*/
|
|
|
|
int mbedtls_ecdh_compute_shared( mbedtls_ecp_group *grp, mbedtls_mpi *z,
|
|
|
|
const mbedtls_ecp_point *Q, const mbedtls_mpi *d,
|
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
|
|
|
void *p_rng )
|
|
|
|
{
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( grp != NULL );
|
|
|
|
ECDH_VALIDATE_RET( Q != NULL );
|
|
|
|
ECDH_VALIDATE_RET( d != NULL );
|
|
|
|
ECDH_VALIDATE_RET( z != NULL );
|
2017-04-27 11:38:26 +02:00
|
|
|
return( ecdh_compute_shared_restartable( grp, z, Q, d,
|
|
|
|
f_rng, p_rng, NULL ) );
|
|
|
|
}
|
2018-11-01 12:05:52 +01:00
|
|
|
#endif /* !MBEDTLS_ECDH_COMPUTE_SHARED_ALT */
|
2017-04-27 11:38:26 +02:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
static void ecdh_init_internal( mbedtls_ecdh_context_mbed *ctx )
|
2013-02-10 14:21:04 +01:00
|
|
|
{
|
2017-08-23 16:55:59 +02:00
|
|
|
mbedtls_ecp_group_init( &ctx->grp );
|
|
|
|
mbedtls_mpi_init( &ctx->d );
|
|
|
|
mbedtls_ecp_point_init( &ctx->Q );
|
|
|
|
mbedtls_ecp_point_init( &ctx->Qp );
|
|
|
|
mbedtls_mpi_init( &ctx->z );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
mbedtls_ecp_restart_init( &ctx->rs );
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Initialize context
|
|
|
|
*/
|
|
|
|
void mbedtls_ecdh_init( mbedtls_ecdh_context *ctx )
|
|
|
|
{
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE( ctx != NULL );
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
ecdh_init_internal( ctx );
|
2017-08-23 16:55:59 +02:00
|
|
|
mbedtls_ecp_point_init( &ctx->Vi );
|
|
|
|
mbedtls_ecp_point_init( &ctx->Vf );
|
|
|
|
mbedtls_mpi_init( &ctx->_d );
|
2018-08-13 16:54:22 +02:00
|
|
|
#else
|
|
|
|
memset( ctx, 0, sizeof( mbedtls_ecdh_context ) );
|
2017-04-27 11:38:26 +02:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
ctx->var = MBEDTLS_ECDH_VARIANT_NONE;
|
|
|
|
#endif
|
|
|
|
ctx->point_format = MBEDTLS_ECP_PF_UNCOMPRESSED;
|
2017-04-27 11:38:26 +02:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2017-08-23 16:55:59 +02:00
|
|
|
ctx->restart_enabled = 0;
|
2017-04-27 11:38:26 +02:00
|
|
|
#endif
|
2013-02-10 14:21:04 +01:00
|
|
|
}
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
static int ecdh_setup_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
mbedtls_ecp_group_id grp_id )
|
2018-10-30 12:53:25 +01:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
ret = mbedtls_ecp_group_load( &ctx->grp, grp_id );
|
|
|
|
if( ret != 0 )
|
|
|
|
{
|
|
|
|
return( MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE );
|
|
|
|
}
|
|
|
|
|
|
|
|
return( 0 );
|
|
|
|
}
|
|
|
|
|
2013-02-10 14:21:04 +01:00
|
|
|
/*
|
2018-08-13 16:54:22 +02:00
|
|
|
* Setup context
|
2013-02-10 14:21:04 +01:00
|
|
|
*/
|
2018-08-13 16:54:22 +02:00
|
|
|
int mbedtls_ecdh_setup( mbedtls_ecdh_context *ctx, mbedtls_ecp_group_id grp_id )
|
2013-02-10 14:21:04 +01:00
|
|
|
{
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
2013-02-10 14:21:04 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_setup_internal( ctx, grp_id ) );
|
|
|
|
#else
|
|
|
|
switch( grp_id )
|
|
|
|
{
|
|
|
|
default:
|
|
|
|
ctx->point_format = MBEDTLS_ECP_PF_UNCOMPRESSED;
|
|
|
|
ctx->var = MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0;
|
|
|
|
ctx->grp_id = grp_id;
|
|
|
|
ecdh_init_internal( &ctx->ctx.mbed_ecdh );
|
|
|
|
return( ecdh_setup_internal( &ctx->ctx.mbed_ecdh, grp_id ) );
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static void ecdh_free_internal( mbedtls_ecdh_context_mbed *ctx )
|
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_ecp_group_free( &ctx->grp );
|
2017-08-23 16:55:59 +02:00
|
|
|
mbedtls_mpi_free( &ctx->d );
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_ecp_point_free( &ctx->Q );
|
|
|
|
mbedtls_ecp_point_free( &ctx->Qp );
|
2017-08-23 16:55:59 +02:00
|
|
|
mbedtls_mpi_free( &ctx->z );
|
2017-04-27 11:38:26 +02:00
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
mbedtls_ecp_restart_free( &ctx->rs );
|
|
|
|
#endif
|
2013-02-10 14:21:04 +01:00
|
|
|
}
|
|
|
|
|
2017-05-18 12:35:37 +02:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
/*
|
|
|
|
* Enable restartable operations for context
|
|
|
|
*/
|
|
|
|
void mbedtls_ecdh_enable_restart( mbedtls_ecdh_context *ctx )
|
|
|
|
{
|
2018-12-18 19:45:00 +01:00
|
|
|
ECDH_VALIDATE( ctx != NULL );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
2017-05-18 12:35:37 +02:00
|
|
|
ctx->restart_enabled = 1;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2013-02-10 15:01:54 +01:00
|
|
|
/*
|
2018-08-13 16:54:22 +02:00
|
|
|
* Free context
|
2013-02-10 15:01:54 +01:00
|
|
|
*/
|
2018-08-13 16:54:22 +02:00
|
|
|
void mbedtls_ecdh_free( mbedtls_ecdh_context *ctx )
|
|
|
|
{
|
|
|
|
if( ctx == NULL )
|
|
|
|
return;
|
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
mbedtls_ecp_point_free( &ctx->Vi );
|
|
|
|
mbedtls_ecp_point_free( &ctx->Vf );
|
|
|
|
mbedtls_mpi_free( &ctx->_d );
|
|
|
|
ecdh_free_internal( ctx );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
ecdh_free_internal( &ctx->ctx.mbed_ecdh );
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
ctx->point_format = MBEDTLS_ECP_PF_UNCOMPRESSED;
|
|
|
|
ctx->var = MBEDTLS_ECDH_VARIANT_NONE;
|
|
|
|
ctx->grp_id = MBEDTLS_ECP_DP_NONE;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ecdh_make_params_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
size_t *olen, int point_format,
|
|
|
|
unsigned char *buf, size_t blen,
|
|
|
|
int (*f_rng)(void *,
|
|
|
|
unsigned char *,
|
|
|
|
size_t),
|
|
|
|
void *p_rng,
|
|
|
|
int restart_enabled )
|
2013-02-10 15:01:54 +01:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
size_t grp_len, pt_len;
|
2018-11-05 17:07:10 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2017-04-27 11:38:26 +02:00
|
|
|
mbedtls_ecp_restart_ctx *rs_ctx = NULL;
|
2018-11-01 12:05:52 +01:00
|
|
|
#endif
|
2013-02-10 15:01:54 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
if( ctx->grp.pbits == 0 )
|
2015-04-08 12:49:31 +02:00
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
2013-02-11 22:12:39 +01:00
|
|
|
|
2018-11-05 15:58:13 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2018-08-13 16:54:22 +02:00
|
|
|
if( restart_enabled )
|
2017-05-18 12:35:37 +02:00
|
|
|
rs_ctx = &ctx->rs;
|
2018-08-13 16:54:22 +02:00
|
|
|
#else
|
|
|
|
(void) restart_enabled;
|
2017-04-27 11:38:26 +02:00
|
|
|
#endif
|
|
|
|
|
2018-11-01 10:32:15 +01:00
|
|
|
|
2018-11-05 17:07:10 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2017-04-27 11:38:26 +02:00
|
|
|
if( ( ret = ecdh_gen_public_restartable( &ctx->grp, &ctx->d, &ctx->Q,
|
2018-10-15 15:27:49 +02:00
|
|
|
f_rng, p_rng, rs_ctx ) ) != 0 )
|
2013-02-10 15:01:54 +01:00
|
|
|
return( ret );
|
2018-11-05 17:07:10 +01:00
|
|
|
#else
|
|
|
|
if( ( ret = mbedtls_ecdh_gen_public( &ctx->grp, &ctx->d, &ctx->Q,
|
|
|
|
f_rng, p_rng ) ) != 0 )
|
|
|
|
return( ret );
|
|
|
|
#endif /* MBEDTLS_ECP_RESTARTABLE */
|
2013-02-10 15:01:54 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
if( ( ret = mbedtls_ecp_tls_write_group( &ctx->grp, &grp_len, buf,
|
|
|
|
blen ) ) != 0 )
|
2013-02-10 15:01:54 +01:00
|
|
|
return( ret );
|
|
|
|
|
|
|
|
buf += grp_len;
|
|
|
|
blen -= grp_len;
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
if( ( ret = mbedtls_ecp_tls_write_point( &ctx->grp, &ctx->Q, point_format,
|
2018-10-15 15:27:49 +02:00
|
|
|
&pt_len, buf, blen ) ) != 0 )
|
2013-02-10 15:01:54 +01:00
|
|
|
return( ret );
|
|
|
|
|
|
|
|
*olen = grp_len + pt_len;
|
2014-06-17 14:06:49 +02:00
|
|
|
return( 0 );
|
2013-02-10 15:01:54 +01:00
|
|
|
}
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
/*
|
|
|
|
* Setup and write the ServerKeyExhange parameters (RFC 4492)
|
|
|
|
* struct {
|
|
|
|
* ECParameters curve_params;
|
|
|
|
* ECPoint public;
|
|
|
|
* } ServerECDHParams;
|
|
|
|
*/
|
|
|
|
int mbedtls_ecdh_make_params( mbedtls_ecdh_context *ctx, size_t *olen,
|
|
|
|
unsigned char *buf, size_t blen,
|
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
|
|
|
void *p_rng )
|
|
|
|
{
|
|
|
|
int restart_enabled = 0;
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
|
|
|
ECDH_VALIDATE_RET( olen != NULL );
|
|
|
|
ECDH_VALIDATE_RET( buf != NULL );
|
|
|
|
ECDH_VALIDATE_RET( f_rng != NULL );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
restart_enabled = ctx->restart_enabled;
|
|
|
|
#else
|
|
|
|
(void) restart_enabled;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_make_params_internal( ctx, olen, ctx->point_format, buf, blen,
|
|
|
|
f_rng, p_rng, restart_enabled ) );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
return( ecdh_make_params_internal( &ctx->ctx.mbed_ecdh, olen,
|
|
|
|
ctx->point_format, buf, blen,
|
|
|
|
f_rng, p_rng,
|
|
|
|
restart_enabled ) );
|
|
|
|
default:
|
|
|
|
return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ecdh_read_params_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
const unsigned char **buf,
|
|
|
|
const unsigned char *end )
|
|
|
|
{
|
|
|
|
return( mbedtls_ecp_tls_read_point( &ctx->grp, &ctx->Qp, buf,
|
|
|
|
end - *buf ) );
|
|
|
|
}
|
|
|
|
|
2013-02-11 20:28:55 +01:00
|
|
|
/*
|
|
|
|
* Read the ServerKeyExhange parameters (RFC 4492)
|
|
|
|
* struct {
|
|
|
|
* ECParameters curve_params;
|
|
|
|
* ECPoint public;
|
|
|
|
* } ServerECDHParams;
|
|
|
|
*/
|
2015-04-08 12:49:31 +02:00
|
|
|
int mbedtls_ecdh_read_params( mbedtls_ecdh_context *ctx,
|
2018-08-13 16:54:22 +02:00
|
|
|
const unsigned char **buf,
|
|
|
|
const unsigned char *end )
|
2013-02-11 20:28:55 +01:00
|
|
|
{
|
|
|
|
int ret;
|
2018-10-30 12:53:25 +01:00
|
|
|
mbedtls_ecp_group_id grp_id;
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
|
|
|
ECDH_VALIDATE_RET( buf != NULL );
|
|
|
|
ECDH_VALIDATE_RET( *buf != NULL );
|
|
|
|
ECDH_VALIDATE_RET( end != NULL );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
2018-10-30 12:53:25 +01:00
|
|
|
if( ( ret = mbedtls_ecp_tls_read_group_id( &grp_id, buf, end - *buf ) )
|
|
|
|
!= 0 )
|
2013-02-11 20:28:55 +01:00
|
|
|
return( ret );
|
|
|
|
|
2018-10-30 12:53:25 +01:00
|
|
|
if( ( ret = mbedtls_ecdh_setup( ctx, grp_id ) ) != 0 )
|
|
|
|
return( ret );
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_read_params_internal( ctx, buf, end ) );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
return( ecdh_read_params_internal( &ctx->ctx.mbed_ecdh,
|
|
|
|
buf, end ) );
|
|
|
|
default:
|
|
|
|
return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
|
|
|
|
}
|
|
|
|
#endif
|
2013-02-11 20:28:55 +01:00
|
|
|
}
|
2013-01-26 15:30:46 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
static int ecdh_get_params_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
const mbedtls_ecp_keypair *key,
|
|
|
|
mbedtls_ecdh_side side )
|
2013-12-12 09:55:52 +01:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
/* If it's not our key, just import the public part as Qp */
|
2015-04-08 12:49:31 +02:00
|
|
|
if( side == MBEDTLS_ECDH_THEIRS )
|
|
|
|
return( mbedtls_ecp_copy( &ctx->Qp, &key->Q ) );
|
2013-12-12 09:55:52 +01:00
|
|
|
|
|
|
|
/* Our key: import public (as Q) and private parts */
|
2015-04-08 12:49:31 +02:00
|
|
|
if( side != MBEDTLS_ECDH_OURS )
|
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
2013-12-12 09:55:52 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
if( ( ret = mbedtls_ecp_copy( &ctx->Q, &key->Q ) ) != 0 ||
|
|
|
|
( ret = mbedtls_mpi_copy( &ctx->d, &key->d ) ) != 0 )
|
2013-12-12 09:55:52 +01:00
|
|
|
return( ret );
|
|
|
|
|
|
|
|
return( 0 );
|
|
|
|
}
|
|
|
|
|
2013-02-11 21:51:45 +01:00
|
|
|
/*
|
2018-08-13 16:54:22 +02:00
|
|
|
* Get parameters from a keypair
|
2013-02-11 21:51:45 +01:00
|
|
|
*/
|
2018-08-13 16:54:22 +02:00
|
|
|
int mbedtls_ecdh_get_params( mbedtls_ecdh_context *ctx,
|
|
|
|
const mbedtls_ecp_keypair *key,
|
|
|
|
mbedtls_ecdh_side side )
|
|
|
|
{
|
|
|
|
int ret;
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
|
|
|
ECDH_VALIDATE_RET( key != NULL );
|
|
|
|
ECDH_VALIDATE_RET( side == MBEDTLS_ECDH_OURS ||
|
|
|
|
side == MBEDTLS_ECDH_THEIRS );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
2019-02-22 12:31:25 +01:00
|
|
|
if( mbedtls_ecdh_grp_id( ctx ) == MBEDTLS_ECP_DP_NONE )
|
2018-11-07 22:10:59 +01:00
|
|
|
{
|
|
|
|
/* This is the first call to get_params(). Set up the context
|
|
|
|
* for use with the group. */
|
|
|
|
if( ( ret = mbedtls_ecdh_setup( ctx, key->grp.id ) ) != 0 )
|
|
|
|
return( ret );
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
/* This is not the first call to get_params(). Check that the
|
|
|
|
* current key's group is the same as the context's, which was set
|
|
|
|
* from the first key's group. */
|
2019-02-22 12:31:25 +01:00
|
|
|
if( mbedtls_ecdh_grp_id( ctx ) != key->grp.id )
|
2018-11-07 22:10:59 +01:00
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
|
|
|
}
|
2018-08-13 16:54:22 +02:00
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_get_params_internal( ctx, key, side ) );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
return( ecdh_get_params_internal( &ctx->ctx.mbed_ecdh,
|
|
|
|
key, side ) );
|
|
|
|
default:
|
|
|
|
return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ecdh_make_public_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
size_t *olen, int point_format,
|
|
|
|
unsigned char *buf, size_t blen,
|
|
|
|
int (*f_rng)(void *,
|
|
|
|
unsigned char *,
|
|
|
|
size_t),
|
|
|
|
void *p_rng,
|
|
|
|
int restart_enabled )
|
2013-02-11 21:51:45 +01:00
|
|
|
{
|
|
|
|
int ret;
|
2018-11-05 17:07:10 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2017-04-27 11:38:26 +02:00
|
|
|
mbedtls_ecp_restart_ctx *rs_ctx = NULL;
|
2018-11-01 12:05:52 +01:00
|
|
|
#endif
|
2013-02-11 21:51:45 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
if( ctx->grp.pbits == 0 )
|
2015-04-08 12:49:31 +02:00
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
2013-02-11 22:12:39 +01:00
|
|
|
|
2018-11-05 16:18:29 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2018-08-13 16:54:22 +02:00
|
|
|
if( restart_enabled )
|
2017-05-18 12:35:37 +02:00
|
|
|
rs_ctx = &ctx->rs;
|
2018-08-13 16:54:22 +02:00
|
|
|
#else
|
|
|
|
(void) restart_enabled;
|
2017-04-27 11:38:26 +02:00
|
|
|
#endif
|
|
|
|
|
2018-11-05 17:07:10 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2017-04-27 11:38:26 +02:00
|
|
|
if( ( ret = ecdh_gen_public_restartable( &ctx->grp, &ctx->d, &ctx->Q,
|
2018-08-13 16:54:22 +02:00
|
|
|
f_rng, p_rng, rs_ctx ) ) != 0 )
|
2013-02-11 21:51:45 +01:00
|
|
|
return( ret );
|
2018-11-05 17:07:10 +01:00
|
|
|
#else
|
|
|
|
if( ( ret = mbedtls_ecdh_gen_public( &ctx->grp, &ctx->d, &ctx->Q,
|
|
|
|
f_rng, p_rng ) ) != 0 )
|
|
|
|
return( ret );
|
|
|
|
#endif /* MBEDTLS_ECP_RESTARTABLE */
|
2013-02-11 21:51:45 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
return mbedtls_ecp_tls_write_point( &ctx->grp, &ctx->Q, point_format, olen,
|
|
|
|
buf, blen );
|
2013-02-11 21:51:45 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2018-08-13 16:54:22 +02:00
|
|
|
* Setup and export the client public value
|
2013-02-11 21:51:45 +01:00
|
|
|
*/
|
2018-08-13 16:54:22 +02:00
|
|
|
int mbedtls_ecdh_make_public( mbedtls_ecdh_context *ctx, size_t *olen,
|
|
|
|
unsigned char *buf, size_t blen,
|
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
|
|
|
void *p_rng )
|
2013-02-11 21:51:45 +01:00
|
|
|
{
|
2018-08-13 16:54:22 +02:00
|
|
|
int restart_enabled = 0;
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
|
|
|
ECDH_VALIDATE_RET( olen != NULL );
|
|
|
|
ECDH_VALIDATE_RET( buf != NULL );
|
2018-12-19 00:32:42 +01:00
|
|
|
ECDH_VALIDATE_RET( f_rng != NULL );
|
2013-02-11 22:12:39 +01:00
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
restart_enabled = ctx->restart_enabled;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_make_public_internal( ctx, olen, ctx->point_format, buf, blen,
|
|
|
|
f_rng, p_rng, restart_enabled ) );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
return( ecdh_make_public_internal( &ctx->ctx.mbed_ecdh, olen,
|
|
|
|
ctx->point_format, buf, blen,
|
|
|
|
f_rng, p_rng,
|
|
|
|
restart_enabled ) );
|
|
|
|
default:
|
|
|
|
return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ecdh_read_public_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
const unsigned char *buf, size_t blen )
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
const unsigned char *p = buf;
|
|
|
|
|
|
|
|
if( ( ret = mbedtls_ecp_tls_read_point( &ctx->grp, &ctx->Qp, &p,
|
|
|
|
blen ) ) != 0 )
|
2014-03-26 19:53:25 +01:00
|
|
|
return( ret );
|
|
|
|
|
|
|
|
if( (size_t)( p - buf ) != blen )
|
2015-04-08 12:49:31 +02:00
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
2014-03-26 19:53:25 +01:00
|
|
|
|
|
|
|
return( 0 );
|
2013-02-11 21:51:45 +01:00
|
|
|
}
|
|
|
|
|
2013-02-11 22:05:42 +01:00
|
|
|
/*
|
2018-08-13 16:54:22 +02:00
|
|
|
* Parse and import the client's public value
|
2013-02-11 22:05:42 +01:00
|
|
|
*/
|
2018-08-13 16:54:22 +02:00
|
|
|
int mbedtls_ecdh_read_public( mbedtls_ecdh_context *ctx,
|
|
|
|
const unsigned char *buf, size_t blen )
|
|
|
|
{
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
|
|
|
ECDH_VALIDATE_RET( buf != NULL );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_read_public_internal( ctx, buf, blen ) );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
return( ecdh_read_public_internal( &ctx->ctx.mbed_ecdh,
|
|
|
|
buf, blen ) );
|
|
|
|
default:
|
|
|
|
return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static int ecdh_calc_secret_internal( mbedtls_ecdh_context_mbed *ctx,
|
|
|
|
size_t *olen, unsigned char *buf,
|
|
|
|
size_t blen,
|
|
|
|
int (*f_rng)(void *,
|
|
|
|
unsigned char *,
|
|
|
|
size_t),
|
|
|
|
void *p_rng,
|
|
|
|
int restart_enabled )
|
2013-02-11 22:05:42 +01:00
|
|
|
{
|
|
|
|
int ret;
|
2018-11-05 17:07:10 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2017-04-27 11:38:26 +02:00
|
|
|
mbedtls_ecp_restart_ctx *rs_ctx = NULL;
|
2018-11-01 12:05:52 +01:00
|
|
|
#endif
|
2013-02-11 22:05:42 +01:00
|
|
|
|
2017-04-27 11:38:26 +02:00
|
|
|
if( ctx == NULL || ctx->grp.pbits == 0 )
|
2015-04-08 12:49:31 +02:00
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
2013-02-11 22:12:39 +01:00
|
|
|
|
2018-11-05 16:18:29 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2018-08-13 16:54:22 +02:00
|
|
|
if( restart_enabled )
|
2017-05-18 12:35:37 +02:00
|
|
|
rs_ctx = &ctx->rs;
|
2018-08-13 16:54:22 +02:00
|
|
|
#else
|
|
|
|
(void) restart_enabled;
|
2017-04-27 11:38:26 +02:00
|
|
|
#endif
|
|
|
|
|
2018-11-05 17:07:10 +01:00
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
2018-08-13 16:54:22 +02:00
|
|
|
if( ( ret = ecdh_compute_shared_restartable( &ctx->grp, &ctx->z, &ctx->Qp,
|
|
|
|
&ctx->d, f_rng, p_rng,
|
|
|
|
rs_ctx ) ) != 0 )
|
2018-11-01 10:32:15 +01:00
|
|
|
{
|
|
|
|
return( ret );
|
|
|
|
}
|
|
|
|
#else
|
2018-11-05 17:07:10 +01:00
|
|
|
if( ( ret = mbedtls_ecdh_compute_shared( &ctx->grp, &ctx->z, &ctx->Qp,
|
|
|
|
&ctx->d, f_rng, p_rng ) ) != 0 )
|
2013-09-02 14:29:09 +02:00
|
|
|
{
|
2013-02-11 22:05:42 +01:00
|
|
|
return( ret );
|
2013-09-02 14:29:09 +02:00
|
|
|
}
|
2018-11-05 17:07:10 +01:00
|
|
|
#endif /* MBEDTLS_ECP_RESTARTABLE */
|
2013-02-11 22:05:42 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
if( mbedtls_mpi_size( &ctx->z ) > blen )
|
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
2013-03-20 14:39:14 +01:00
|
|
|
|
2014-01-17 21:24:04 +01:00
|
|
|
*olen = ctx->grp.pbits / 8 + ( ( ctx->grp.pbits % 8 ) != 0 );
|
2019-02-20 11:48:49 +01:00
|
|
|
|
2019-02-26 14:56:04 +01:00
|
|
|
if( mbedtls_ecp_get_type( &ctx->grp ) == MBEDTLS_ECP_TYPE_MONTGOMERY )
|
2019-02-20 11:48:49 +01:00
|
|
|
return mbedtls_mpi_write_binary_le( &ctx->z, buf, *olen );
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
return mbedtls_mpi_write_binary( &ctx->z, buf, *olen );
|
2013-02-11 22:05:42 +01:00
|
|
|
}
|
|
|
|
|
2018-08-13 16:54:22 +02:00
|
|
|
/*
|
|
|
|
* Derive and export the shared secret
|
|
|
|
*/
|
|
|
|
int mbedtls_ecdh_calc_secret( mbedtls_ecdh_context *ctx, size_t *olen,
|
|
|
|
unsigned char *buf, size_t blen,
|
|
|
|
int (*f_rng)(void *, unsigned char *, size_t),
|
|
|
|
void *p_rng )
|
|
|
|
{
|
|
|
|
int restart_enabled = 0;
|
2018-12-17 19:10:51 +01:00
|
|
|
ECDH_VALIDATE_RET( ctx != NULL );
|
|
|
|
ECDH_VALIDATE_RET( olen != NULL );
|
|
|
|
ECDH_VALIDATE_RET( buf != NULL );
|
2018-08-13 16:54:22 +02:00
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECP_RESTARTABLE)
|
|
|
|
restart_enabled = ctx->restart_enabled;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
|
|
|
|
return( ecdh_calc_secret_internal( ctx, olen, buf, blen, f_rng, p_rng,
|
|
|
|
restart_enabled ) );
|
|
|
|
#else
|
|
|
|
switch( ctx->var )
|
|
|
|
{
|
|
|
|
case MBEDTLS_ECDH_VARIANT_MBEDTLS_2_0:
|
|
|
|
return( ecdh_calc_secret_internal( &ctx->ctx.mbed_ecdh, olen, buf,
|
|
|
|
blen, f_rng, p_rng,
|
|
|
|
restart_enabled ) );
|
|
|
|
default:
|
|
|
|
return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA );
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
#endif /* MBEDTLS_ECDH_C */
|