mbedtls_mpi_core_from_mont_rep() function

Convert an MPI from Montgomery form. \p X may be aliased to \p A, but may not otherwise overlap it. \p X may not alias \p N (it is in canonical form, so must be strictly less than \p N). This function is a thin wrapper around `mbedtls_mpi_core_montmul()` that is an alternative to calling `mbedtls_mpi_mod_raw_from_mont_rep()` when we don't want to allocate memory.

Syntax

Show:

Summary

Declaration

Definition

from bignum_core.h:813

void mbedtls_mpi_core_from_mont_rep(mbedtls_mpi_uint *X, const mbedtls_mpi_uint *A, const mbedtls_mpi_uint *N, size_t AN_limbs, mbedtls_mpi_uint mm, mbedtls_mpi_uint *T);

Implemented in bignum_core.c:1008

Arguments

Argument

Description

The result of the conversion. Must have the same number of limbs as \p A.

The MPI to convert from Montgomery form. Must have the same number of limbs as the modulus.

The address of the modulus, which gives the size of the base `R` = 2^(biL*N->limbs).

AN_limbs

The number of limbs in \p X, \p A and \p N.

The Montgomery constant for \p N: -N^-1 mod 2^biL. This can be determined by calling `mbedtls_mpi_core_montmul_init()`.

Temporary storage of size at least `mbedtls_mpi_core_montmul_working_limbs(AN_limbs)` limbs. Its initial content is unused and its final content is indeterminate. It must not alias or otherwise overlap any of the other parameters.