commit 9684d4dc58a413d46caf9190edec2497130f71d0
author Gabor Mezei <gabor.mezei@arm.com> Mon Jan 16 16:50:11 2023 +0100
committer Gabor Mezei <gabor.mezei@arm.com> Tue Jan 17 13:16:46 2023 +0100
tree 84647f56f998fd17e6f41246f3c361d31d3a9c42
parent 461b8254d0054c6d5ae51a22d0706af80b1ca52e

Add quasi-reduction function for ecp

Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>

library/ecp.c

diff --git a/library/ecp.c b/library/ecp.c
index d9d5425..835bfa3 100644
--- a/library/ecp.c
+++ b/library/ecp.c
@@ -79,6 +79,8 @@
 
 #include "bn_mul.h"
 #include "ecp_invasive.h"
+#include "ecp_internal.h"
+#include "bignum_core.h"
 
 #include <string.h>
 
@@ -1029,6 +1031,20 @@
     return ret;
 }
 
+int mbedtls_ecp_quasi_reduction(mbedtls_mpi_uint *X,
+                                const mbedtls_mpi_mod_modulus *N)
+{
+    if (N->limbs == 0) {
+        return MBEDTLS_ERR_ECP_BAD_INPUT_DATA;
+    }
+
+    mbedtls_mpi_uint c = mbedtls_mpi_core_sub(X, X, N->p, N->limbs);
+
+    (void) mbedtls_mpi_core_add_if(X, N->p, N->limbs, (unsigned) c);
+
+    return 0;
+}
+
 /*
  * Fast mod-p functions expect their argument to be in the 0..p^2 range.
  *