Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | |
| 3 | # Copyright The Mbed TLS Contributors |
| 4 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
| 5 | |
| 6 | """Module generating EC and RSA keys to be used in test_suite_pk instead of |
| 7 | generating the required key at run time. This helps speeding up testing.""" |
| 8 | |
Valerio Setti | 862d14e | 2024-04-15 17:58:43 +0200 | [diff] [blame] | 9 | from typing import Iterator |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 10 | import re |
Valerio Setti | 270dcd1 | 2024-04-08 13:44:41 +0200 | [diff] [blame] | 11 | import argparse |
Valerio Setti | 8f40460 | 2024-04-15 15:09:10 +0200 | [diff] [blame] | 12 | import scripts_path # pylint: disable=unused-import |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 13 | from mbedtls_dev.asymmetric_key_data import ASYMMETRIC_KEY_DATA |
Valerio Setti | 84dc329 | 2024-04-29 17:33:48 +0200 | [diff] [blame] | 14 | from mbedtls_dev.build_tree import guess_project_root |
Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 15 | |
Valerio Setti | 862d14e | 2024-04-15 17:58:43 +0200 | [diff] [blame] | 16 | BYTES_PER_LINE = 16 |
Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 17 | |
Valerio Setti | 862d14e | 2024-04-15 17:58:43 +0200 | [diff] [blame] | 18 | def c_byte_array_literal_content(array_name: str, key_data: bytes) -> Iterator[str]: |
| 19 | yield 'const unsigned char ' |
| 20 | yield array_name |
| 21 | yield '[] = {' |
| 22 | for index in range(0, len(key_data), BYTES_PER_LINE): |
| 23 | yield '\n ' |
| 24 | for b in key_data[index:index + BYTES_PER_LINE]: |
| 25 | yield ' {:#04x},'.format(b) |
| 26 | yield '\n};' |
| 27 | |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 28 | def convert_der_to_c(array_name: str, key_data: bytes) -> str: |
Valerio Setti | 862d14e | 2024-04-15 17:58:43 +0200 | [diff] [blame] | 29 | return ''.join(c_byte_array_literal_content(array_name, key_data)) |
Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 30 | |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 31 | def get_key_type(key: str) -> str: |
| 32 | if re.match('PSA_KEY_TYPE_RSA_.*', key): |
| 33 | return "rsa" |
| 34 | elif re.match('PSA_KEY_TYPE_ECC_.*', key): |
| 35 | return "ec" |
| 36 | else: |
| 37 | print("Unhandled key type {}".format(key)) |
| 38 | return "unknown" |
| 39 | |
| 40 | def get_ec_key_family(key: str) -> str: |
| 41 | match = re.search(r'.*\((.*)\)', key) |
| 42 | if match is None: |
| 43 | raise Exception("Unable to get EC family from {}".format(key)) |
| 44 | return match.group(1) |
| 45 | |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 46 | # Legacy EC group ID do not support all the key types that PSA does, so the |
| 47 | # following dictionaries are used for: |
| 48 | # - getting prefix/suffix for legacy curve names |
| 49 | # - understand if the curve is supported in legacy symbols (MBEDTLS_ECP_DP_...) |
| 50 | EC_NAME_CONVERSION = { |
| 51 | 'PSA_ECC_FAMILY_SECP_K1': { |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 52 | 192: ('secp', 'k1'), |
| 53 | 224: ('secp', 'k1'), |
| 54 | 256: ('secp', 'k1') |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 55 | }, |
| 56 | 'PSA_ECC_FAMILY_SECP_R1': { |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 57 | 192: ('secp', 'r1'), |
| 58 | 224: ('secp', 'r1'), |
| 59 | 256: ('secp', 'r1'), |
| 60 | 384: ('secp', 'r1'), |
| 61 | 521: ('secp', 'r1') |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 62 | }, |
| 63 | 'PSA_ECC_FAMILY_BRAINPOOL_P_R1': { |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 64 | 256: ('bp', 'r1'), |
| 65 | 384: ('bp', 'r1'), |
| 66 | 512: ('bp', 'r1') |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 67 | }, |
| 68 | 'PSA_ECC_FAMILY_MONTGOMERY': { |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 69 | 255: ('curve', '19'), |
| 70 | 448: ('curve', '') |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 71 | } |
| 72 | } |
| 73 | |
| 74 | def get_ec_curve_name(priv_key: str, bits: int) -> str: |
| 75 | ec_family = get_ec_key_family(priv_key) |
| 76 | try: |
| 77 | prefix = EC_NAME_CONVERSION[ec_family][bits][0] |
| 78 | suffix = EC_NAME_CONVERSION[ec_family][bits][1] |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 79 | except KeyError: |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 80 | return "" |
| 81 | return prefix + str(bits) + suffix |
| 82 | |
Valerio Setti | 3618821 | 2024-04-17 16:12:12 +0200 | [diff] [blame] | 83 | def get_look_up_table_entry(key_type: str, group_id_or_keybits: str, |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 84 | priv_array_name: str, pub_array_name: str) -> Iterator[str]: |
Valerio Setti | 3618821 | 2024-04-17 16:12:12 +0200 | [diff] [blame] | 85 | if key_type == "ec": |
| 86 | yield " {{ {}, 0,\n".format(group_id_or_keybits) |
| 87 | else: |
| 88 | yield " {{ 0, {},\n".format(group_id_or_keybits) |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 89 | yield " {0}, sizeof({0}),\n".format(priv_array_name) |
| 90 | yield " {0}, sizeof({0}) }},".format(pub_array_name) |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 91 | |
Valerio Setti | 862d14e | 2024-04-15 17:58:43 +0200 | [diff] [blame] | 92 | def main() -> None: |
Valerio Setti | 7f6eabd | 2024-05-03 15:08:50 +0200 | [diff] [blame] | 93 | #pylint: disable=too-many-locals |
Valerio Setti | 84dc329 | 2024-04-29 17:33:48 +0200 | [diff] [blame] | 94 | default_output_path = guess_project_root() + "/tests/src/test_keys.h" |
Valerio Setti | 52516a6 | 2024-04-11 11:41:24 +0200 | [diff] [blame] | 95 | |
Valerio Setti | 270dcd1 | 2024-04-08 13:44:41 +0200 | [diff] [blame] | 96 | argparser = argparse.ArgumentParser() |
Valerio Setti | 52516a6 | 2024-04-11 11:41:24 +0200 | [diff] [blame] | 97 | argparser.add_argument("--output", help="Output file", default=default_output_path) |
Valerio Setti | 270dcd1 | 2024-04-08 13:44:41 +0200 | [diff] [blame] | 98 | args = argparser.parse_args() |
Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 99 | |
Valerio Setti | 270dcd1 | 2024-04-08 13:44:41 +0200 | [diff] [blame] | 100 | output_file = args.output |
Valerio Setti | 7f6eabd | 2024-05-03 15:08:50 +0200 | [diff] [blame] | 101 | output_file = open(output_file, 'wt') |
Valerio Setti | 3e22bf2 | 2024-04-03 13:42:20 +0200 | [diff] [blame] | 102 | output_file.write( |
| 103 | "/*********************************************************************************\n" + |
| 104 | " * This file was automatically generated from tests/scripts/generate_test_keys.py.\n" + |
| 105 | " * Please do not edit it manually.\n" + |
Valerio Setti | 6bda5f5 | 2024-04-09 12:28:39 +0200 | [diff] [blame] | 106 | " *********************************************************************************/\n" |
Valerio Setti | 3e22bf2 | 2024-04-03 13:42:20 +0200 | [diff] [blame] | 107 | ) |
Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 108 | |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 109 | look_up_table = [] |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 110 | |
| 111 | # Get a list of private keys only in order to get a single item for every |
| 112 | # (key type, key bits) pair. We know that ASYMMETRIC_KEY_DATA |
| 113 | # contains also the public counterpart. |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 114 | priv_keys = [key for key in ASYMMETRIC_KEY_DATA if '_KEY_PAIR' in key] |
Valerio Setti | dc64163 | 2024-05-03 18:22:01 +0200 | [diff] [blame^] | 115 | priv_keys = sorted(priv_keys) |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 116 | |
| 117 | for priv_key in priv_keys: |
| 118 | key_type = get_key_type(priv_key) |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 119 | # Ignore keys which are not EC or RSA |
| 120 | if key_type == "unknown": |
| 121 | continue |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 122 | |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 123 | pub_key = re.sub('_KEY_PAIR', '_PUBLIC_KEY', priv_key) |
| 124 | |
| 125 | for bits in ASYMMETRIC_KEY_DATA[priv_key]: |
| 126 | if key_type == "ec": |
| 127 | curve = get_ec_curve_name(priv_key, bits) |
| 128 | # Ignore EC curves unsupported in legacy symbols |
| 129 | if curve == "": |
| 130 | continue |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 131 | # Create output array name |
| 132 | if key_type == "rsa": |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 133 | array_name_base = "_".join(["test", key_type, str(bits)]) |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 134 | else: |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 135 | array_name_base = "_".join(["test", key_type, curve]) |
| 136 | array_name_priv = array_name_base + "_priv" |
| 137 | array_name_pub = array_name_base + "_pub" |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 138 | # Convert bytearray to C array |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 139 | c_array_priv = convert_der_to_c(array_name_priv, ASYMMETRIC_KEY_DATA[priv_key][bits]) |
| 140 | c_array_pub = convert_der_to_c(array_name_pub, ASYMMETRIC_KEY_DATA[pub_key][bits]) |
Valerio Setti | 7031a4e | 2024-04-16 10:31:15 +0200 | [diff] [blame] | 141 | # Write the C array to the output file |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 142 | output_file.write(''.join(["\n", c_array_priv, "\n", c_array_pub, "\n"])) |
| 143 | # Update the lookup table |
| 144 | if key_type == "ec": |
Valerio Setti | 3618821 | 2024-04-17 16:12:12 +0200 | [diff] [blame] | 145 | group_id_or_keybits = "MBEDTLS_ECP_DP_" + curve.upper() |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 146 | else: |
Valerio Setti | 3618821 | 2024-04-17 16:12:12 +0200 | [diff] [blame] | 147 | group_id_or_keybits = str(bits) |
| 148 | look_up_table.append(''.join(get_look_up_table_entry(key_type, group_id_or_keybits, |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 149 | array_name_priv, array_name_pub))) |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 150 | # Write the lookup table: the struct containing pointers to all the arrays we created above. |
| 151 | output_file.write(""" |
| 152 | struct predefined_key_element { |
Valerio Setti | 3618821 | 2024-04-17 16:12:12 +0200 | [diff] [blame] | 153 | int group_id; // EC group ID; 0 for RSA keys |
| 154 | int keybits; // bits size of RSA key; 0 for EC keys |
Valerio Setti | 9aa4fa9 | 2024-04-16 10:54:23 +0200 | [diff] [blame] | 155 | const unsigned char *priv_key; |
| 156 | size_t priv_key_len; |
| 157 | const unsigned char *pub_key; |
| 158 | size_t pub_key_len; |
| 159 | }; |
| 160 | |
Valerio Setti | ee74339 | 2024-04-17 15:12:49 +0200 | [diff] [blame] | 161 | struct predefined_key_element predefined_keys[] = { |
| 162 | """) |
| 163 | output_file.write("\n".join(look_up_table)) |
| 164 | output_file.write("\n};\n") |
Valerio Setti | 0ddab0e | 2024-04-30 06:49:46 +0200 | [diff] [blame] | 165 | output_file.flush() |
Valerio Setti | 7126ba5 | 2024-03-29 16:59:40 +0100 | [diff] [blame] | 166 | |
| 167 | if __name__ == '__main__': |
Valerio Setti | 862d14e | 2024-04-15 17:58:43 +0200 | [diff] [blame] | 168 | main() |