mirror of
https://github.com/espressif/esp-idf.git
synced 2024-10-05 20:47:46 -04:00
Merge branch 'bugfix/rsa4096' into 'master'
mbedtls: Use two MPI multiplications when multiply operands too large Allows RSA4096 via hardware crypto operations. Closes #139 https://github.com/espressif/esp-idf/issues/139 See merge request !477
This commit is contained in:
Ivan Grokhotkov
commit
ea12a1de85
@ -43,6 +43,9 @@
|
|||||||
|
|
||||||
static const __attribute__((unused)) char *TAG = "bignum";
|
static const __attribute__((unused)) char *TAG = "bignum";
|
||||||
|
|
||||||
|
#define ciL (sizeof(mbedtls_mpi_uint)) /* chars in limb */
|
||||||
|
#define biL (ciL << 3) /* bits in limb */
|
||||||
|
|
||||||
#if defined(CONFIG_MBEDTLS_MPI_USE_INTERRUPT)
|
#if defined(CONFIG_MBEDTLS_MPI_USE_INTERRUPT)
|
||||||
static SemaphoreHandle_t op_complete_sem;
|
static SemaphoreHandle_t op_complete_sem;
|
||||||
|
|
||||||
@ -72,6 +75,7 @@ void esp_mpi_acquire_hardware( void )
|
|||||||
{
|
{
|
||||||
/* newlib locks lazy initialize on ESP-IDF */
|
/* newlib locks lazy initialize on ESP-IDF */
|
||||||
_lock_acquire(&mpi_lock);
|
_lock_acquire(&mpi_lock);
|
||||||
|
|
||||||
REG_SET_BIT(DPORT_PERI_CLK_EN_REG, DPORT_PERI_EN_RSA);
|
REG_SET_BIT(DPORT_PERI_CLK_EN_REG, DPORT_PERI_EN_RSA);
|
||||||
/* also clear reset on digital signature, otherwise RSA is held in reset */
|
/* also clear reset on digital signature, otherwise RSA is held in reset */
|
||||||
REG_CLR_BIT(DPORT_PERI_RST_EN_REG,
|
REG_CLR_BIT(DPORT_PERI_RST_EN_REG,
|
||||||
@ -82,6 +86,8 @@ void esp_mpi_acquire_hardware( void )
|
|||||||
|
|
||||||
while(REG_READ(RSA_CLEAN_REG) != 1);
|
while(REG_READ(RSA_CLEAN_REG) != 1);
|
||||||
|
|
||||||
|
// Note: from enabling RSA clock to here takes about 1.3us
|
||||||
|
|
||||||
#ifdef CONFIG_MBEDTLS_MPI_USE_INTERRUPT
|
#ifdef CONFIG_MBEDTLS_MPI_USE_INTERRUPT
|
||||||
rsa_isr_initialise();
|
rsa_isr_initialise();
|
||||||
#endif
|
#endif
|
||||||
@ -416,6 +422,7 @@ static int modular_multiply_finish(mbedtls_mpi *Z, const mbedtls_mpi *X, const m
|
|||||||
#if defined(MBEDTLS_MPI_MUL_MPI_ALT) /* MBEDTLS_MPI_MUL_MPI_ALT */
|
#if defined(MBEDTLS_MPI_MUL_MPI_ALT) /* MBEDTLS_MPI_MUL_MPI_ALT */
|
||||||
|
|
||||||
static int mpi_mult_mpi_failover_mod_mult(mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi *Y, size_t num_words);
|
static int mpi_mult_mpi_failover_mod_mult(mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi *Y, size_t num_words);
|
||||||
|
static int mpi_mult_mpi_overlong(mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi *Y, size_t Y_bits, size_t words_result);
|
||||||
|
|
||||||
/* Z = X * Y */
|
/* Z = X * Y */
|
||||||
int mbedtls_mpi_mul_mpi( mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi *Y )
|
int mbedtls_mpi_mul_mpi( mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi *Y )
|
||||||
@ -468,12 +475,19 @@ int mbedtls_mpi_mul_mpi( mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi
|
|||||||
if (words_mult * 32 > 2048) {
|
if (words_mult * 32 > 2048) {
|
||||||
/* Calculate new length of Z */
|
/* Calculate new length of Z */
|
||||||
words_z = bits_to_hardware_words(bits_x + bits_y);
|
words_z = bits_to_hardware_words(bits_x + bits_y);
|
||||||
if (words_z * 32 > 4096) {
|
if (words_z * 32 <= 4096) {
|
||||||
ESP_LOGE(TAG, "ERROR: %d bit result %d bits * %d bits too large for hardware unit\n", words_z * 32, bits_x, bits_y);
|
/* Note: it's possible to use mpi_mult_mpi_overlong
|
||||||
return MBEDTLS_ERR_MPI_NOT_ACCEPTABLE;
|
for this case as well, but it's very slightly
|
||||||
}
|
slower and requires a memory allocation.
|
||||||
else {
|
*/
|
||||||
return mpi_mult_mpi_failover_mod_mult(Z, X, Y, words_z);
|
return mpi_mult_mpi_failover_mod_mult(Z, X, Y, words_z);
|
||||||
|
} else {
|
||||||
|
/* Still too long for the hardware unit... */
|
||||||
|
if(bits_y > bits_x) {
|
||||||
|
return mpi_mult_mpi_overlong(Z, X, Y, bits_y, words_z);
|
||||||
|
} else {
|
||||||
|
return mpi_mult_mpi_overlong(Z, Y, X, bits_x, words_z);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -561,5 +575,64 @@ static int mpi_mult_mpi_failover_mod_mult(mbedtls_mpi *Z, const mbedtls_mpi *X,
|
|||||||
return ret;
|
return ret;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* Deal with the case when X & Y are too long for the hardware unit, by splitting one operand
|
||||||
|
into two halves.
|
||||||
|
|
||||||
|
Y must be the longer operand
|
||||||
|
|
||||||
|
Slice Y into Yp, Ypp such that:
|
||||||
|
Yp = lower 'b' bits of Y
|
||||||
|
Ypp = upper 'b' bits of Y (right shifted)
|
||||||
|
|
||||||
|
Such that
|
||||||
|
Z = X * Y
|
||||||
|
Z = X * (Yp + Ypp<<b)
|
||||||
|
Z = (X * Yp) + (X * Ypp<<b)
|
||||||
|
|
||||||
|
Note that this function may recurse multiple times, if both X & Y
|
||||||
|
are too long for the hardware multiplication unit.
|
||||||
|
*/
|
||||||
|
static int mpi_mult_mpi_overlong(mbedtls_mpi *Z, const mbedtls_mpi *X, const mbedtls_mpi *Y, size_t bits_y, size_t words_result)
|
||||||
|
{
|
||||||
|
int ret;
|
||||||
|
mbedtls_mpi Ztemp;
|
||||||
|
const size_t limbs_y = (bits_y + biL - 1) / biL;
|
||||||
|
/* Rather than slicing in two on bits we slice on limbs (32 bit words) */
|
||||||
|
const size_t limbs_slice = limbs_y / 2;
|
||||||
|
/* Yp holds lower bits of Y (declared to reuse Y's array contents to save on copying) */
|
||||||
|
const mbedtls_mpi Yp = {
|
||||||
|
.p = Y->p,
|
||||||
|
.n = limbs_slice,
|
||||||
|
.s = Y->s
|
||||||
|
};
|
||||||
|
/* Ypp holds upper bits of Y, right shifted (also reuses Y's array contents) */
|
||||||
|
const mbedtls_mpi Ypp = {
|
||||||
|
.p = Y->p + limbs_slice,
|
||||||
|
.n = limbs_y - limbs_slice,
|
||||||
|
.s = Y->s
|
||||||
|
};
|
||||||
|
mbedtls_mpi_init(&Ztemp);
|
||||||
|
|
||||||
|
/* Grow Z to result size early, avoid interim allocations */
|
||||||
|
mbedtls_mpi_grow(Z, words_result);
|
||||||
|
|
||||||
|
/* Get result Ztemp = Yp * X (need temporary variable Ztemp) */
|
||||||
|
MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi(&Ztemp, X, &Yp) );
|
||||||
|
|
||||||
|
/* Z = Ypp * Y */
|
||||||
|
MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi(Z, X, &Ypp) );
|
||||||
|
|
||||||
|
/* Z = Z << b */
|
||||||
|
MBEDTLS_MPI_CHK( mbedtls_mpi_shift_l(Z, limbs_slice * biL) );
|
||||||
|
|
||||||
|
/* Z += Ztemp */
|
||||||
|
MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi(Z, Z, &Ztemp) );
|
||||||
|
|
||||||
|
cleanup:
|
||||||
|
mbedtls_mpi_free(&Ztemp);
|
||||||
|
|
||||||
|
return ret;
|
||||||
|
}
|
||||||
|
|
||||||
#endif /* MBEDTLS_MPI_MUL_MPI_ALT */
|
#endif /* MBEDTLS_MPI_MUL_MPI_ALT */
|
||||||
|
|
||||||
|
|||||||
240
components/mbedtls/test/test_rsa.c
Normal file
240
components/mbedtls/test/test_rsa.c
Normal file
@ -0,0 +1,240 @@
|
|||||||
|
/* mbedTLS RSA functionality tests
|
||||||
|
|
||||||
|
Focus on testing functionality where we use ESP32 hardware
|
||||||
|
accelerated crypto features.
|
||||||
|
|
||||||
|
*/
|
||||||
|
#include <string.h>
|
||||||
|
#include <stdio.h>
|
||||||
|
#include <stdbool.h>
|
||||||
|
#include <esp_system.h>
|
||||||
|
#include "mbedtls/rsa.h"
|
||||||
|
#include "mbedtls/pk.h"
|
||||||
|
#include "mbedtls/x509_crt.h"
|
||||||
|
#include "freertos/FreeRTOS.h"
|
||||||
|
#include "freertos/task.h"
|
||||||
|
#include "freertos/semphr.h"
|
||||||
|
#include "unity.h"
|
||||||
|
#include "sdkconfig.h"
|
||||||
|
|
||||||
|
/* Taken from openssl s_client -connect api.gigafive.com:443 -showcerts
|
||||||
|
*/
|
||||||
|
static const char *rsa4096_cert = "-----BEGIN CERTIFICATE-----\n"\
|
||||||
|
"MIIExzCCA6+gAwIBAgIBAzANBgkqhkiG9w0BAQsFADCBkjELMAkGA1UEBhMCVVMx\n"\
|
||||||
|
"CzAJBgNVBAgMAkNBMRQwEgYDVQQHDAtTYW50YSBDbGFyYTElMCMGA1UECgwcR2ln\n"\
|
||||||
|
"YWZpdmUgVGVjaG5vbG9neSBQYXJ0bmVyczEZMBcGA1UEAwwQR2lnYWZpdmUgUm9v\n"\
|
||||||
|
"dCBDQTEeMBwGCSqGSIb3DQEJARYPY2FAZ2lnYWZpdmUuY29tMB4XDTE2MDgyNzE2\n"\
|
||||||
|
"NDYyM1oXDTI2MDgyNTE2NDYyM1owgZcxCzAJBgNVBAYTAlVTMQswCQYDVQQIDAJD\n"\
|
||||||
|
"QTEUMBIGA1UEBwwLU2FudGEgQ2xhcmExKTAnBgNVBAoMIEdpZ2FmaXZlIFRlY2hu\n"\
|
||||||
|
"b2xvZ3kgUGFydG5lcnMgTExDMRkwFwYDVQQDDBBhcGkuZ2lnYWZpdmUuY29tMR8w\n"\
|
||||||
|
"HQYJKoZIhvcNAQkBFhBjcmxAZ2lnYWZpdmUuY29tMIICIjANBgkqhkiG9w0BAQEF\n"\
|
||||||
|
"AAOCAg8AMIICCgKCAgEAof82VrEpXMpsI/ddW6RLeTeSYtxiXZZkRbDKN6otYgEk\n"\
|
||||||
|
"vA8yRbzei2cO2A/8+Erhe9beYLAMXWF+bjoUAFwnuIcbmufgHprOYzX/7CYXCsrH\n"\
|
||||||
|
"LrJfVF6kvjCXy2W3xSvgh8ZgHNWnBGzl13tq19Fz8x0AhK5GQ9608oJCbnQjpVSI\n"\
|
||||||
|
"lZDl3JVOifCeXf2c7nMhVOC/reTeto0Gbchs8Ox50WyojmfYbVjOQcA7f8p1eI+D\n"\
|
||||||
|
"XUJK01cUGVu6/KarVArGHh5LsiyXOadbyeyOXPmjyrgarG3IIBeQSNECfJZPc/OW\n"\
|
||||||
|
"lFszjU4YLDckI4x+tReiuFQbQPN5sDplcEldmZZm/8XD36ddvAaDds+SYlPXxDK7\n"\
|
||||||
|
"7L8RBVUG2Ylc9YZf7RE6IMDmdQmsCZDX0VxySYEmzv5lnAx4mzzaXcgS+kHMOLyK\n"\
|
||||||
|
"n9UxmpzwQoqqC9tMZqwRaeKW1njR1dSwQLqirBPfGCWKkpkpm7C3HEfeeLrasral\n"\
|
||||||
|
"aPf6LAwN3A4ZKHa5Jmne7W+1eYS1aTXOAOLIPcXRAh1B80H+SusIdM9d6vk2YTIg\n"\
|
||||||
|
"khwGQV3sgM6nIO5+T/8z141UEjWbtP7pb/u0+G9Cg7TwvRoO2UukxdvOwNto1G2e\n"\
|
||||||
|
"J3rKB/JSYsYWnPHvvh9XR+55PZ4iCf9Rqw/IP82uyGipR9gxlHqN8WhMTj9tNEkC\n"\
|
||||||
|
"AwEAAaMhMB8wHQYDVR0OBBYEFISCemcSriz1HFhRXluw9H+Bv9lEMA0GCSqGSIb3\n"\
|
||||||
|
"DQEBCwUAA4IBAQCMetK0xe6Y/uZpb1ARh+hHYcHI3xI+IG4opWJeoB1gDh/xpNAW\n"\
|
||||||
|
"j6t5MGbLoqNMBXbqL26hnKVspyvCxw7ebI5ZJgjtbrD1t+0D8yrgIZzr7AWGA9Hj\n"\
|
||||||
|
"WIHqDHGDxwkmfjVVPmuO3l5RtJmL6KV6kVL2bOvVI6gECpFLddmOTtg+iXDfSw3x\n"\
|
||||||
|
"0+ueMYKr8QLF+TCxfzQTHvTHvOJtcZHecc1n7PYbRmI2p7tV6RoBpV69oM6NAVUV\n"\
|
||||||
|
"i2QoSxm0pYzDzavOaxwhEPHT34Tpg6fwXy1QokFD9OtxRFtdpTjL3bMWpatZE+ba\n"\
|
||||||
|
"cjvvf0utMW5fNjTTxu1nnpuxZM3ifTCqZJ+9\n"\
|
||||||
|
"-----END CERTIFICATE-----\n";
|
||||||
|
|
||||||
|
/* Root cert from openssl s_client -connect google.com:443 -showcerts
|
||||||
|
*/
|
||||||
|
static const char *rsa2048_cert = "-----BEGIN CERTIFICATE-----\n"\
|
||||||
|
"MIIDfTCCAuagAwIBAgIDErvmMA0GCSqGSIb3DQEBBQUAME4xCzAJBgNVBAYTAlVT\n"\
|
||||||
|
"MRAwDgYDVQQKEwdFcXVpZmF4MS0wKwYDVQQLEyRFcXVpZmF4IFNlY3VyZSBDZXJ0\n"\
|
||||||
|
"aWZpY2F0ZSBBdXRob3JpdHkwHhcNMDIwNTIxMDQwMDAwWhcNMTgwODIxMDQwMDAw\n"\
|
||||||
|
"WjBCMQswCQYDVQQGEwJVUzEWMBQGA1UEChMNR2VvVHJ1c3QgSW5jLjEbMBkGA1UE\n"\
|
||||||
|
"AxMSR2VvVHJ1c3QgR2xvYmFsIENBMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB\n"\
|
||||||
|
"CgKCAQEA2swYYzD99BcjGlZ+W988bDjkcbd4kdS8odhM+KhDtgPpTSEHCIjaWC9m\n"\
|
||||||
|
"OSm9BXiLnTjoBbdqfnGk5sRgprDvgOSJKA+eJdbtg/OtppHHmMlCGDUUna2YRpIu\n"\
|
||||||
|
"T8rxh0PBFpVXLVDviS2Aelet8u5fa9IAjbkU+BQVNdnARqN7csiRv8lVK83Qlz6c\n"\
|
||||||
|
"JmTM386DGXHKTubU1XupGc1V3sjs0l44U+VcT4wt/lAjNvxm5suOpDkZALeVAjmR\n"\
|
||||||
|
"Cw7+OC7RHQWa9k0+bw8HHa8sHo9gOeL6NlMTOdReJivbPagUvTLrGAMoUgRx5asz\n"\
|
||||||
|
"PeE4uwc2hGKceeoWMPRfwCvocWvk+QIDAQABo4HwMIHtMB8GA1UdIwQYMBaAFEjm\n"\
|
||||||
|
"aPkr0rKV10fYIyAQTzOYkJ/UMB0GA1UdDgQWBBTAephojYn7qwVkDBF9qn1luMrM\n"\
|
||||||
|
"TjAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQEAwIBBjA6BgNVHR8EMzAxMC+g\n"\
|
||||||
|
"LaArhilodHRwOi8vY3JsLmdlb3RydXN0LmNvbS9jcmxzL3NlY3VyZWNhLmNybDBO\n"\
|
||||||
|
"BgNVHSAERzBFMEMGBFUdIAAwOzA5BggrBgEFBQcCARYtaHR0cHM6Ly93d3cuZ2Vv\n"\
|
||||||
|
"dHJ1c3QuY29tL3Jlc291cmNlcy9yZXBvc2l0b3J5MA0GCSqGSIb3DQEBBQUAA4GB\n"\
|
||||||
|
"AHbhEm5OSxYShjAGsoEIz/AIx8dxfmbuwu3UOx//8PDITtZDOLC5MH0Y0FWDomrL\n"\
|
||||||
|
"NhGc6Ehmo21/uBPUR/6LWlxz/K7ZGzIZOKuXNBSqltLroxwUCEm2u+WR74M26x1W\n"\
|
||||||
|
"b8ravHNjkOR/ez4iyz0H7V84dJzjA1BOoa+Y7mHyhD8S\n"\
|
||||||
|
"-----END CERTIFICATE-----\n";
|
||||||
|
|
||||||
|
/* Some random input bytes to public key encrypt */
|
||||||
|
static const uint8_t pki_input[4096/8] = {
|
||||||
|
0, 1, 4, 6, 7, 9, 33, 103, 49, 11, 56, 211, 67, 92 };
|
||||||
|
|
||||||
|
/* Result of an RSA4096 operation using cert's public key
|
||||||
|
(raw PKI, no padding/etc) */
|
||||||
|
static const uint8_t pki_rsa4096_output[] = {
|
||||||
|
0x91, 0x87, 0xcd, 0x04, 0x80, 0x7c, 0x8b, 0x0b,
|
||||||
|
0x0c, 0xc0, 0x38, 0x37, 0x7a, 0xe3, 0x2c, 0x94,
|
||||||
|
0xea, 0xc4, 0xcb, 0x83, 0x2c, 0x77, 0x71, 0x14,
|
||||||
|
0x11, 0x85, 0x16, 0x61, 0xd3, 0x64, 0x2a, 0x0f,
|
||||||
|
0xf9, 0x6b, 0x45, 0x04, 0x66, 0x5d, 0x15, 0xf1,
|
||||||
|
0xcf, 0x69, 0x77, 0x90, 0xb9, 0x41, 0x68, 0xa9,
|
||||||
|
0xa6, 0xfd, 0x94, 0xdc, 0x6a, 0xce, 0xc7, 0xb6,
|
||||||
|
0x41, 0xd9, 0x44, 0x3c, 0x02, 0xb6, 0xc7, 0x26,
|
||||||
|
0xce, 0xec, 0x66, 0x21, 0xa8, 0xe8, 0xf4, 0xa9,
|
||||||
|
0x33, 0x4a, 0x6c, 0x28, 0x0f, 0x50, 0x30, 0x32,
|
||||||
|
0x28, 0x00, 0xbb, 0x2c, 0xc3, 0x44, 0x72, 0x31,
|
||||||
|
0x93, 0xd4, 0xde, 0x29, 0x6b, 0xfa, 0x31, 0xfd,
|
||||||
|
0x3a, 0x05, 0xc6, 0xb1, 0x28, 0x43, 0x57, 0x20,
|
||||||
|
0xf7, 0xf8, 0x13, 0x0c, 0x4a, 0x80, 0x00, 0xab,
|
||||||
|
0x1f, 0xe8, 0x88, 0xad, 0x56, 0xf2, 0xda, 0x5a,
|
||||||
|
0x50, 0xe9, 0x02, 0x09, 0x21, 0x2a, 0xfc, 0x82,
|
||||||
|
0x68, 0x34, 0xf9, 0x04, 0xa3, 0x25, 0xe1, 0x0f,
|
||||||
|
0xa8, 0x77, 0x29, 0x94, 0xb6, 0x9d, 0x5a, 0x08,
|
||||||
|
0x33, 0x8d, 0x27, 0x6a, 0xc0, 0x3b, 0xad, 0x91,
|
||||||
|
0x8a, 0x83, 0xa9, 0x2e, 0x48, 0xcd, 0x67, 0xa3,
|
||||||
|
0x3a, 0x35, 0x41, 0x85, 0xfa, 0x3f, 0x61, 0x1f,
|
||||||
|
0x80, 0xeb, 0xcd, 0x5a, 0xc5, 0x14, 0x7b, 0xab,
|
||||||
|
0x9c, 0x45, 0x11, 0xd2, 0x25, 0x9a, 0x16, 0xeb,
|
||||||
|
0x9c, 0xfa, 0xbe, 0x73, 0x18, 0xbd, 0x25, 0x8e,
|
||||||
|
0x99, 0x6d, 0xb3, 0xbc, 0xac, 0x2d, 0xa2, 0x53,
|
||||||
|
0xe8, 0x7c, 0x38, 0x1b, 0x7a, 0x75, 0xff, 0x76,
|
||||||
|
0x4f, 0x48, 0x5b, 0x39, 0x20, 0x5a, 0x7b, 0x82,
|
||||||
|
0xd3, 0x33, 0x33, 0x2a, 0xab, 0x6a, 0x7a, 0x42,
|
||||||
|
0x1d, 0x1f, 0xd1, 0x61, 0x58, 0xd7, 0x38, 0x52,
|
||||||
|
0xdf, 0xb0, 0x61, 0x98, 0x63, 0xb7, 0xa1, 0x4e,
|
||||||
|
0xdb, 0x9b, 0xcb, 0xb7, 0x85, 0xc4, 0x3e, 0x03,
|
||||||
|
0xe5, 0x59, 0x50, 0x28, 0x5a, 0x4d, 0x7f, 0x53,
|
||||||
|
0x2e, 0x99, 0x1d, 0x6d, 0x85, 0x27, 0x78, 0x34,
|
||||||
|
0x5e, 0xae, 0xc9, 0x1b, 0x37, 0x96, 0xde, 0x40,
|
||||||
|
0x87, 0x35, 0x3c, 0x1f, 0xe0, 0x8f, 0xfb, 0x3a,
|
||||||
|
0x58, 0x0e, 0x60, 0xe9, 0x06, 0xbd, 0x83, 0x03,
|
||||||
|
0x92, 0xde, 0x5e, 0x69, 0x28, 0xb1, 0x00, 0xeb,
|
||||||
|
0x44, 0xca, 0x3c, 0x49, 0x03, 0x10, 0xa8, 0x84,
|
||||||
|
0xa6, 0xbb, 0xd5, 0xda, 0x98, 0x8c, 0x6f, 0xa3,
|
||||||
|
0x0f, 0x39, 0xf3, 0xa7, 0x7d, 0xd5, 0x3b, 0xe2,
|
||||||
|
0x85, 0x12, 0xda, 0xa4, 0x4d, 0x80, 0x97, 0xcb,
|
||||||
|
0x11, 0xe0, 0x89, 0x90, 0xff, 0x5b, 0x72, 0x19,
|
||||||
|
0x59, 0xd1, 0x39, 0x23, 0x9f, 0xb0, 0x00, 0xe2,
|
||||||
|
0x45, 0x72, 0xc6, 0x9a, 0xbc, 0xe1, 0xd1, 0x51,
|
||||||
|
0x6b, 0x35, 0xd2, 0x49, 0xbf, 0xb6, 0xfe, 0xab,
|
||||||
|
0x09, 0xf7, 0x9d, 0xa4, 0x6e, 0x69, 0xb6, 0xf9,
|
||||||
|
0xde, 0xe3, 0x57, 0x0c, 0x1a, 0x96, 0xf1, 0xcc,
|
||||||
|
0x1c, 0x92, 0xdb, 0x44, 0xf4, 0x45, 0xfa, 0x8f,
|
||||||
|
0x87, 0xcf, 0xf4, 0xd2, 0xa1, 0xf8, 0x69, 0x18,
|
||||||
|
0xcf, 0xdc, 0xa0, 0x1f, 0xb0, 0x26, 0xad, 0x81,
|
||||||
|
0xab, 0xdf, 0x78, 0x18, 0xa2, 0x74, 0xba, 0x2f,
|
||||||
|
0xec, 0x70, 0xa2, 0x1f, 0x56, 0xee, 0xff, 0xc9,
|
||||||
|
0xfe, 0xb1, 0xe1, 0x9b, 0xea, 0x0e, 0x33, 0x14,
|
||||||
|
0x5f, 0x6e, 0xca, 0xee, 0x02, 0x56, 0x5a, 0x67,
|
||||||
|
0x42, 0x9a, 0xbf, 0x55, 0xc0, 0x0f, 0x8e, 0x01,
|
||||||
|
0x67, 0x63, 0x6e, 0xd1, 0x57, 0xf7, 0xf1, 0xc6,
|
||||||
|
0x92, 0x9e, 0xb5, 0x45, 0xe1, 0x50, 0x58, 0x94,
|
||||||
|
0x20, 0x90, 0x6a, 0x29, 0x2d, 0x4b, 0xd1, 0xb5,
|
||||||
|
0x68, 0x63, 0xb5, 0xe6, 0xd8, 0x6e, 0x84, 0x80,
|
||||||
|
0xad, 0xe6, 0x03, 0x1e, 0x51, 0xc2, 0xa8, 0x6d,
|
||||||
|
0x84, 0xec, 0x2d, 0x7c, 0x61, 0x02, 0xd1, 0xda,
|
||||||
|
0xf5, 0x94, 0xfa, 0x2d, 0xa6, 0xed, 0x89, 0x6a,
|
||||||
|
0x6a, 0xda, 0x07, 0x5d, 0x83, 0xfc, 0x43, 0x76,
|
||||||
|
0x7c, 0xca, 0x8c, 0x00, 0xfc, 0xb9, 0x2c, 0x23,
|
||||||
|
};
|
||||||
|
|
||||||
|
static const uint8_t pki_rsa2048_output[] = {
|
||||||
|
0x47, 0x0b, 0xe5, 0x8a, 0xcd, 0x2f, 0x78, 0x07,
|
||||||
|
0x69, 0x69, 0x70, 0xff, 0x81, 0xdf, 0x96, 0xf0,
|
||||||
|
0xed, 0x82, 0x3a, 0x3d, 0x46, 0xab, 0xe9, 0xc3,
|
||||||
|
0xb5, 0xd9, 0xca, 0xa2, 0x05, 0xa9, 0xf6, 0x6e,
|
||||||
|
0xad, 0x6c, 0xe0, 0xd1, 0xa2, 0xb4, 0xf2, 0x78,
|
||||||
|
0x4a, 0x93, 0xfc, 0x45, 0xe1, 0x9b, 0xdd, 0x62,
|
||||||
|
0xf9, 0x66, 0x2a, 0x14, 0x38, 0x12, 0xb6, 0x50,
|
||||||
|
0x0b, 0xe3, 0x53, 0x9c, 0x12, 0x56, 0xf1, 0xb7,
|
||||||
|
0x83, 0xd5, 0xf3, 0x24, 0x81, 0xcc, 0x5a, 0xeb,
|
||||||
|
0xec, 0xac, 0x68, 0xa8, 0x0c, 0xd7, 0x84, 0x7a,
|
||||||
|
0xbb, 0x77, 0x7b, 0xd5, 0x5b, 0xcf, 0x7b, 0x25,
|
||||||
|
0xd0, 0x75, 0x80, 0x21, 0x12, 0x97, 0x6b, 0xe1,
|
||||||
|
0xb6, 0x51, 0x12, 0x52, 0x6e, 0x01, 0x92, 0xb7,
|
||||||
|
0xcc, 0x70, 0x4b, 0x46, 0x11, 0x98, 0x5a, 0x84,
|
||||||
|
0x1c, 0x90, 0x45, 0x0f, 0x15, 0x77, 0xdb, 0x79,
|
||||||
|
0xe8, 0xff, 0x1f, 0xaa, 0x58, 0x95, 0xce, 0x3c,
|
||||||
|
0x65, 0x0c, 0x66, 0x29, 0xe1, 0x9c, 0x41, 0xbb,
|
||||||
|
0xde, 0x65, 0xb8, 0x29, 0x36, 0x94, 0xbd, 0x87,
|
||||||
|
0x93, 0x39, 0xc5, 0xeb, 0x49, 0x21, 0xc1, 0xeb,
|
||||||
|
0x48, 0xbd, 0x19, 0x13, 0x4d, 0x40, 0x90, 0x88,
|
||||||
|
0xc6, 0x12, 0xd9, 0xf7, 0xdd, 0xc8, 0x4f, 0x89,
|
||||||
|
0xc0, 0x91, 0xf8, 0xeb, 0xcf, 0xe3, 0x12, 0x17,
|
||||||
|
0x88, 0x9c, 0x88, 0xf4, 0xf5, 0xae, 0xf4, 0x15,
|
||||||
|
0xfe, 0x17, 0xf6, 0xa4, 0x74, 0x49, 0x02, 0x05,
|
||||||
|
0x11, 0x3b, 0x92, 0x25, 0x39, 0x2c, 0x4b, 0x08,
|
||||||
|
0x19, 0x76, 0x13, 0x8d, 0xf9, 0xda, 0xae, 0xdf,
|
||||||
|
0x30, 0xda, 0xcc, 0xbb, 0x3f, 0xb9, 0xb0, 0xd6,
|
||||||
|
0x5c, 0x78, 0x4b, 0x2b, 0x35, 0x51, 0x17, 0x48,
|
||||||
|
0xf5, 0xd4, 0x39, 0x7e, 0x05, 0x83, 0x68, 0x86,
|
||||||
|
0x44, 0x5f, 0x56, 0x1d, 0x2c, 0x53, 0xd3, 0x64,
|
||||||
|
0x3a, 0xb2, 0x0c, 0x4a, 0x85, 0xd6, 0x5b, 0x7e,
|
||||||
|
0xf9, 0xe9, 0x50, 0x29, 0x5d, 0x4f, 0xcc, 0xc9,
|
||||||
|
};
|
||||||
|
|
||||||
|
_Static_assert(sizeof(pki_rsa2048_output) == 2048/8, "rsa2048 output is wrong size");
|
||||||
|
_Static_assert(sizeof(pki_rsa4096_output) == 4096/8, "rsa4096 output is wrong size");
|
||||||
|
|
||||||
|
static void test_cert(const char *cert, const uint8_t *expected_output, size_t output_len);
|
||||||
|
|
||||||
|
TEST_CASE("mbedtls RSA4096 cert", "[mbedtls]")
|
||||||
|
{
|
||||||
|
|
||||||
|
test_cert(rsa4096_cert, pki_rsa4096_output, 4096/8);
|
||||||
|
}
|
||||||
|
|
||||||
|
TEST_CASE("mbedtls RSA2048 cert", "[mbedtls]")
|
||||||
|
{
|
||||||
|
test_cert(rsa2048_cert, pki_rsa2048_output, 2048/8);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void test_cert(const char *cert, const uint8_t *expected_output, size_t output_len)
|
||||||
|
{
|
||||||
|
mbedtls_x509_crt crt;
|
||||||
|
mbedtls_rsa_context *rsa;
|
||||||
|
char buf[output_len];
|
||||||
|
|
||||||
|
bzero(buf, output_len);
|
||||||
|
|
||||||
|
mbedtls_x509_crt_init(&crt);
|
||||||
|
|
||||||
|
TEST_ASSERT_EQUAL_HEX16_MESSAGE(0,
|
||||||
|
-mbedtls_x509_crt_parse(&crt,
|
||||||
|
(const uint8_t *)cert,
|
||||||
|
strlen(cert)+1),
|
||||||
|
"parse cert");
|
||||||
|
|
||||||
|
rsa = mbedtls_pk_rsa(crt.pk);
|
||||||
|
TEST_ASSERT_NOT_NULL(rsa);
|
||||||
|
|
||||||
|
TEST_ASSERT_EQUAL_HEX16_MESSAGE(0,
|
||||||
|
-mbedtls_rsa_check_pubkey(rsa),
|
||||||
|
"check cert pubkey");
|
||||||
|
|
||||||
|
mbedtls_x509_crt_info(buf, sizeof(buf), "", &crt);
|
||||||
|
puts(buf);
|
||||||
|
|
||||||
|
TEST_ASSERT_EQUAL_HEX16_MESSAGE(0,
|
||||||
|
-mbedtls_rsa_public(rsa, pki_input, (uint8_t *)buf),
|
||||||
|
"RSA PK operation");
|
||||||
|
|
||||||
|
/*
|
||||||
|
// Dump buffer for debugging
|
||||||
|
for(int i = 0; i < output_len; i++) {
|
||||||
|
printf("0x%02x, ", buf[i]);
|
||||||
|
}
|
||||||
|
printf("\n");
|
||||||
|
*/
|
||||||
|
|
||||||
|
TEST_ASSERT_EQUAL_HEX8_ARRAY(expected_output, buf, output_len);
|
||||||
|
|
||||||
|
mbedtls_x509_crt_free(&crt);
|
||||||
|
}
|
||||||
Loading…
Reference in New Issue
Block a user