commit e5dab975c618928dbbb3dc378382e67c81dcac17
author Minos Galanakis <minos.galanakis@arm.com> Tue Apr 11 16:42:06 2023 +0100
committer Minos Galanakis <minos.galanakis@arm.com> Tue Apr 18 14:13:20 2023 +0100
tree 97fc5f63e9d76ad26f9e2e5dab271f0a44f9d7ff
parent 3c3b94a31b9d91e1579c48165658486171c82a36

ecp_curves: Added unit-tests for `secp224k1`

This patch introduces basic unit-testing for the `ecp_mod_p224k1()`.

The method is exposed through the ecp_invasive interface, and
the standard testing data is being provided by the python framework.

Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>

library/ecp_curves.c

diff --git a/library/ecp_curves.c b/library/ecp_curves.c
index 4b64d3a..4ebe5de 100644
--- a/library/ecp_curves.c
+++ b/library/ecp_curves.c
@@ -4612,7 +4612,8 @@
 int mbedtls_ecp_mod_p192k1(mbedtls_mpi *);
 #endif
 #if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED)
-static int ecp_mod_p224k1(mbedtls_mpi *);
+MBEDTLS_STATIC_TESTABLE
+int ecp_mod_p224k1(mbedtls_mpi *);
 #endif
 #if defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED)
 static int ecp_mod_p256k1(mbedtls_mpi *);
@@ -5628,7 +5629,8 @@
  * Fast quasi-reduction modulo p224k1 = 2^224 - R,
  * with R = 2^32 + 2^12 + 2^11 + 2^9 + 2^7 + 2^4 + 2 + 1 = 0x0100001A93
  */
-static int ecp_mod_p224k1(mbedtls_mpi *N)
+MBEDTLS_STATIC_TESTABLE
+int ecp_mod_p224k1(mbedtls_mpi *N)
 {
     static mbedtls_mpi_uint Rp[] = {
         MBEDTLS_BYTES_TO_T_UINT_8(0x93, 0x1A, 0x00, 0x00, 0x01, 0x00, 0x00,

library/ecp_invasive.h

diff --git a/library/ecp_invasive.h b/library/ecp_invasive.h
index 73b2a56..ae8598d 100644
--- a/library/ecp_invasive.h
+++ b/library/ecp_invasive.h
@@ -179,6 +179,12 @@
 int mbedtls_ecp_mod_p192k1(mbedtls_mpi *N);
 
 #endif /* MBEDTLS_ECP_DP_SECP192K1_ENABLED */
+#if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED)
+
+MBEDTLS_STATIC_TESTABLE
+int ecp_mod_p224k1(mbedtls_mpi *N);
+
+#endif /* MBEDTLS_ECP_DP_SECP224K1_ENABLED */
 
 /** Initialise a modulus with hard-coded const curve data.
  *