diff --git a/library/ecp_invasive.h b/library/ecp_invasive.h index 31646b92d7..2854fb0a96 100644 --- a/library/ecp_invasive.h +++ b/library/ecp_invasive.h @@ -97,6 +97,12 @@ int mbedtls_ecp_mod_p192_raw(mbedtls_mpi_uint *Np, size_t Nn); #if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED) +/** Fast quasi-reduction modulo p521 = 2^521 - 1 (FIPS 186-3 D.2.5) + * + * \param[in,out] N_p The address of the MPI to be converted. + * Must have 2 * N - 1 limbs, where N is the modulus. + * \param[in] N_n The length of \p N_p in limbs. + */ MBEDTLS_STATIC_TESTABLE int ecp_mod_p521_raw(mbedtls_mpi_uint *N_p, size_t N_n);