2009-01-03 22:22:43 +01:00
|
|
|
/*
|
|
|
|
* Diffie-Hellman-Merkle key exchange (prime generation)
|
|
|
|
*
|
2020-08-07 13:07:28 +02:00
|
|
|
* Copyright The Mbed TLS Contributors
|
2015-09-04 14:21:07 +02:00
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
2010-07-18 22:36:00 +02: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
|
2010-07-18 22:36:00 +02:00
|
|
|
*
|
2015-09-04 14:21:07 +02:00
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
2009-01-03 22:22:43 +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.
|
2009-01-03 22:22:43 +01:00
|
|
|
*/
|
|
|
|
|
2021-05-27 11:25:03 +02:00
|
|
|
#include "mbedtls/build_info.h"
|
2009-01-03 22:22:43 +01:00
|
|
|
|
2015-03-09 18:05:11 +01:00
|
|
|
#include "mbedtls/platform.h"
|
2015-01-19 15:26:37 +01:00
|
|
|
|
2015-07-03 16:57:52 +02:00
|
|
|
#if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_ENTROPY_C) || \
|
|
|
|
!defined(MBEDTLS_FS_IO) || !defined(MBEDTLS_CTR_DRBG_C) || \
|
|
|
|
!defined(MBEDTLS_GENPRIME)
|
|
|
|
int main( void )
|
|
|
|
{
|
|
|
|
mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_ENTROPY_C and/or "
|
|
|
|
"MBEDTLS_FS_IO and/or MBEDTLS_CTR_DRBG_C and/or "
|
|
|
|
"MBEDTLS_GENPRIME not defined.\n");
|
2019-04-24 14:24:46 +02:00
|
|
|
mbedtls_exit( 0 );
|
2015-07-03 16:57:52 +02:00
|
|
|
}
|
|
|
|
#else
|
|
|
|
|
2015-03-09 18:05:11 +01:00
|
|
|
#include "mbedtls/bignum.h"
|
|
|
|
#include "mbedtls/entropy.h"
|
|
|
|
#include "mbedtls/ctr_drbg.h"
|
2009-01-03 22:22:43 +01:00
|
|
|
|
2015-02-11 15:06:19 +01:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <string.h>
|
2015-07-03 16:57:52 +02:00
|
|
|
|
|
|
|
#define USAGE \
|
|
|
|
"\n usage: dh_genprime param=<>...\n" \
|
|
|
|
"\n acceprable parameters:\n" \
|
|
|
|
" bits=%%d default: 2048\n"
|
|
|
|
|
|
|
|
#define DFL_BITS 2048
|
2015-02-11 15:06:19 +01:00
|
|
|
|
2009-01-03 22:22:43 +01:00
|
|
|
/*
|
|
|
|
* Note: G = 4 is always a quadratic residue mod P,
|
|
|
|
* so it is a generator of order Q (with P = 2*Q+1).
|
|
|
|
*/
|
|
|
|
#define GENERATOR "4"
|
|
|
|
|
2018-12-06 18:43:31 +01:00
|
|
|
|
2015-07-03 16:57:52 +02:00
|
|
|
int main( int argc, char **argv )
|
2009-01-03 22:22:43 +01:00
|
|
|
{
|
|
|
|
int ret = 1;
|
2018-04-29 20:34:09 +02:00
|
|
|
int exit_code = MBEDTLS_EXIT_FAILURE;
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_mpi G, P, Q;
|
|
|
|
mbedtls_entropy_context entropy;
|
|
|
|
mbedtls_ctr_drbg_context ctr_drbg;
|
2013-06-24 13:01:08 +02:00
|
|
|
const char *pers = "dh_genprime";
|
2009-01-03 22:22:43 +01:00
|
|
|
FILE *fout;
|
2015-07-03 16:57:52 +02:00
|
|
|
int nbits = DFL_BITS;
|
|
|
|
int i;
|
|
|
|
char *p, *q;
|
2009-01-03 22:22:43 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_mpi_init( &G ); mbedtls_mpi_init( &P ); mbedtls_mpi_init( &Q );
|
2015-04-28 22:52:30 +02:00
|
|
|
mbedtls_ctr_drbg_init( &ctr_drbg );
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_entropy_init( &entropy );
|
2014-04-17 16:00:59 +02:00
|
|
|
|
2015-07-03 16:57:52 +02:00
|
|
|
if( argc == 0 )
|
|
|
|
{
|
|
|
|
usage:
|
|
|
|
mbedtls_printf( USAGE );
|
2020-08-22 22:56:46 +02:00
|
|
|
goto exit;
|
2015-07-03 16:57:52 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
for( i = 1; i < argc; i++ )
|
|
|
|
{
|
|
|
|
p = argv[i];
|
|
|
|
if( ( q = strchr( p, '=' ) ) == NULL )
|
|
|
|
goto usage;
|
|
|
|
*q++ = '\0';
|
|
|
|
|
|
|
|
if( strcmp( p, "bits" ) == 0 )
|
|
|
|
{
|
|
|
|
nbits = atoi( q );
|
|
|
|
if( nbits < 0 || nbits > MBEDTLS_MPI_MAX_BITS )
|
|
|
|
goto usage;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
goto usage;
|
|
|
|
}
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
if( ( ret = mbedtls_mpi_read_string( &G, 10, GENERATOR ) ) != 0 )
|
2014-04-17 16:00:59 +02:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_mpi_read_string returned %d\n", ret );
|
2014-04-17 16:00:59 +02:00
|
|
|
goto exit;
|
|
|
|
}
|
2009-01-03 22:22:43 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " ! Generating large primes may take minutes!\n" );
|
2013-11-22 21:16:10 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( "\n . Seeding the random number generator..." );
|
2009-01-03 22:22:43 +01:00
|
|
|
fflush( stdout );
|
|
|
|
|
2015-04-28 22:52:30 +02:00
|
|
|
if( ( ret = mbedtls_ctr_drbg_seed( &ctr_drbg, mbedtls_entropy_func, &entropy,
|
2013-06-24 13:01:08 +02:00
|
|
|
(const unsigned char *) pers,
|
|
|
|
strlen( pers ) ) ) != 0 )
|
2011-12-04 18:09:26 +01:00
|
|
|
{
|
2015-04-28 22:52:30 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_ctr_drbg_seed returned %d\n", ret );
|
2011-12-04 18:09:26 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
2009-01-03 22:22:43 +01:00
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " ok\n . Generating the modulus, please wait..." );
|
2009-01-03 22:22:43 +01:00
|
|
|
fflush( stdout );
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This can take a long time...
|
|
|
|
*/
|
2015-07-03 16:57:52 +02:00
|
|
|
if( ( ret = mbedtls_mpi_gen_prime( &P, nbits, 1,
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_ctr_drbg_random, &ctr_drbg ) ) != 0 )
|
2009-01-03 22:22:43 +01:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_mpi_gen_prime returned %d\n\n", ret );
|
2009-01-03 22:22:43 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " ok\n . Verifying that Q = (P-1)/2 is prime..." );
|
2009-01-03 22:22:43 +01:00
|
|
|
fflush( stdout );
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
if( ( ret = mbedtls_mpi_sub_int( &Q, &P, 1 ) ) != 0 )
|
2009-01-03 22:22:43 +01:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_mpi_sub_int returned %d\n\n", ret );
|
2009-01-03 22:22:43 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
if( ( ret = mbedtls_mpi_div_int( &Q, NULL, &Q, 2 ) ) != 0 )
|
2009-01-03 22:22:43 +01:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_mpi_div_int returned %d\n\n", ret );
|
2009-01-03 22:22:43 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
|
2018-09-18 15:48:23 +02:00
|
|
|
if( ( ret = mbedtls_mpi_is_prime_ext( &Q, 50, mbedtls_ctr_drbg_random, &ctr_drbg ) ) != 0 )
|
2009-01-03 22:22:43 +01:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_mpi_is_prime returned %d\n\n", ret );
|
2009-01-03 22:22:43 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " ok\n . Exporting the value in dh_prime.txt..." );
|
2009-01-03 22:22:43 +01:00
|
|
|
fflush( stdout );
|
|
|
|
|
|
|
|
if( ( fout = fopen( "dh_prime.txt", "wb+" ) ) == NULL )
|
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! Could not create dh_prime.txt\n\n" );
|
2009-01-03 22:22:43 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
|
dh_genprime: Fix issue where the error code returned by mbedtls_mpi_write_file() is incorrectly reported on failure
In 'dh_genprime.c', the following condition can be found inside an 'if' statement:
ret = mbedtls_mpi_write_file( "P = ", &P, 16, fout ) != 0
As the '!=' operator binds closer than the assignment operator ('='), the value assigned to 'ret' will be the boolean result of the comparison (0 or 1) instead of the status code returned by 'mbedtls_mpi_write_file'. This means that the above statement is actually equivalent to:
ret = ( mbedtls_mpi_write_file( "P = ", &P, 16, fout ) != 0 )
What we want instead is for the the status code to be assigned to 'ret'. If the value assigned is non-zero, it will be 'truthy' and the 'if' branch will be taken.
( ret = mbedtls_mpi_write_file( "P = ", &P, 16, fout ) ) != 0
This PR fixes the issue by explicitly specifying the precedence of operations with parentheses.
Signed-off-by: ihsinme <ihsinme@gmail.com>
2022-11-08 12:30:45 +01:00
|
|
|
if( ( ( ret = mbedtls_mpi_write_file( "P = ", &P, 16, fout ) ) != 0 ) ||
|
|
|
|
( ( ret = mbedtls_mpi_write_file( "G = ", &G, 16, fout ) ) != 0 ) )
|
2009-01-03 22:22:43 +01:00
|
|
|
{
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " failed\n ! mbedtls_mpi_write_file returned %d\n\n", ret );
|
2016-05-31 15:03:54 +02:00
|
|
|
fclose( fout );
|
2009-01-03 22:22:43 +01:00
|
|
|
goto exit;
|
|
|
|
}
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_printf( " ok\n\n" );
|
2009-01-03 22:22:43 +01:00
|
|
|
fclose( fout );
|
|
|
|
|
2018-04-29 20:34:09 +02:00
|
|
|
exit_code = MBEDTLS_EXIT_SUCCESS;
|
|
|
|
|
2009-01-03 22:22:43 +01:00
|
|
|
exit:
|
|
|
|
|
2015-04-08 12:49:31 +02:00
|
|
|
mbedtls_mpi_free( &G ); mbedtls_mpi_free( &P ); mbedtls_mpi_free( &Q );
|
|
|
|
mbedtls_ctr_drbg_free( &ctr_drbg );
|
|
|
|
mbedtls_entropy_free( &entropy );
|
2009-01-03 22:22:43 +01:00
|
|
|
|
2019-04-24 14:24:46 +02:00
|
|
|
mbedtls_exit( exit_code );
|
2009-01-03 22:22:43 +01:00
|
|
|
}
|
2015-04-08 12:49:31 +02:00
|
|
|
#endif /* MBEDTLS_BIGNUM_C && MBEDTLS_ENTROPY_C && MBEDTLS_FS_IO &&
|
|
|
|
MBEDTLS_CTR_DRBG_C && MBEDTLS_GENPRIME */
|