furi_hal_crypto.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319
  1. #include <furi_hal_crypto.h>
  2. #include <furi_hal_bt.h>
  3. #include <furi_hal_random.h>
  4. #include <stm32wbxx_ll_cortex.h>
  5. #include <furi.h>
  6. #include <shci.h>
  7. #define TAG "FuriHalCrypto"
  8. #define ENCLAVE_FACTORY_KEY_SLOTS 10
  9. #define ENCLAVE_SIGNATURE_SIZE 16
  10. #define CRYPTO_BLK_LEN (4 * sizeof(uint32_t))
  11. #define CRYPTO_TIMEOUT (1000)
  12. #define CRYPTO_MODE_ENCRYPT 0U
  13. #define CRYPTO_MODE_DECRYPT (AES_CR_MODE_1)
  14. #define CRYPTO_MODE_DECRYPT_INIT (AES_CR_MODE_0 | AES_CR_MODE_1)
  15. #define CRYPTO_DATATYPE_32B 0U
  16. #define CRYPTO_KEYSIZE_256B (AES_CR_KEYSIZE)
  17. #define CRYPTO_AES_CBC (AES_CR_CHMOD_0)
  18. static osMutexId_t furi_hal_crypto_mutex = NULL;
  19. static const uint8_t enclave_signature_iv[ENCLAVE_FACTORY_KEY_SLOTS][16] = {
  20. {0xac, 0x5d, 0x68, 0xb8, 0x79, 0x74, 0xfc, 0x7f, 0x45, 0x02, 0x82, 0xf1, 0x48, 0x7e, 0x75, 0x8a},
  21. {0x38, 0xe6, 0x6a, 0x90, 0x5e, 0x5b, 0x8a, 0xa6, 0x70, 0x30, 0x04, 0x72, 0xc2, 0x42, 0xea, 0xaf},
  22. {0x73, 0xd5, 0x8e, 0xfb, 0x0f, 0x4b, 0xa9, 0x79, 0x0f, 0xde, 0x0e, 0x53, 0x44, 0x7d, 0xaa, 0xfd},
  23. {0x3c, 0x9a, 0xf4, 0x43, 0x2b, 0xfe, 0xea, 0xae, 0x8c, 0xc6, 0xd1, 0x60, 0xd2, 0x96, 0x64, 0xa9},
  24. {0x10, 0xac, 0x7b, 0x63, 0x03, 0x7f, 0x43, 0x18, 0xec, 0x9d, 0x9c, 0xc4, 0x01, 0xdc, 0x35, 0xa7},
  25. {0x26, 0x21, 0x64, 0xe6, 0xd0, 0xf2, 0x47, 0x49, 0xdc, 0x36, 0xcd, 0x68, 0x0c, 0x91, 0x03, 0x44},
  26. {0x7a, 0xbd, 0xce, 0x9c, 0x24, 0x7a, 0x2a, 0xb1, 0x3c, 0x4f, 0x5a, 0x7d, 0x80, 0x3e, 0xfc, 0x0d},
  27. {0xcd, 0xdd, 0xd3, 0x02, 0x85, 0x65, 0x43, 0x83, 0xf9, 0xac, 0x75, 0x2f, 0x21, 0xef, 0x28, 0x6b},
  28. {0xab, 0x73, 0x70, 0xe8, 0xe2, 0x56, 0x0f, 0x58, 0xab, 0x29, 0xa5, 0xb1, 0x13, 0x47, 0x5e, 0xe8},
  29. {0x4f, 0x3c, 0x43, 0x77, 0xde, 0xed, 0x79, 0xa1, 0x8d, 0x4c, 0x1f, 0xfd, 0xdb, 0x96, 0x87, 0x2e},
  30. };
  31. static const uint8_t enclave_signature_input[ENCLAVE_FACTORY_KEY_SLOTS][ENCLAVE_SIGNATURE_SIZE] = {
  32. {0x9f, 0x5c, 0xb1, 0x43, 0x17, 0x53, 0x18, 0x8c, 0x66, 0x3d, 0x39, 0x45, 0x90, 0x13, 0xa9, 0xde},
  33. {0xc5, 0x98, 0xe9, 0x17, 0xb8, 0x97, 0x9e, 0x03, 0x33, 0x14, 0x13, 0x8f, 0xce, 0x74, 0x0d, 0x54},
  34. {0x34, 0xba, 0x99, 0x59, 0x9f, 0x70, 0x67, 0xe9, 0x09, 0xee, 0x64, 0x0e, 0xb3, 0xba, 0xfb, 0x75},
  35. {0xdc, 0xfa, 0x6c, 0x9a, 0x6f, 0x0a, 0x3e, 0xdc, 0x42, 0xf6, 0xae, 0x0d, 0x3c, 0xf7, 0x83, 0xaf},
  36. {0xea, 0x2d, 0xe3, 0x1f, 0x02, 0x99, 0x1a, 0x7e, 0x6d, 0x93, 0x4c, 0xb5, 0x42, 0xf0, 0x7a, 0x9b},
  37. {0x53, 0x5e, 0x04, 0xa2, 0x49, 0xa0, 0x73, 0x49, 0x56, 0xb0, 0x88, 0x8c, 0x12, 0xa0, 0xe4, 0x18},
  38. {0x7d, 0xa7, 0xc5, 0x21, 0x7f, 0x12, 0x95, 0xdd, 0x4d, 0x77, 0x01, 0xfa, 0x71, 0x88, 0x2b, 0x7f},
  39. {0xdc, 0x9b, 0xc5, 0xa7, 0x6b, 0x84, 0x5c, 0x37, 0x7c, 0xec, 0x05, 0xa1, 0x9f, 0x91, 0x17, 0x3b},
  40. {0xea, 0xcf, 0xd9, 0x9b, 0x86, 0xcd, 0x2b, 0x43, 0x54, 0x45, 0x82, 0xc6, 0xfe, 0x73, 0x1a, 0x1a},
  41. {0x77, 0xb8, 0x1b, 0x90, 0xb4, 0xb7, 0x32, 0x76, 0x8f, 0x8a, 0x57, 0x06, 0xc7, 0xdd, 0x08, 0x90},
  42. };
  43. static const uint8_t enclave_signature_expected[ENCLAVE_FACTORY_KEY_SLOTS][ENCLAVE_SIGNATURE_SIZE] = {
  44. {0xe9, 0x9a, 0xce, 0xe9, 0x4d, 0xe1, 0x7f, 0x55, 0xcb, 0x8a, 0xbf, 0xf2, 0x4d, 0x98, 0x27, 0x67},
  45. {0x34, 0x27, 0xa7, 0xea, 0xa8, 0x98, 0x66, 0x9b, 0xed, 0x43, 0xd3, 0x93, 0xb5, 0xa2, 0x87, 0x8e},
  46. {0x6c, 0xf3, 0x01, 0x78, 0x53, 0x1b, 0x11, 0x32, 0xf0, 0x27, 0x2f, 0xe3, 0x7d, 0xa6, 0xe2, 0xfd},
  47. {0xdf, 0x7f, 0x37, 0x65, 0x2f, 0xdb, 0x7c, 0xcf, 0x5b, 0xb6, 0xe4, 0x9c, 0x63, 0xc5, 0x0f, 0xe0},
  48. {0x9b, 0x5c, 0xee, 0x44, 0x0e, 0xd1, 0xcb, 0x5f, 0x28, 0x9f, 0x12, 0x17, 0x59, 0x64, 0x40, 0xbb},
  49. {0x94, 0xc2, 0x09, 0x98, 0x62, 0xa7, 0x2b, 0x93, 0xed, 0x36, 0x1f, 0x10, 0xbc, 0x26, 0xbd, 0x41},
  50. {0x4d, 0xb2, 0x2b, 0xc5, 0x96, 0x47, 0x61, 0xf4, 0x16, 0xe0, 0x81, 0xc3, 0x8e, 0xb9, 0x9c, 0x9b},
  51. {0xc3, 0x6b, 0x83, 0x55, 0x90, 0x38, 0x0f, 0xea, 0xd1, 0x65, 0xbf, 0x32, 0x4f, 0x8e, 0x62, 0x5b},
  52. {0x8d, 0x5e, 0x27, 0xbc, 0x14, 0x4f, 0x08, 0xa8, 0x2b, 0x14, 0x89, 0x5e, 0xdf, 0x77, 0x04, 0x31},
  53. {0xc9, 0xf7, 0x03, 0xf1, 0x6c, 0x65, 0xad, 0x49, 0x74, 0xbe, 0x00, 0x54, 0xfd, 0xa6, 0x9c, 0x32},
  54. };
  55. void furi_hal_crypto_init() {
  56. furi_hal_crypto_mutex = osMutexNew(NULL);
  57. FURI_LOG_I(TAG, "Init OK");
  58. }
  59. static bool furi_hal_crypto_generate_unique_keys(uint8_t start_slot, uint8_t end_slot) {
  60. FuriHalCryptoKey key;
  61. uint8_t key_data[32];
  62. FURI_LOG_I(TAG, "Generating keys %u..%u", start_slot, end_slot);
  63. for(uint8_t slot = start_slot; slot <= end_slot; slot++) {
  64. key.type = FuriHalCryptoKeyTypeSimple;
  65. key.size = FuriHalCryptoKeySize256;
  66. key.data = key_data;
  67. furi_hal_random_fill_buf(key_data, 32);
  68. if(!furi_hal_crypto_store_add_key(&key, &slot)) {
  69. FURI_LOG_E(TAG, "Error writing key to slot %u", slot);
  70. return false;
  71. }
  72. }
  73. return true;
  74. }
  75. bool furi_hal_crypto_verify_key(uint8_t key_slot) {
  76. uint8_t keys_nb = 0;
  77. uint8_t valid_keys_nb = 0;
  78. uint8_t last_valid_slot = ENCLAVE_FACTORY_KEY_SLOTS;
  79. uint8_t empty_iv[16];
  80. furi_hal_crypto_verify_enclave(&keys_nb, &valid_keys_nb);
  81. if(key_slot <= ENCLAVE_FACTORY_KEY_SLOTS) { // It's a factory key
  82. if(key_slot > keys_nb) return false;
  83. } else { // Unique key
  84. if(keys_nb < ENCLAVE_FACTORY_KEY_SLOTS) // Some factory keys are missing
  85. return false;
  86. for(uint8_t i = key_slot; i > ENCLAVE_FACTORY_KEY_SLOTS; i--) {
  87. if(furi_hal_crypto_store_load_key(i, empty_iv)) {
  88. last_valid_slot = i;
  89. furi_hal_crypto_store_unload_key(i);
  90. break;
  91. }
  92. }
  93. if(last_valid_slot == key_slot)
  94. return true;
  95. else // Generate missing unique keys
  96. return furi_hal_crypto_generate_unique_keys(last_valid_slot + 1, key_slot);
  97. }
  98. return true;
  99. }
  100. bool furi_hal_crypto_verify_enclave(uint8_t* keys_nb, uint8_t* valid_keys_nb) {
  101. furi_assert(keys_nb);
  102. furi_assert(valid_keys_nb);
  103. uint8_t keys = 0;
  104. uint8_t keys_valid = 0;
  105. uint8_t buffer[ENCLAVE_SIGNATURE_SIZE];
  106. for(size_t key_slot = 0; key_slot < ENCLAVE_FACTORY_KEY_SLOTS; key_slot++) {
  107. if(furi_hal_crypto_store_load_key(key_slot + 1, enclave_signature_iv[key_slot])) {
  108. keys++;
  109. if(furi_hal_crypto_encrypt(
  110. enclave_signature_input[key_slot], buffer, ENCLAVE_SIGNATURE_SIZE)) {
  111. keys_valid +=
  112. memcmp(buffer, enclave_signature_expected[key_slot], ENCLAVE_SIGNATURE_SIZE) ==
  113. 0;
  114. }
  115. furi_hal_crypto_store_unload_key(key_slot + 1);
  116. }
  117. }
  118. *keys_nb = keys;
  119. *valid_keys_nb = keys_valid;
  120. if(*valid_keys_nb == ENCLAVE_FACTORY_KEY_SLOTS)
  121. return true;
  122. else
  123. return false;
  124. }
  125. bool furi_hal_crypto_store_add_key(FuriHalCryptoKey* key, uint8_t* slot) {
  126. furi_assert(key);
  127. furi_assert(slot);
  128. furi_check(osMutexAcquire(furi_hal_crypto_mutex, osWaitForever) == osOK);
  129. if(!furi_hal_bt_is_alive()) {
  130. return false;
  131. }
  132. SHCI_C2_FUS_StoreUsrKey_Cmd_Param_t pParam;
  133. size_t key_data_size = 0;
  134. if(key->type == FuriHalCryptoKeyTypeMaster) {
  135. pParam.KeyType = KEYTYPE_MASTER;
  136. } else if(key->type == FuriHalCryptoKeyTypeSimple) {
  137. pParam.KeyType = KEYTYPE_SIMPLE;
  138. } else if(key->type == FuriHalCryptoKeyTypeEncrypted) {
  139. pParam.KeyType = KEYTYPE_ENCRYPTED;
  140. key_data_size += 12;
  141. } else {
  142. furi_crash("Incorrect key type");
  143. }
  144. if(key->size == FuriHalCryptoKeySize128) {
  145. pParam.KeySize = KEYSIZE_16;
  146. key_data_size += 16;
  147. } else if(key->size == FuriHalCryptoKeySize256) {
  148. pParam.KeySize = KEYSIZE_32;
  149. key_data_size += 32;
  150. } else {
  151. furi_crash("Incorrect key size");
  152. }
  153. memcpy(pParam.KeyData, key->data, key_data_size);
  154. SHCI_CmdStatus_t shci_state = SHCI_C2_FUS_StoreUsrKey(&pParam, slot);
  155. furi_check(osMutexRelease(furi_hal_crypto_mutex) == osOK);
  156. return (shci_state == SHCI_Success);
  157. }
  158. static void crypto_enable() {
  159. SET_BIT(AES1->CR, AES_CR_EN);
  160. }
  161. static void crypto_disable() {
  162. CLEAR_BIT(AES1->CR, AES_CR_EN);
  163. }
  164. static void crypto_key_init(uint32_t* key, uint32_t* iv) {
  165. crypto_disable();
  166. MODIFY_REG(
  167. AES1->CR,
  168. AES_CR_DATATYPE | AES_CR_KEYSIZE | AES_CR_CHMOD,
  169. CRYPTO_DATATYPE_32B | CRYPTO_KEYSIZE_256B | CRYPTO_AES_CBC);
  170. if(key != NULL) {
  171. AES1->KEYR7 = key[0];
  172. AES1->KEYR6 = key[1];
  173. AES1->KEYR5 = key[2];
  174. AES1->KEYR4 = key[3];
  175. AES1->KEYR3 = key[4];
  176. AES1->KEYR2 = key[5];
  177. AES1->KEYR1 = key[6];
  178. AES1->KEYR0 = key[7];
  179. }
  180. AES1->IVR3 = iv[0];
  181. AES1->IVR2 = iv[1];
  182. AES1->IVR1 = iv[2];
  183. AES1->IVR0 = iv[3];
  184. }
  185. static bool crypto_process_block(uint32_t* in, uint32_t* out, uint8_t blk_len) {
  186. furi_check((blk_len <= 4) && (blk_len > 0));
  187. for(uint8_t i = 0; i < 4; i++) {
  188. if(i < blk_len) {
  189. AES1->DINR = in[i];
  190. } else {
  191. AES1->DINR = 0;
  192. }
  193. }
  194. uint32_t countdown = CRYPTO_TIMEOUT;
  195. while(!READ_BIT(AES1->SR, AES_SR_CCF)) {
  196. if(LL_SYSTICK_IsActiveCounterFlag()) {
  197. countdown--;
  198. }
  199. if(countdown == 0) {
  200. return false;
  201. }
  202. }
  203. SET_BIT(AES1->CR, AES_CR_CCFC);
  204. uint32_t out_temp[4];
  205. for(uint8_t i = 0; i < 4; i++) {
  206. out_temp[i] = AES1->DOUTR;
  207. }
  208. memcpy(out, out_temp, blk_len * sizeof(uint32_t));
  209. return true;
  210. }
  211. bool furi_hal_crypto_store_load_key(uint8_t slot, const uint8_t* iv) {
  212. furi_assert(slot > 0 && slot <= 100);
  213. furi_assert(furi_hal_crypto_mutex);
  214. furi_check(osMutexAcquire(furi_hal_crypto_mutex, osWaitForever) == osOK);
  215. if(!furi_hal_bt_is_alive()) {
  216. return false;
  217. }
  218. crypto_key_init(NULL, (uint32_t*)iv);
  219. if(SHCI_C2_FUS_LoadUsrKey(slot) == SHCI_Success) {
  220. return true;
  221. } else {
  222. crypto_disable();
  223. furi_check(osMutexRelease(furi_hal_crypto_mutex) == osOK);
  224. return false;
  225. }
  226. }
  227. bool furi_hal_crypto_store_unload_key(uint8_t slot) {
  228. if(!furi_hal_bt_is_alive()) {
  229. return false;
  230. }
  231. crypto_disable();
  232. SHCI_CmdStatus_t shci_state = SHCI_C2_FUS_UnloadUsrKey(slot);
  233. furi_check(osMutexRelease(furi_hal_crypto_mutex) == osOK);
  234. return (shci_state == SHCI_Success);
  235. }
  236. bool furi_hal_crypto_encrypt(const uint8_t* input, uint8_t* output, size_t size) {
  237. bool state = false;
  238. crypto_enable();
  239. MODIFY_REG(AES1->CR, AES_CR_MODE, CRYPTO_MODE_ENCRYPT);
  240. for(size_t i = 0; i < size; i += CRYPTO_BLK_LEN) {
  241. size_t blk_len = size - i;
  242. if(blk_len > CRYPTO_BLK_LEN) {
  243. blk_len = CRYPTO_BLK_LEN;
  244. }
  245. state = crypto_process_block((uint32_t*)&input[i], (uint32_t*)&output[i], blk_len / 4);
  246. if(state == false) {
  247. break;
  248. }
  249. }
  250. crypto_disable();
  251. return state;
  252. }
  253. bool furi_hal_crypto_decrypt(const uint8_t* input, uint8_t* output, size_t size) {
  254. bool state = false;
  255. MODIFY_REG(AES1->CR, AES_CR_MODE, CRYPTO_MODE_DECRYPT_INIT);
  256. crypto_enable();
  257. for(size_t i = 0; i < size; i += CRYPTO_BLK_LEN) {
  258. size_t blk_len = size - i;
  259. if(blk_len > CRYPTO_BLK_LEN) {
  260. blk_len = CRYPTO_BLK_LEN;
  261. }
  262. state = crypto_process_block((uint32_t*)&input[i], (uint32_t*)&output[i], blk_len / 4);
  263. if(state == false) {
  264. break;
  265. }
  266. }
  267. crypto_disable();
  268. return state;
  269. }