blob: 4c34b99e7b5c417fb96728360013e784a94a675c [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * Simple MPI demonstration program
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
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.
Paul Bakker5121ce52009-01-03 21:22:43 +000018 */
19
Bence Szépkútic662b362021-05-27 11:25:03 +020020#include "mbedtls/build_info.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000021
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000022#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000023
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020024#if defined(MBEDTLS_BIGNUM_C) && defined(MBEDTLS_FS_IO)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000025#include "mbedtls/bignum.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000026
Rich Evans18b78c72015-02-11 14:06:19 +000027#include <stdio.h>
28#endif
29
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020030#if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_FS_IO)
Rich Evans85b05ec2015-02-12 11:37:29 +000031int main( void )
Paul Bakker5690efc2011-05-26 13:16:06 +000032{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033 mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_FS_IO not defined.\n");
Krzysztof Stachowiak5e1b1952019-04-24 14:24:46 +020034 mbedtls_exit( 0 );
Paul Bakker5690efc2011-05-26 13:16:06 +000035}
36#else
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +010037
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +010038
Rich Evans85b05ec2015-02-12 11:37:29 +000039int main( void )
Paul Bakker5121ce52009-01-03 21:22:43 +000040{
Andres Amaya Garciad905db62018-04-29 22:12:21 +010041 int ret = 1;
42 int exit_code = MBEDTLS_EXIT_FAILURE;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043 mbedtls_mpi E, P, Q, N, H, D, X, Y, Z;
Paul Bakker5121ce52009-01-03 21:22:43 +000044
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045 mbedtls_mpi_init( &E ); mbedtls_mpi_init( &P ); mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &N );
46 mbedtls_mpi_init( &H ); mbedtls_mpi_init( &D ); mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
47 mbedtls_mpi_init( &Z );
Paul Bakker5121ce52009-01-03 21:22:43 +000048
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &P, 10, "2789" ) );
50 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &Q, 10, "3203" ) );
51 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &E, 10, "257" ) );
52 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &N, &P, &Q ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054 mbedtls_printf( "\n Public key:\n\n" );
55 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " N = ", &N, 10, NULL ) );
56 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " E = ", &E, 10, NULL ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000057
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058 mbedtls_printf( "\n Private key:\n\n" );
59 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " P = ", &P, 10, NULL ) );
60 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " Q = ", &Q, 10, NULL ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000061
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062#if defined(MBEDTLS_GENPRIME)
63 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P, &P, 1 ) );
64 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q, &Q, 1 ) );
65 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &H, &P, &Q ) );
66 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &D, &E, &H ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000067
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 mbedtls_mpi_write_file( " D = E^-1 mod (P-1)*(Q-1) = ",
Paul Bakker5121ce52009-01-03 21:22:43 +000069 &D, 10, NULL );
Paul Bakker5690efc2011-05-26 13:16:06 +000070#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071 mbedtls_printf("\nTest skipped (MBEDTLS_GENPRIME not defined).\n\n");
Paul Bakker5690efc2011-05-26 13:16:06 +000072#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &X, 10, "55555" ) );
74 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &Y, &X, &E, &N, NULL ) );
75 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &Z, &Y, &D, &N, NULL ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000076
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077 mbedtls_printf( "\n RSA operation:\n\n" );
78 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " X (plaintext) = ", &X, 10, NULL ) );
79 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " Y (ciphertext) = X^E mod N = ", &Y, 10, NULL ) );
80 MBEDTLS_MPI_CHK( mbedtls_mpi_write_file( " Z (decrypted) = Y^D mod N = ", &Z, 10, NULL ) );
81 mbedtls_printf( "\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +000082
Andres Amaya Garciad905db62018-04-29 22:12:21 +010083 exit_code = MBEDTLS_EXIT_SUCCESS;
84
Manuel Pégourié-Gonnardf53df4f2015-02-14 15:48:23 +000085cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086 mbedtls_mpi_free( &E ); mbedtls_mpi_free( &P ); mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &N );
87 mbedtls_mpi_free( &H ); mbedtls_mpi_free( &D ); mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
88 mbedtls_mpi_free( &Z );
Paul Bakker5121ce52009-01-03 21:22:43 +000089
Andres Amaya Garciad905db62018-04-29 22:12:21 +010090 if( exit_code != MBEDTLS_EXIT_SUCCESS )
Manuel Pégourié-Gonnardf53df4f2015-02-14 15:48:23 +000091 {
Manuel Pégourié-Gonnardb85725c2015-04-15 11:58:10 +020092 mbedtls_printf( "\nAn error occurred.\n" );
Manuel Pégourié-Gonnardf53df4f2015-02-14 15:48:23 +000093 }
94
Krzysztof Stachowiak5e1b1952019-04-24 14:24:46 +020095 mbedtls_exit( exit_code );
Paul Bakker5121ce52009-01-03 21:22:43 +000096}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097#endif /* MBEDTLS_BIGNUM_C && MBEDTLS_FS_IO */