From ea5514d74b27da9278f023e33b71b2f53de2a23e Mon Sep 17 00:00:00 2001 From: Sachin Parekh Date: Wed, 5 Jan 2022 15:23:44 +0530 Subject: [PATCH] ecp: Add support for hardware implementation of ECP routines - ESP32C2 has a hardware ECC accelerator that supports NIST P-192 and NIST P-256 curves, which can increase the performance of the point multiplication and point verification operation. - Provision is also added to fallback to software implementation in case the curve is not from the supported curves - Override ecp_mul_restartable_internal with accelerator - Many ECC operations use the internal API ecp_mul_restartable_internal instead of the public API mbedtls_ecp_mul for point multiplication. This will improve the performance of all those parent operations as well --- library/ecp.c | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/library/ecp.c b/library/ecp.c index 67c46f2c30..4a43cc82ca 100644 --- a/library/ecp.c +++ b/library/ecp.c @@ -1308,6 +1308,7 @@ cleanup: #endif /* !defined(MBEDTLS_ECP_NO_FALLBACK) || !defined(MBEDTLS_ECP_NORMALIZE_JAC_ALT) */ } +#if !defined(MBEDTLS_ECP_MUL_ALT) /* * Normalize jacobian coordinates of an array of (pointers to) points, * using Montgomery's trick to perform only one inversion mod P. @@ -1431,6 +1432,7 @@ cleanup: mbedtls_mpi_free( &tmp ); return( ret ); } +#endif /* MBEDTLS_ECP_MUL_ALT */ /* * Point doubling R = 2 P, Jacobian coordinates @@ -1636,6 +1638,7 @@ cleanup: #endif /* !defined(MBEDTLS_ECP_NO_FALLBACK) || !defined(MBEDTLS_ECP_ADD_MIXED_ALT) */ } +#if !defined(MBEDTLS_ECP_MUL_ALT) /* * Randomize jacobian coordinates: * (X, Y, Z) -> (l^2 X, l^3 Y, l Z) for random l @@ -2359,6 +2362,8 @@ cleanup: return( ret ); } +#endif /* MBEDTLS_ECP_MUL_ALT */ + #endif /* MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED */ #if defined(MBEDTLS_ECP_MONTGOMERY_ENABLED) @@ -2370,6 +2375,7 @@ cleanup: * For scalar multiplication, we'll use a Montgomery ladder. */ +#if !defined(MBEDTLS_ECP_MUL_ALT) /* * Normalize Montgomery x/z coordinates: X = X/Z, Z = 1 * Cost: 1M + 1I @@ -2565,18 +2571,27 @@ cleanup: return( ret ); } +#endif /* MBEDTLS_ECP_MUL_ALT */ #endif /* MBEDTLS_ECP_MONTGOMERY_ENABLED */ +#if !defined(MBEDTLS_ECP_MUL_ALT) /* * Restartable multiplication R = m * P * * This internal function can be called without an RNG in case where we know * the inputs are not sensitive. */ +#if defined(MBEDTLS_ECP_MUL_ALT_SOFT_FALLBACK) +int ecp_mul_restartable_internal_soft( mbedtls_ecp_group *grp, mbedtls_ecp_point *R, + const mbedtls_mpi *m, const mbedtls_ecp_point *P, + int (*f_rng)(void *, unsigned char *, size_t), void *p_rng, + mbedtls_ecp_restart_ctx *rs_ctx ) +#else static int ecp_mul_restartable_internal( mbedtls_ecp_group *grp, mbedtls_ecp_point *R, const mbedtls_mpi *m, const mbedtls_ecp_point *P, int (*f_rng)(void *, unsigned char *, size_t), void *p_rng, mbedtls_ecp_restart_ctx *rs_ctx ) +#endif { int ret = MBEDTLS_ERR_ECP_BAD_INPUT_DATA; #if defined(MBEDTLS_ECP_INTERNAL_ALT) @@ -2633,10 +2648,12 @@ cleanup: return( ret ); } +#endif /* MBEDTLS_ECP_MUL_ALT */ /* * Restartable multiplication R = m * P */ + int mbedtls_ecp_mul_restartable( mbedtls_ecp_group *grp, mbedtls_ecp_point *R, const mbedtls_mpi *m, const mbedtls_ecp_point *P, int (*f_rng)(void *, unsigned char *, size_t), void *p_rng, @@ -2667,7 +2684,10 @@ int mbedtls_ecp_mul( mbedtls_ecp_group *grp, mbedtls_ecp_point *R, return( mbedtls_ecp_mul_restartable( grp, R, m, P, f_rng, p_rng, NULL ) ); } +#if !defined(MBEDTLS_ECP_VERIFY_ALT) + #if defined(MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED) + /* * Check that an affine point is valid as a public key, * short weierstrass curves (SEC1 3.2.3.1) @@ -2716,6 +2736,7 @@ cleanup: return( ret ); } #endif /* MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED */ +#endif /* MBEDTLS_ECP_VERIFY_ALT */ #if defined(MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED) /* @@ -2877,6 +2898,8 @@ int mbedtls_ecp_muladd( mbedtls_ecp_group *grp, mbedtls_ecp_point *R, } #endif /* MBEDTLS_ECP_SHORT_WEIERSTRASS_ENABLED */ +#if !defined(MBEDTLS_ECP_VERIFY_ALT) + #if defined(MBEDTLS_ECP_MONTGOMERY_ENABLED) #if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED) #define ECP_MPI_INIT(s, n, p) {s, (n), (mbedtls_mpi_uint *)(p)} @@ -2990,11 +3013,19 @@ static int ecp_check_pubkey_mx( const mbedtls_ecp_group *grp, const mbedtls_ecp_ } #endif /* MBEDTLS_ECP_MONTGOMERY_ENABLED */ +#endif /* MBEDTLS_ECP_VERIFY_ALT */ + +#if !defined(MBEDTLS_ECP_VERIFY_ALT) /* * Check that a point is valid as a public key */ +#if defined(MBEDTLS_ECP_VERIFY_ALT_SOFT_FALLBACK) +int mbedtls_ecp_check_pubkey_soft( const mbedtls_ecp_group *grp, + const mbedtls_ecp_point *pt ) +#else int mbedtls_ecp_check_pubkey( const mbedtls_ecp_group *grp, const mbedtls_ecp_point *pt ) +#endif { ECP_VALIDATE_RET( grp != NULL ); ECP_VALIDATE_RET( pt != NULL ); @@ -3013,6 +3044,7 @@ int mbedtls_ecp_check_pubkey( const mbedtls_ecp_group *grp, #endif return( MBEDTLS_ERR_ECP_BAD_INPUT_DATA ); } +#endif /* MBEDTLS_ECP_VERIFY_ALT */ /* * Check that an mbedtls_mpi is valid as a private key