| Jerry Yu | 4923131 | 2023-01-10 16:57:21 +0800 | [diff] [blame] | 1 | /* | 
| Dave Rodgman | f918d42 | 2023-03-17 17:52:23 +0000 | [diff] [blame] | 2 | *  Armv8-A Cryptographic Extension support functions for Aarch64 | 
| Jerry Yu | 4923131 | 2023-01-10 16:57:21 +0800 | [diff] [blame] | 3 | * | 
|  | 4 | *  Copyright The Mbed TLS Contributors | 
|  | 5 | *  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. | 
|  | 18 | */ | 
|  | 19 |  | 
| Jerry Yu | 48b999c | 2023-03-03 15:51:07 +0800 | [diff] [blame] | 20 | #if defined(__aarch64__) && !defined(__ARM_FEATURE_CRYPTO) && \ | 
| Jerry Yu | 6f86c19 | 2023-03-13 11:03:40 +0800 | [diff] [blame] | 21 | defined(__clang__) && __clang_major__ >= 4 | 
| Jerry Yu | 48b999c | 2023-03-03 15:51:07 +0800 | [diff] [blame] | 22 | /* TODO: Re-consider above after https://reviews.llvm.org/D131064 merged. | 
|  | 23 | * | 
|  | 24 | * The intrinsic declaration are guarded by predefined ACLE macros in clang: | 
|  | 25 | * these are normally only enabled by the -march option on the command line. | 
|  | 26 | * By defining the macros ourselves we gain access to those declarations without | 
|  | 27 | * requiring -march on the command line. | 
|  | 28 | * | 
|  | 29 | * `arm_neon.h` could be included by any header file, so we put these defines | 
|  | 30 | * at the top of this file, before any includes. | 
|  | 31 | */ | 
|  | 32 | #define __ARM_FEATURE_CRYPTO 1 | 
| Jerry Yu | ae129c3 | 2023-03-03 15:55:56 +0800 | [diff] [blame] | 33 | /* See: https://arm-software.github.io/acle/main/acle.html#cryptographic-extensions | 
|  | 34 | * | 
| Jerry Yu | 490bf08 | 2023-03-06 15:21:44 +0800 | [diff] [blame] | 35 | * `__ARM_FEATURE_CRYPTO` is deprecated, but we need to continue to specify it | 
|  | 36 | * for older compilers. | 
| Jerry Yu | ae129c3 | 2023-03-03 15:55:56 +0800 | [diff] [blame] | 37 | */ | 
|  | 38 | #define __ARM_FEATURE_AES    1 | 
| Dave Rodgman | db6ab24 | 2023-03-14 16:03:57 +0000 | [diff] [blame] | 39 | #define MBEDTLS_ENABLE_ARM_CRYPTO_EXTENSIONS_COMPILER_FLAG | 
| Jerry Yu | 490bf08 | 2023-03-06 15:21:44 +0800 | [diff] [blame] | 40 | #endif | 
| Jerry Yu | 48b999c | 2023-03-03 15:51:07 +0800 | [diff] [blame] | 41 |  | 
| Jerry Yu | 4923131 | 2023-01-10 16:57:21 +0800 | [diff] [blame] | 42 | #include <string.h> | 
|  | 43 | #include "common.h" | 
|  | 44 |  | 
|  | 45 | #if defined(MBEDTLS_AESCE_C) | 
|  | 46 |  | 
|  | 47 | #include "aesce.h" | 
|  | 48 |  | 
|  | 49 | #if defined(MBEDTLS_HAVE_ARM64) | 
|  | 50 |  | 
| Jerry Yu | 61c4cfa | 2023-04-26 11:06:51 +0800 | [diff] [blame] | 51 | /* Compiler version checks. */ | 
| Jerry Yu | db368de | 2023-04-26 16:55:37 +0800 | [diff] [blame] | 52 | #if defined(__clang__) | 
|  | 53 | #   if __clang_major__ < 4 | 
|  | 54 | #       error "Minimum version of Clang for MBEDTLS_AESCE_C is 4.0." | 
|  | 55 | #   endif | 
|  | 56 | #elif defined(__GNUC__) | 
|  | 57 | #   if __GNUC__ < 6 | 
|  | 58 | #       error "Minimum version of GCC for MBEDTLS_AESCE_C is 6.0." | 
|  | 59 | #   endif | 
|  | 60 | #elif defined(_MSC_VER) | 
| Jerry Yu | 61c4cfa | 2023-04-26 11:06:51 +0800 | [diff] [blame] | 61 | /* TODO: We haven't verified MSVC from 1920 to 1928. If someone verified that, | 
|  | 62 | *       please update this and document of `MBEDTLS_AESCE_C` in | 
|  | 63 | *       `mbedtls_config.h`. */ | 
| Jerry Yu | db368de | 2023-04-26 16:55:37 +0800 | [diff] [blame] | 64 | #   if _MSC_VER < 1929 | 
|  | 65 | #       error "Minimum version of MSVC for MBEDTLS_AESCE_C is 2019 version 16.11.2." | 
|  | 66 | #   endif | 
| Jerry Yu | 61c4cfa | 2023-04-26 11:06:51 +0800 | [diff] [blame] | 67 | #endif | 
|  | 68 |  | 
| Jerry Yu | 6b00f5a | 2023-05-04 16:30:21 +0800 | [diff] [blame] | 69 | #ifdef __ARM_NEON | 
| Jerry Yu | 08933d3 | 2023-04-27 18:28:00 +0800 | [diff] [blame] | 70 | #include <arm_neon.h> | 
| Jerry Yu | 6b00f5a | 2023-05-04 16:30:21 +0800 | [diff] [blame] | 71 | #else | 
|  | 72 | #error "Target does not support NEON instructions" | 
|  | 73 | #endif | 
| Jerry Yu | 08933d3 | 2023-04-27 18:28:00 +0800 | [diff] [blame] | 74 |  | 
| Jerry Yu | 580e06f | 2023-04-28 17:42:40 +0800 | [diff] [blame] | 75 | #if !(defined(__ARM_FEATURE_CRYPTO) || defined(__ARM_FEATURE_AES)) || \ | 
|  | 76 | defined(MBEDTLS_ENABLE_ARM_CRYPTO_EXTENSIONS_COMPILER_FLAG) | 
| Jerry Yu | b1d06bb | 2023-05-05 14:05:07 +0800 | [diff] [blame] | 77 | #   if defined(__ARMCOMPILER_VERSION) | 
|  | 78 | #       if __ARMCOMPILER_VERSION <= 6090000 | 
|  | 79 | #           error "Must use minimum -march=armv8-a+crypto for MBEDTLS_AESCE_C" | 
|  | 80 | #       else | 
| Jerry Yu | 893be8d | 2023-07-13 17:32:11 +0800 | [diff] [blame] | 81 | #           pragma clang attribute push (__attribute__((target("aes"))), apply_to=function) | 
| Jerry Yu | b1d06bb | 2023-05-05 14:05:07 +0800 | [diff] [blame] | 82 | #           define MBEDTLS_POP_TARGET_PRAGMA | 
|  | 83 | #       endif | 
|  | 84 | #   elif defined(__clang__) | 
| Jerry Yu | 893be8d | 2023-07-13 17:32:11 +0800 | [diff] [blame] | 85 | #       pragma clang attribute push (__attribute__((target("aes"))), apply_to=function) | 
| Jerry Yu | ec9be84 | 2023-03-14 10:42:47 +0800 | [diff] [blame] | 86 | #       define MBEDTLS_POP_TARGET_PRAGMA | 
|  | 87 | #   elif defined(__GNUC__) | 
| Jerry Yu | ec9be84 | 2023-03-14 10:42:47 +0800 | [diff] [blame] | 88 | #       pragma GCC push_options | 
| Beniamin Sandu | 471a975 | 2023-06-25 20:16:16 +0300 | [diff] [blame] | 89 | #       pragma GCC target ("+crypto") | 
| Jerry Yu | ec9be84 | 2023-03-14 10:42:47 +0800 | [diff] [blame] | 90 | #       define MBEDTLS_POP_TARGET_PRAGMA | 
| Jerry Yu | 07d28d8 | 2023-03-20 18:12:36 +0800 | [diff] [blame] | 91 | #   elif defined(_MSC_VER) | 
| Jerry Yu | 61c4cfa | 2023-04-26 11:06:51 +0800 | [diff] [blame] | 92 | #       error "Required feature(__ARM_FEATURE_AES) is not enabled." | 
| Jerry Yu | 4923131 | 2023-01-10 16:57:21 +0800 | [diff] [blame] | 93 | #   endif | 
| Jerry Yu | 580e06f | 2023-04-28 17:42:40 +0800 | [diff] [blame] | 94 | #endif /* !(__ARM_FEATURE_CRYPTO || __ARM_FEATURE_AES) || | 
|  | 95 | MBEDTLS_ENABLE_ARM_CRYPTO_EXTENSIONS_COMPILER_FLAG */ | 
| Jerry Yu | 4923131 | 2023-01-10 16:57:21 +0800 | [diff] [blame] | 96 |  | 
| Jerry Yu | b95c776 | 2023-01-10 16:59:51 +0800 | [diff] [blame] | 97 | #if defined(__linux__) | 
|  | 98 | #include <asm/hwcap.h> | 
|  | 99 | #include <sys/auxv.h> | 
|  | 100 | #endif | 
|  | 101 |  | 
|  | 102 | /* | 
|  | 103 | * AES instruction support detection routine | 
|  | 104 | */ | 
|  | 105 | int mbedtls_aesce_has_support(void) | 
|  | 106 | { | 
|  | 107 | #if defined(__linux__) | 
|  | 108 | unsigned long auxval = getauxval(AT_HWCAP); | 
|  | 109 | return (auxval & (HWCAP_ASIMD | HWCAP_AES)) == | 
|  | 110 | (HWCAP_ASIMD | HWCAP_AES); | 
|  | 111 | #else | 
| Jerry Yu | ba1e78f | 2023-02-24 11:18:16 +0800 | [diff] [blame] | 112 | /* Assume AES instructions are supported. */ | 
| Jerry Yu | b95c776 | 2023-01-10 16:59:51 +0800 | [diff] [blame] | 113 | return 1; | 
|  | 114 | #endif | 
|  | 115 | } | 
|  | 116 |  | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 117 | /* Single round of AESCE encryption */ | 
|  | 118 | #define AESCE_ENCRYPT_ROUND                   \ | 
|  | 119 | block = vaeseq_u8(block, vld1q_u8(keys)); \ | 
|  | 120 | block = vaesmcq_u8(block);                \ | 
|  | 121 | keys += 16 | 
|  | 122 | /* Two rounds of AESCE encryption */ | 
|  | 123 | #define AESCE_ENCRYPT_ROUND_X2        AESCE_ENCRYPT_ROUND; AESCE_ENCRYPT_ROUND | 
|  | 124 |  | 
| Dave Rodgman | 9bb7e6f | 2023-06-16 09:41:21 +0100 | [diff] [blame] | 125 | MBEDTLS_OPTIMIZE_FOR_PERFORMANCE | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 126 | static uint8x16_t aesce_encrypt_block(uint8x16_t block, | 
|  | 127 | unsigned char *keys, | 
|  | 128 | int rounds) | 
|  | 129 | { | 
| Dave Rodgman | 73b0c0b | 2023-06-16 14:48:14 +0100 | [diff] [blame] | 130 | /* 10, 12 or 14 rounds. Unroll loop. */ | 
| Dave Rodgman | 96fdfb8 | 2023-06-15 16:21:31 +0100 | [diff] [blame] | 131 | if (rounds == 10) { | 
|  | 132 | goto rounds_10; | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 133 | } | 
| Dave Rodgman | 96fdfb8 | 2023-06-15 16:21:31 +0100 | [diff] [blame] | 134 | if (rounds == 12) { | 
|  | 135 | goto rounds_12; | 
|  | 136 | } | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 137 | AESCE_ENCRYPT_ROUND_X2; | 
| Dave Rodgman | 96fdfb8 | 2023-06-15 16:21:31 +0100 | [diff] [blame] | 138 | rounds_12: | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 139 | AESCE_ENCRYPT_ROUND_X2; | 
| Dave Rodgman | 96fdfb8 | 2023-06-15 16:21:31 +0100 | [diff] [blame] | 140 | rounds_10: | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 141 | AESCE_ENCRYPT_ROUND_X2; | 
|  | 142 | AESCE_ENCRYPT_ROUND_X2; | 
|  | 143 | AESCE_ENCRYPT_ROUND_X2; | 
|  | 144 | AESCE_ENCRYPT_ROUND_X2; | 
|  | 145 | AESCE_ENCRYPT_ROUND; | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 146 |  | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 147 | /* AES AddRoundKey for the previous round. | 
|  | 148 | * SubBytes, ShiftRows for the final round.  */ | 
| Dave Rodgman | 96fdfb8 | 2023-06-15 16:21:31 +0100 | [diff] [blame] | 149 | block = vaeseq_u8(block, vld1q_u8(keys)); | 
|  | 150 | keys += 16; | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 151 |  | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 152 | /* Final round: no MixColumns */ | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 153 |  | 
|  | 154 | /* Final AddRoundKey */ | 
| Dave Rodgman | 96fdfb8 | 2023-06-15 16:21:31 +0100 | [diff] [blame] | 155 | block = veorq_u8(block, vld1q_u8(keys)); | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 156 |  | 
|  | 157 | return block; | 
|  | 158 | } | 
|  | 159 |  | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 160 | /* Single round of AESCE decryption | 
|  | 161 | * | 
|  | 162 | * AES AddRoundKey, SubBytes, ShiftRows | 
|  | 163 | * | 
|  | 164 | *      block = vaesdq_u8(block, vld1q_u8(keys)); | 
|  | 165 | * | 
|  | 166 | * AES inverse MixColumns for the next round. | 
|  | 167 | * | 
|  | 168 | * This means that we switch the order of the inverse AddRoundKey and | 
|  | 169 | * inverse MixColumns operations. We have to do this as AddRoundKey is | 
|  | 170 | * done in an atomic instruction together with the inverses of SubBytes | 
|  | 171 | * and ShiftRows. | 
|  | 172 | * | 
|  | 173 | * It works because MixColumns is a linear operation over GF(2^8) and | 
|  | 174 | * AddRoundKey is an exclusive or, which is equivalent to addition over | 
|  | 175 | * GF(2^8). (The inverse of MixColumns needs to be applied to the | 
|  | 176 | * affected round keys separately which has been done when the | 
|  | 177 | * decryption round keys were calculated.) | 
|  | 178 | * | 
|  | 179 | *      block = vaesimcq_u8(block); | 
|  | 180 | */ | 
|  | 181 | #define AESCE_DECRYPT_ROUND                   \ | 
|  | 182 | block = vaesdq_u8(block, vld1q_u8(keys)); \ | 
|  | 183 | block = vaesimcq_u8(block);               \ | 
|  | 184 | keys += 16 | 
|  | 185 | /* Two rounds of AESCE decryption */ | 
|  | 186 | #define AESCE_DECRYPT_ROUND_X2        AESCE_DECRYPT_ROUND; AESCE_DECRYPT_ROUND | 
|  | 187 |  | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 188 | static uint8x16_t aesce_decrypt_block(uint8x16_t block, | 
|  | 189 | unsigned char *keys, | 
|  | 190 | int rounds) | 
|  | 191 | { | 
| Dave Rodgman | 73b0c0b | 2023-06-16 14:48:14 +0100 | [diff] [blame] | 192 | /* 10, 12 or 14 rounds. Unroll loop. */ | 
| Dave Rodgman | 1c4451d | 2023-06-15 16:28:00 +0100 | [diff] [blame] | 193 | if (rounds == 10) { | 
|  | 194 | goto rounds_10; | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 195 | } | 
| Dave Rodgman | 1c4451d | 2023-06-15 16:28:00 +0100 | [diff] [blame] | 196 | if (rounds == 12) { | 
|  | 197 | goto rounds_12; | 
|  | 198 | } | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 199 | AESCE_DECRYPT_ROUND_X2; | 
| Dave Rodgman | 1c4451d | 2023-06-15 16:28:00 +0100 | [diff] [blame] | 200 | rounds_12: | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 201 | AESCE_DECRYPT_ROUND_X2; | 
| Dave Rodgman | 1c4451d | 2023-06-15 16:28:00 +0100 | [diff] [blame] | 202 | rounds_10: | 
| Dave Rodgman | 48fd2ab | 2023-06-16 09:36:50 +0100 | [diff] [blame] | 203 | AESCE_DECRYPT_ROUND_X2; | 
|  | 204 | AESCE_DECRYPT_ROUND_X2; | 
|  | 205 | AESCE_DECRYPT_ROUND_X2; | 
|  | 206 | AESCE_DECRYPT_ROUND_X2; | 
|  | 207 | AESCE_DECRYPT_ROUND; | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 208 |  | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 209 | /* The inverses of AES AddRoundKey, SubBytes, ShiftRows finishing up the | 
|  | 210 | * last full round. */ | 
| Dave Rodgman | 1c4451d | 2023-06-15 16:28:00 +0100 | [diff] [blame] | 211 | block = vaesdq_u8(block, vld1q_u8(keys)); | 
|  | 212 | keys += 16; | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 213 |  | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 214 | /* Inverse AddRoundKey for inverting the initial round key addition. */ | 
| Dave Rodgman | 1c4451d | 2023-06-15 16:28:00 +0100 | [diff] [blame] | 215 | block = veorq_u8(block, vld1q_u8(keys)); | 
| Jerry Yu | 2bb3d81 | 2023-01-10 17:38:26 +0800 | [diff] [blame] | 216 |  | 
|  | 217 | return block; | 
|  | 218 | } | 
|  | 219 |  | 
|  | 220 | /* | 
|  | 221 | * AES-ECB block en(de)cryption | 
|  | 222 | */ | 
|  | 223 | int mbedtls_aesce_crypt_ecb(mbedtls_aes_context *ctx, | 
|  | 224 | int mode, | 
|  | 225 | const unsigned char input[16], | 
|  | 226 | unsigned char output[16]) | 
|  | 227 | { | 
|  | 228 | uint8x16_t block = vld1q_u8(&input[0]); | 
|  | 229 | unsigned char *keys = (unsigned char *) (ctx->buf + ctx->rk_offset); | 
|  | 230 |  | 
|  | 231 | if (mode == MBEDTLS_AES_ENCRYPT) { | 
|  | 232 | block = aesce_encrypt_block(block, keys, ctx->nr); | 
|  | 233 | } else { | 
|  | 234 | block = aesce_decrypt_block(block, keys, ctx->nr); | 
|  | 235 | } | 
|  | 236 | vst1q_u8(&output[0], block); | 
|  | 237 |  | 
|  | 238 | return 0; | 
|  | 239 | } | 
|  | 240 |  | 
| Jerry Yu | e096da1 | 2023-01-10 17:07:01 +0800 | [diff] [blame] | 241 | /* | 
|  | 242 | * Compute decryption round keys from encryption round keys | 
|  | 243 | */ | 
|  | 244 | void mbedtls_aesce_inverse_key(unsigned char *invkey, | 
|  | 245 | const unsigned char *fwdkey, | 
|  | 246 | int nr) | 
|  | 247 | { | 
|  | 248 | int i, j; | 
|  | 249 | j = nr; | 
|  | 250 | vst1q_u8(invkey, vld1q_u8(fwdkey + j * 16)); | 
|  | 251 | for (i = 1, j--; j > 0; i++, j--) { | 
|  | 252 | vst1q_u8(invkey + i * 16, | 
|  | 253 | vaesimcq_u8(vld1q_u8(fwdkey + j * 16))); | 
|  | 254 | } | 
|  | 255 | vst1q_u8(invkey + i * 16, vld1q_u8(fwdkey + j * 16)); | 
|  | 256 |  | 
|  | 257 | } | 
|  | 258 |  | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 259 | static inline uint32_t aes_rot_word(uint32_t word) | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 260 | { | 
|  | 261 | return (word << (32 - 8)) | (word >> 8); | 
|  | 262 | } | 
|  | 263 |  | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 264 | static inline uint32_t aes_sub_word(uint32_t in) | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 265 | { | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 266 | uint8x16_t v = vreinterpretq_u8_u32(vdupq_n_u32(in)); | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 267 | uint8x16_t zero = vdupq_n_u8(0); | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 268 |  | 
|  | 269 | /* vaeseq_u8 does both SubBytes and ShiftRows. Taking the first row yields | 
|  | 270 | * the correct result as ShiftRows doesn't change the first row. */ | 
|  | 271 | v = vaeseq_u8(zero, v); | 
|  | 272 | return vgetq_lane_u32(vreinterpretq_u32_u8(v), 0); | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 273 | } | 
|  | 274 |  | 
|  | 275 | /* | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 276 | * Key expansion function | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 277 | */ | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 278 | static void aesce_setkey_enc(unsigned char *rk, | 
|  | 279 | const unsigned char *key, | 
|  | 280 | const size_t key_bit_length) | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 281 | { | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 282 | static uint8_t const rcon[] = { 0x01, 0x02, 0x04, 0x08, 0x10, | 
|  | 283 | 0x20, 0x40, 0x80, 0x1b, 0x36 }; | 
| Jerry Yu | 947bf96 | 2023-02-23 11:07:57 +0800 | [diff] [blame] | 284 | /* See https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.197.pdf | 
|  | 285 | *   - Section 5, Nr = Nk + 6 | 
| Jerry Yu | 2c26651 | 2023-03-01 11:18:20 +0800 | [diff] [blame] | 286 | *   - Section 5.2, the length of round keys is Nb*(Nr+1) | 
| Jerry Yu | 947bf96 | 2023-02-23 11:07:57 +0800 | [diff] [blame] | 287 | */ | 
|  | 288 | const uint32_t key_len_in_words = key_bit_length / 32;  /* Nk */ | 
|  | 289 | const size_t round_key_len_in_words = 4;                /* Nb */ | 
| Jerry Yu | 2c26651 | 2023-03-01 11:18:20 +0800 | [diff] [blame] | 290 | const size_t rounds_needed = key_len_in_words + 6;      /* Nr */ | 
|  | 291 | const size_t round_keys_len_in_words = | 
|  | 292 | round_key_len_in_words * (rounds_needed + 1);       /* Nb*(Nr+1) */ | 
|  | 293 | const uint32_t *rko_end = (uint32_t *) rk + round_keys_len_in_words; | 
| Jerry Yu | c8bcdc8 | 2023-02-21 14:49:02 +0800 | [diff] [blame] | 294 |  | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 295 | memcpy(rk, key, key_len_in_words * 4); | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 296 |  | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 297 | for (uint32_t *rki = (uint32_t *) rk; | 
|  | 298 | rki + key_len_in_words < rko_end; | 
|  | 299 | rki += key_len_in_words) { | 
|  | 300 |  | 
| Jerry Yu | fac5a54 | 2023-02-23 10:13:40 +0800 | [diff] [blame] | 301 | size_t iteration = (rki - (uint32_t *) rk) / key_len_in_words; | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 302 | uint32_t *rko; | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 303 | rko = rki + key_len_in_words; | 
|  | 304 | rko[0] = aes_rot_word(aes_sub_word(rki[key_len_in_words - 1])); | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 305 | rko[0] ^= rcon[iteration] ^ rki[0]; | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 306 | rko[1] = rko[0] ^ rki[1]; | 
|  | 307 | rko[2] = rko[1] ^ rki[2]; | 
|  | 308 | rko[3] = rko[2] ^ rki[3]; | 
| Jerry Yu | fac5a54 | 2023-02-23 10:13:40 +0800 | [diff] [blame] | 309 | if (rko + key_len_in_words > rko_end) { | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 310 | /* Do not write overflow words.*/ | 
|  | 311 | continue; | 
|  | 312 | } | 
| Yanray Wang | e2bc158 | 2023-05-08 10:28:53 +0800 | [diff] [blame] | 313 | #if !defined(MBEDTLS_AES_ONLY_128_BIT_KEY_LENGTH) | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 314 | switch (key_bit_length) { | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 315 | case 128: | 
|  | 316 | break; | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 317 | case 192: | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 318 | rko[4] = rko[3] ^ rki[4]; | 
|  | 319 | rko[5] = rko[4] ^ rki[5]; | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 320 | break; | 
|  | 321 | case 256: | 
| Jerry Yu | 3304c20 | 2023-02-22 14:37:11 +0800 | [diff] [blame] | 322 | rko[4] = aes_sub_word(rko[3]) ^ rki[4]; | 
|  | 323 | rko[5] = rko[4] ^ rki[5]; | 
|  | 324 | rko[6] = rko[5] ^ rki[6]; | 
|  | 325 | rko[7] = rko[6] ^ rki[7]; | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 326 | break; | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 327 | } | 
| Yanray Wang | e2bc158 | 2023-05-08 10:28:53 +0800 | [diff] [blame] | 328 | #endif /* !MBEDTLS_AES_ONLY_128_BIT_KEY_LENGTH */ | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 329 | } | 
|  | 330 | } | 
|  | 331 |  | 
|  | 332 | /* | 
|  | 333 | * Key expansion, wrapper | 
|  | 334 | */ | 
|  | 335 | int mbedtls_aesce_setkey_enc(unsigned char *rk, | 
|  | 336 | const unsigned char *key, | 
|  | 337 | size_t bits) | 
|  | 338 | { | 
|  | 339 | switch (bits) { | 
| Jerry Yu | baae401 | 2023-02-21 15:26:13 +0800 | [diff] [blame] | 340 | case 128: | 
|  | 341 | case 192: | 
|  | 342 | case 256: | 
| Jerry Yu | ba1e78f | 2023-02-24 11:18:16 +0800 | [diff] [blame] | 343 | aesce_setkey_enc(rk, key, bits); | 
|  | 344 | break; | 
|  | 345 | default: | 
|  | 346 | return MBEDTLS_ERR_AES_INVALID_KEY_LENGTH; | 
| Jerry Yu | 3f2fb71 | 2023-01-10 17:05:42 +0800 | [diff] [blame] | 347 | } | 
|  | 348 |  | 
|  | 349 | return 0; | 
|  | 350 | } | 
|  | 351 |  | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 352 | #if defined(MBEDTLS_GCM_C) | 
|  | 353 |  | 
| Jerry Yu | 132d0cb | 2023-03-02 17:35:53 +0800 | [diff] [blame] | 354 | #if !defined(__clang__) && defined(__GNUC__) && __GNUC__ == 5 | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 355 | /* Some intrinsics are not available for GCC 5.X. */ | 
| Jerry Yu | 132d0cb | 2023-03-02 17:35:53 +0800 | [diff] [blame] | 356 | #define vreinterpretq_p64_u8(a) ((poly64x2_t) a) | 
|  | 357 | #define vreinterpretq_u8_p128(a) ((uint8x16_t) a) | 
|  | 358 | static inline poly64_t vget_low_p64(poly64x2_t __a) | 
|  | 359 | { | 
|  | 360 | uint64x2_t tmp = (uint64x2_t) (__a); | 
|  | 361 | uint64x1_t lo = vcreate_u64(vgetq_lane_u64(tmp, 0)); | 
|  | 362 | return (poly64_t) (lo); | 
|  | 363 | } | 
|  | 364 | #endif /* !__clang__ && __GNUC__ && __GNUC__ == 5*/ | 
|  | 365 |  | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 366 | /* vmull_p64/vmull_high_p64 wrappers. | 
|  | 367 | * | 
|  | 368 | * Older compilers miss some intrinsic functions for `poly*_t`. We use | 
|  | 369 | * uint8x16_t and uint8x16x3_t as input/output parameters. | 
|  | 370 | */ | 
| Jerry Yu | 9db4b1f | 2023-03-21 16:56:43 +0800 | [diff] [blame] | 371 | #if defined(__GNUC__) && !defined(__clang__) | 
|  | 372 | /* GCC reports incompatible type error without cast. GCC think poly64_t and | 
|  | 373 | * poly64x1_t are different, that is different with MSVC and Clang. */ | 
|  | 374 | #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b) | 
|  | 375 | #else | 
|  | 376 | /* MSVC reports `error C2440: 'type cast'` with cast. Clang does not report | 
|  | 377 | * error with/without cast. And I think poly64_t and poly64x1_t are same, no | 
|  | 378 | * cast for clang also. */ | 
|  | 379 | #define MBEDTLS_VMULL_P64(a, b) vmull_p64(a, b) | 
|  | 380 | #endif | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 381 | static inline uint8x16_t pmull_low(uint8x16_t a, uint8x16_t b) | 
|  | 382 | { | 
| Jerry Yu | 9db4b1f | 2023-03-21 16:56:43 +0800 | [diff] [blame] | 383 |  | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 384 | return vreinterpretq_u8_p128( | 
| Jerry Yu | 9db4b1f | 2023-03-21 16:56:43 +0800 | [diff] [blame] | 385 | MBEDTLS_VMULL_P64( | 
|  | 386 | vget_low_p64(vreinterpretq_p64_u8(a)), | 
|  | 387 | vget_low_p64(vreinterpretq_p64_u8(b)) | 
|  | 388 | )); | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 389 | } | 
|  | 390 |  | 
|  | 391 | static inline uint8x16_t pmull_high(uint8x16_t a, uint8x16_t b) | 
|  | 392 | { | 
|  | 393 | return vreinterpretq_u8_p128( | 
|  | 394 | vmull_high_p64(vreinterpretq_p64_u8(a), | 
|  | 395 | vreinterpretq_p64_u8(b))); | 
|  | 396 | } | 
|  | 397 |  | 
| Jerry Yu | f0526a9 | 2023-03-14 15:00:29 +0800 | [diff] [blame] | 398 | /* GHASH does 128b polynomial multiplication on block in GF(2^128) defined by | 
| Jerry Yu | 49b4367 | 2023-03-13 10:09:34 +0800 | [diff] [blame] | 399 | * `x^128 + x^7 + x^2 + x + 1`. | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 400 | * | 
|  | 401 | * Arm64 only has 64b->128b polynomial multipliers, we need to do 4 64b | 
|  | 402 | * multiplies to generate a 128b. | 
|  | 403 | * | 
|  | 404 | * `poly_mult_128` executes polynomial multiplication and outputs 256b that | 
|  | 405 | * represented by 3 128b due to code size optimization. | 
|  | 406 | * | 
|  | 407 | * Output layout: | 
|  | 408 | * |            |             |             | | 
|  | 409 | * |------------|-------------|-------------| | 
|  | 410 | * | ret.val[0] | h3:h2:00:00 | high   128b | | 
| Jerry Yu | 8f81060 | 2023-03-14 17:28:52 +0800 | [diff] [blame] | 411 | * | ret.val[1] |   :m2:m1:00 | middle 128b | | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 412 | * | ret.val[2] |   :  :l1:l0 | low    128b | | 
|  | 413 | */ | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 414 | static inline uint8x16x3_t poly_mult_128(uint8x16_t a, uint8x16_t b) | 
|  | 415 | { | 
|  | 416 | uint8x16x3_t ret; | 
| Jerry Yu | 8f81060 | 2023-03-14 17:28:52 +0800 | [diff] [blame] | 417 | uint8x16_t h, m, l; /* retval high/middle/low */ | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 418 | uint8x16_t c, d, e; | 
|  | 419 |  | 
|  | 420 | h = pmull_high(a, b);                       /* h3:h2:00:00 = a1*b1 */ | 
|  | 421 | l = pmull_low(a, b);                        /*   :  :l1:l0 = a0*b0 */ | 
|  | 422 | c = vextq_u8(b, b, 8);                      /*      :c1:c0 = b0:b1 */ | 
|  | 423 | d = pmull_high(a, c);                       /*   :d2:d1:00 = a1*b0 */ | 
|  | 424 | e = pmull_low(a, c);                        /*   :e2:e1:00 = a0*b1 */ | 
|  | 425 | m = veorq_u8(d, e);                         /*   :m2:m1:00 = d + e */ | 
|  | 426 |  | 
|  | 427 | ret.val[0] = h; | 
|  | 428 | ret.val[1] = m; | 
|  | 429 | ret.val[2] = l; | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 430 | return ret; | 
|  | 431 | } | 
|  | 432 |  | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 433 | /* | 
|  | 434 | * Modulo reduction. | 
|  | 435 | * | 
|  | 436 | * See: https://www.researchgate.net/publication/285612706_Implementing_GCM_on_ARMv8 | 
|  | 437 | * | 
|  | 438 | * Section 4.3 | 
|  | 439 | * | 
|  | 440 | * Modular reduction is slightly more complex. Write the GCM modulus as f(z) = | 
|  | 441 | * z^128 +r(z), where r(z) = z^7+z^2+z+ 1. The well known approach is to | 
| Jerry Yu | be4fdef | 2023-03-15 14:50:42 +0800 | [diff] [blame] | 442 | * consider that z^128 ≡r(z) (mod z^128 +r(z)), allowing us to write the 256-bit | 
|  | 443 | * operand to be reduced as a(z) = h(z)z^128 +l(z)≡h(z)r(z) + l(z). That is, we | 
|  | 444 | * simply multiply the higher part of the operand by r(z) and add it to l(z). If | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 445 | * the result is still larger than 128 bits, we reduce again. | 
|  | 446 | */ | 
|  | 447 | static inline uint8x16_t poly_mult_reduce(uint8x16x3_t input) | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 448 | { | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 449 | uint8x16_t const ZERO = vdupq_n_u8(0); | 
| Jerry Yu | 8b6df3f | 2023-03-21 16:59:13 +0800 | [diff] [blame] | 450 |  | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 451 | uint64x2_t r = vreinterpretq_u64_u8(vdupq_n_u8(0x87)); | 
| Jerry Yu | 8b6df3f | 2023-03-21 16:59:13 +0800 | [diff] [blame] | 452 | #if defined(__GNUC__) | 
|  | 453 | /* use 'asm' as an optimisation barrier to prevent loading MODULO from | 
|  | 454 | * memory. It is for GNUC compatible compilers. | 
|  | 455 | */ | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 456 | asm ("" : "+w" (r)); | 
| Jerry Yu | 8b6df3f | 2023-03-21 16:59:13 +0800 | [diff] [blame] | 457 | #endif | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 458 | uint8x16_t const MODULO = vreinterpretq_u8_u64(vshrq_n_u64(r, 64 - 8)); | 
| Jerry Yu | 8f81060 | 2023-03-14 17:28:52 +0800 | [diff] [blame] | 459 | uint8x16_t h, m, l; /* input high/middle/low 128b */ | 
| Jerry Yu | 1ac7f6b | 2023-03-07 15:44:59 +0800 | [diff] [blame] | 460 | uint8x16_t c, d, e, f, g, n, o; | 
|  | 461 | h = input.val[0];            /* h3:h2:00:00                          */ | 
|  | 462 | m = input.val[1];            /*   :m2:m1:00                          */ | 
|  | 463 | l = input.val[2];            /*   :  :l1:l0                          */ | 
|  | 464 | c = pmull_high(h, MODULO);   /*   :c2:c1:00 = reduction of h3        */ | 
|  | 465 | d = pmull_low(h, MODULO);    /*   :  :d1:d0 = reduction of h2        */ | 
|  | 466 | e = veorq_u8(c, m);          /*   :e2:e1:00 = m2:m1:00 + c2:c1:00    */ | 
|  | 467 | f = pmull_high(e, MODULO);   /*   :  :f1:f0 = reduction of e2        */ | 
|  | 468 | g = vextq_u8(ZERO, e, 8);    /*   :  :g1:00 = e1:00                  */ | 
|  | 469 | n = veorq_u8(d, l);          /*   :  :n1:n0 = d1:d0 + l1:l0          */ | 
|  | 470 | o = veorq_u8(n, f);          /*       o1:o0 = f1:f0 + n1:n0          */ | 
|  | 471 | return veorq_u8(o, g);       /*             = o1:o0 + g1:00          */ | 
| Jerry Yu | df87a12 | 2023-01-10 18:17:15 +0800 | [diff] [blame] | 472 | } | 
|  | 473 |  | 
|  | 474 | /* | 
|  | 475 | * GCM multiplication: c = a times b in GF(2^128) | 
|  | 476 | */ | 
|  | 477 | void mbedtls_aesce_gcm_mult(unsigned char c[16], | 
|  | 478 | const unsigned char a[16], | 
|  | 479 | const unsigned char b[16]) | 
|  | 480 | { | 
|  | 481 | uint8x16_t va, vb, vc; | 
|  | 482 | va = vrbitq_u8(vld1q_u8(&a[0])); | 
|  | 483 | vb = vrbitq_u8(vld1q_u8(&b[0])); | 
|  | 484 | vc = vrbitq_u8(poly_mult_reduce(poly_mult_128(va, vb))); | 
|  | 485 | vst1q_u8(&c[0], vc); | 
|  | 486 | } | 
|  | 487 |  | 
|  | 488 | #endif /* MBEDTLS_GCM_C */ | 
| Jerry Yu | 48b999c | 2023-03-03 15:51:07 +0800 | [diff] [blame] | 489 |  | 
|  | 490 | #if defined(MBEDTLS_POP_TARGET_PRAGMA) | 
|  | 491 | #if defined(__clang__) | 
|  | 492 | #pragma clang attribute pop | 
|  | 493 | #elif defined(__GNUC__) | 
|  | 494 | #pragma GCC pop_options | 
|  | 495 | #endif | 
|  | 496 | #undef MBEDTLS_POP_TARGET_PRAGMA | 
|  | 497 | #endif | 
|  | 498 |  | 
| Jerry Yu | 4923131 | 2023-01-10 16:57:21 +0800 | [diff] [blame] | 499 | #endif /* MBEDTLS_HAVE_ARM64 */ | 
|  | 500 |  | 
|  | 501 | #endif /* MBEDTLS_AESCE_C */ |