blob: f816e927ca780bf3ee7ea01a3fe72037f9f3d254 [file] [log] [blame]
Paul Bakker940f9ce2013-09-18 15:34:57 +02001/*
2 * Public key-based signature verification 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 Bakker940f9ce2013-09-18 15:34:57 +020018 */
19
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000021#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020022#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020024#endif
Paul Bakker940f9ce2013-09-18 15:34:57 +020025
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000026#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000027
Manuel Pégourié-Gonnard06d5d612015-05-28 16:23:18 +020028#if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_MD_C) || \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029 !defined(MBEDTLS_SHA256_C) || !defined(MBEDTLS_PK_PARSE_C) || \
30 !defined(MBEDTLS_FS_IO)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010031int main(void)
Paul Bakker940f9ce2013-09-18 15:34:57 +020032{
Manuel Pégourié-Gonnard06d5d612015-05-28 16:23:18 +020033 mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_MD_C and/or "
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010034 "MBEDTLS_SHA256_C and/or MBEDTLS_PK_PARSE_C and/or "
35 "MBEDTLS_FS_IO not defined.\n");
36 mbedtls_exit(0);
Paul Bakker940f9ce2013-09-18 15:34:57 +020037}
38#else
Manuel Pégourié-Gonnard06d5d612015-05-28 16:23:18 +020039
40#include "mbedtls/error.h"
41#include "mbedtls/md.h"
42#include "mbedtls/pk.h"
43
44#include <stdio.h>
45#include <string.h>
46
Simon Butcher63cb97e2018-12-06 17:43:31 +000047
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010048int main(int argc, char *argv[])
Paul Bakker940f9ce2013-09-18 15:34:57 +020049{
50 FILE *f;
Paul Bakker0c226102014-04-17 16:02:36 +020051 int ret = 1;
Andres Amaya Garcia9f3379d2018-04-29 22:30:05 +010052 int exit_code = MBEDTLS_EXIT_FAILURE;
Paul Bakker940f9ce2013-09-18 15:34:57 +020053 size_t i;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard102a6202015-08-27 21:51:44 +020055 unsigned char hash[32];
Gilles Peskine96a7cd12019-11-08 19:22:35 +010056 unsigned char buf[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Paul Bakker940f9ce2013-09-18 15:34:57 +020057 char filename[512];
58
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010059 mbedtls_pk_init(&pk);
Paul Bakker0c226102014-04-17 16:02:36 +020060
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010061 if (argc != 3) {
62 mbedtls_printf("usage: mbedtls_pk_verify <key_file> <filename>\n");
Paul Bakker940f9ce2013-09-18 15:34:57 +020063
64#if defined(_WIN32)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010065 mbedtls_printf("\n");
Paul Bakker940f9ce2013-09-18 15:34:57 +020066#endif
67
68 goto exit;
69 }
70
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010071 mbedtls_printf("\n . Reading public key from '%s'", argv[1]);
72 fflush(stdout);
Paul Bakker940f9ce2013-09-18 15:34:57 +020073
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010074 if ((ret = mbedtls_pk_parse_public_keyfile(&pk, argv[1])) != 0) {
75 mbedtls_printf(" failed\n ! mbedtls_pk_parse_public_keyfile returned -0x%04x\n",
76 (unsigned int) -ret);
Paul Bakker940f9ce2013-09-18 15:34:57 +020077 goto exit;
78 }
79
80 /*
Manuel Pégourié-Gonnard1d8f2da2015-08-27 21:42:27 +020081 * Extract the signature from the file
Paul Bakker940f9ce2013-09-18 15:34:57 +020082 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010083 mbedtls_snprintf(filename, sizeof(filename), "%s.sig", argv[2]);
Paul Bakker940f9ce2013-09-18 15:34:57 +020084
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010085 if ((f = fopen(filename, "rb")) == NULL) {
86 mbedtls_printf("\n ! Could not open %s\n\n", filename);
Paul Bakker940f9ce2013-09-18 15:34:57 +020087 goto exit;
88 }
89
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010090 i = fread(buf, 1, sizeof(buf), f);
Paul Bakker940f9ce2013-09-18 15:34:57 +020091
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010092 fclose(f);
Paul Bakker940f9ce2013-09-18 15:34:57 +020093
94 /*
Manuel Pégourié-Gonnardce7a08b2015-08-27 21:59:58 +020095 * Compute the SHA-256 hash of the input file and
96 * verify the signature
Paul Bakker940f9ce2013-09-18 15:34:57 +020097 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010098 mbedtls_printf("\n . Verifying the SHA-256 signature");
99 fflush(stdout);
Paul Bakker940f9ce2013-09-18 15:34:57 +0200100
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100101 if ((ret = mbedtls_md_file(
102 mbedtls_md_info_from_type(MBEDTLS_MD_SHA256),
103 argv[2], hash)) != 0) {
104 mbedtls_printf(" failed\n ! Could not open or read %s\n\n", argv[2]);
Paul Bakker940f9ce2013-09-18 15:34:57 +0200105 goto exit;
106 }
107
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100108 if ((ret = mbedtls_pk_verify(&pk, MBEDTLS_MD_SHA256, hash, 0,
109 buf, i)) != 0) {
110 mbedtls_printf(" failed\n ! mbedtls_pk_verify returned -0x%04x\n", (unsigned int) -ret);
Paul Bakker940f9ce2013-09-18 15:34:57 +0200111 goto exit;
112 }
113
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100114 mbedtls_printf("\n . OK (the signature is valid)\n\n");
Paul Bakker940f9ce2013-09-18 15:34:57 +0200115
Andres Amaya Garcia9f3379d2018-04-29 22:30:05 +0100116 exit_code = MBEDTLS_EXIT_SUCCESS;
Paul Bakker940f9ce2013-09-18 15:34:57 +0200117
118exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100119 mbedtls_pk_free(&pk);
Paul Bakker940f9ce2013-09-18 15:34:57 +0200120
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200121#if defined(MBEDTLS_ERROR_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100122 if (exit_code != MBEDTLS_EXIT_SUCCESS) {
123 mbedtls_strerror(ret, (char *) buf, sizeof(buf));
124 mbedtls_printf(" ! Last error was: %s\n", buf);
Manuel Pégourié-Gonnardcf9ab632015-08-27 22:03:33 +0200125 }
Manuel Pégourié-Gonnard92e5b592013-09-18 18:57:10 +0200126#endif
127
Paul Bakker940f9ce2013-09-18 15:34:57 +0200128#if defined(_WIN32)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100129 mbedtls_printf(" + Press Enter to exit this program.\n");
130 fflush(stdout); getchar();
Paul Bakker940f9ce2013-09-18 15:34:57 +0200131#endif
132
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100133 mbedtls_exit(exit_code);
Paul Bakker940f9ce2013-09-18 15:34:57 +0200134}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135#endif /* MBEDTLS_BIGNUM_C && MBEDTLS_SHA256_C &&
136 MBEDTLS_PK_PARSE_C && MBEDTLS_FS_IO */