blob: 3d749785fccc1f545c0062ab1aa991e2d85d9c7f [file] [log] [blame]
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +02001/*
2 * Example ECDSA program
3 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2013, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +02005 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +00006 * This file is part of mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +02007 *
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +02008 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 */
22
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020023#if !defined(POLARSSL_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020025#else
26#include POLARSSL_CONFIG_FILE
27#endif
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020028
Rich Evansf90016a2015-01-19 14:26:37 +000029#if defined(POLARSSL_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000031#else
Rich Evans18b78c72015-02-11 14:06:19 +000032#include <stdio.h>
Rich Evansf90016a2015-01-19 14:26:37 +000033#define polarssl_printf printf
Rich Evansf90016a2015-01-19 14:26:37 +000034#endif
35
Manuel Pégourié-Gonnard013bffe2015-02-13 14:09:44 +000036#if defined(POLARSSL_ECDSA_C) && \
Rich Evans18b78c72015-02-11 14:06:19 +000037 defined(POLARSSL_ENTROPY_C) && defined(POLARSSL_CTR_DRBG_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000038#include "mbedtls/entropy.h"
39#include "mbedtls/ctr_drbg.h"
40#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020041
42#include <string.h>
Rich Evans18b78c72015-02-11 14:06:19 +000043#endif
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020044
45/*
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020046 * Uncomment to show key and signature details
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020047 */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020048#define VERBOSE
49
50/*
51 * Uncomment to force use of a specific curve
52 */
53#define ECPARAMS POLARSSL_ECP_DP_SECP192R1
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020054
55#if !defined(ECPARAMS)
Manuel Pégourié-Gonnardda179e42013-09-18 15:31:24 +020056#define ECPARAMS ecp_curve_list()->grp_id
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020057#endif
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020058
Manuel Pégourié-Gonnardee731792013-09-11 22:48:40 +020059#if !defined(POLARSSL_ECDSA_C) || \
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +020060 !defined(POLARSSL_ENTROPY_C) || !defined(POLARSSL_CTR_DRBG_C)
Rich Evans85b05ec2015-02-12 11:37:29 +000061int main( void )
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020062{
Rich Evansf90016a2015-01-19 14:26:37 +000063 polarssl_printf("POLARSSL_ECDSA_C and/or "
Manuel Pégourié-Gonnarda7496f02013-09-20 11:29:59 +020064 "POLARSSL_ENTROPY_C and/or POLARSSL_CTR_DRBG_C not defined\n");
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020065 return( 0 );
66}
67#else
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020068#if defined(VERBOSE)
Paul Bakker8fc30b12013-11-25 13:29:43 +010069static void dump_buf( const char *title, unsigned char *buf, size_t len )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020070{
71 size_t i;
72
Rich Evansf90016a2015-01-19 14:26:37 +000073 polarssl_printf( "%s", title );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020074 for( i = 0; i < len; i++ )
Rich Evansf90016a2015-01-19 14:26:37 +000075 polarssl_printf("%c%c", "0123456789ABCDEF" [buf[i] / 16],
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020076 "0123456789ABCDEF" [buf[i] % 16] );
Rich Evansf90016a2015-01-19 14:26:37 +000077 polarssl_printf( "\n" );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020078}
79
Paul Bakker8fc30b12013-11-25 13:29:43 +010080static void dump_pubkey( const char *title, ecdsa_context *key )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020081{
82 unsigned char buf[300];
83 size_t len;
84
85 if( ecp_point_write_binary( &key->grp, &key->Q,
86 POLARSSL_ECP_PF_UNCOMPRESSED, &len, buf, sizeof buf ) != 0 )
87 {
Rich Evansf90016a2015-01-19 14:26:37 +000088 polarssl_printf("internal error\n");
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020089 return;
90 }
91
92 dump_buf( title, buf, len );
93}
94#else
95#define dump_buf( a, b, c )
96#define dump_pubkey( a, b )
97#endif
98
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +020099int main( int argc, char *argv[] )
100{
101 int ret;
102 ecdsa_context ctx_sign, ctx_verify;
103 entropy_context entropy;
104 ctr_drbg_context ctr_drbg;
105 unsigned char hash[] = "This should be the hash of a message.";
106 unsigned char sig[512];
107 size_t sig_len;
108 const char *pers = "ecdsa";
109 ((void) argv);
110
111 ecdsa_init( &ctx_sign );
112 ecdsa_init( &ctx_verify );
113
114 memset(sig, 0, sizeof( sig ) );
115 ret = 1;
116
117 if( argc != 1 )
118 {
Rich Evansf90016a2015-01-19 14:26:37 +0000119 polarssl_printf( "usage: ecdsa\n" );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200120
121#if defined(_WIN32)
Rich Evansf90016a2015-01-19 14:26:37 +0000122 polarssl_printf( "\n" );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200123#endif
124
125 goto exit;
126 }
127
128 /*
129 * Generate a key pair for signing
130 */
Rich Evansf90016a2015-01-19 14:26:37 +0000131 polarssl_printf( "\n . Seeding the random number generator..." );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200132 fflush( stdout );
133
134 entropy_init( &entropy );
135 if( ( ret = ctr_drbg_init( &ctr_drbg, entropy_func, &entropy,
136 (const unsigned char *) pers,
137 strlen( pers ) ) ) != 0 )
138 {
Rich Evansf90016a2015-01-19 14:26:37 +0000139 polarssl_printf( " failed\n ! ctr_drbg_init returned %d\n", ret );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200140 goto exit;
141 }
142
Rich Evansf90016a2015-01-19 14:26:37 +0000143 polarssl_printf( " ok\n . Generating key pair..." );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200144 fflush( stdout );
145
146 if( ( ret = ecdsa_genkey( &ctx_sign, ECPARAMS,
147 ctr_drbg_random, &ctr_drbg ) ) != 0 )
148 {
Rich Evansf90016a2015-01-19 14:26:37 +0000149 polarssl_printf( " failed\n ! ecdsa_genkey returned %d\n", ret );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200150 goto exit;
151 }
152
Rich Evansf90016a2015-01-19 14:26:37 +0000153 polarssl_printf( " ok (key size: %d bits)\n", (int) ctx_sign.grp.pbits );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200154
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200155 dump_pubkey( " + Public key: ", &ctx_sign );
156
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200157 /*
158 * Sign some message hash
159 */
Rich Evansf90016a2015-01-19 14:26:37 +0000160 polarssl_printf( " . Signing message..." );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200161 fflush( stdout );
162
163 if( ( ret = ecdsa_write_signature( &ctx_sign,
164 hash, sizeof( hash ),
165 sig, &sig_len,
166 ctr_drbg_random, &ctr_drbg ) ) != 0 )
167 {
Rich Evansf90016a2015-01-19 14:26:37 +0000168 polarssl_printf( " failed\n ! ecdsa_genkey returned %d\n", ret );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200169 goto exit;
170 }
Rich Evansf90016a2015-01-19 14:26:37 +0000171 polarssl_printf( " ok (signature length = %u)\n", (unsigned int) sig_len );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200172
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200173 dump_buf( " + Hash: ", hash, sizeof hash );
174 dump_buf( " + Signature: ", sig, sig_len );
175
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200176 /*
177 * Signature is serialized as defined by RFC 4492 p. 20,
178 * but one can also access 'r' and 's' directly from the context
179 */
180#ifdef POLARSSL_FS_IO
181 mpi_write_file( " r = ", &ctx_sign.r, 16, NULL );
182 mpi_write_file( " s = ", &ctx_sign.s, 16, NULL );
183#endif
184
185 /*
186 * Transfer public information to verifying context
Manuel Pégourié-Gonnard4e3e7c22014-07-08 13:05:49 +0200187 *
188 * We could use the same context for verification and signatures, but we
189 * chose to use a new one in order to make it clear that the verifying
190 * context only needs the public key (Q), and not the private key (d).
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200191 */
Rich Evansf90016a2015-01-19 14:26:37 +0000192 polarssl_printf( " . Preparing verification context..." );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200193 fflush( stdout );
194
Manuel Pégourié-Gonnarde09631b2013-08-12 15:44:31 +0200195 if( ( ret = ecp_group_copy( &ctx_verify.grp, &ctx_sign.grp ) ) != 0 )
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200196 {
Rich Evansf90016a2015-01-19 14:26:37 +0000197 polarssl_printf( " failed\n ! ecp_group_copy returned %d\n", ret );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200198 goto exit;
199 }
200
201 if( ( ret = ecp_copy( &ctx_verify.Q, &ctx_sign.Q ) ) != 0 )
202 {
Rich Evansf90016a2015-01-19 14:26:37 +0000203 polarssl_printf( " failed\n ! ecp_copy returned %d\n", ret );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200204 goto exit;
205 }
206
207 ret = 0;
208
209 /*
210 * Verify signature
211 */
Rich Evansf90016a2015-01-19 14:26:37 +0000212 polarssl_printf( " ok\n . Verifying signature..." );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200213 fflush( stdout );
214
215 if( ( ret = ecdsa_read_signature( &ctx_verify,
216 hash, sizeof( hash ),
217 sig, sig_len ) ) != 0 )
218 {
Rich Evansf90016a2015-01-19 14:26:37 +0000219 polarssl_printf( " failed\n ! ecdsa_read_signature returned %d\n", ret );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200220 goto exit;
221 }
222
Rich Evansf90016a2015-01-19 14:26:37 +0000223 polarssl_printf( " ok\n" );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200224
225exit:
226
227#if defined(_WIN32)
Rich Evansf90016a2015-01-19 14:26:37 +0000228 polarssl_printf( " + Press Enter to exit this program.\n" );
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200229 fflush( stdout ); getchar();
230#endif
231
Manuel Pégourié-Gonnardbf3109f2013-08-14 21:36:01 +0200232 ecdsa_free( &ctx_verify );
233 ecdsa_free( &ctx_sign );
Paul Bakkera317a982014-06-18 16:44:11 +0200234 ctr_drbg_free( &ctr_drbg );
Paul Bakker1ffefac2013-09-28 15:23:03 +0200235 entropy_free( &entropy );
Manuel Pégourié-Gonnardbf3109f2013-08-14 21:36:01 +0200236
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200237 return( ret );
238}
Manuel Pégourié-Gonnardee731792013-09-11 22:48:40 +0200239#endif /* POLARSSL_ECDSA_C && POLARSSL_ENTROPY_C && POLARSSL_CTR_DRBG_C &&
Manuel Pégourié-Gonnardaa431612013-08-09 17:10:27 +0200240 ECPARAMS */