Janos Follath

Add Montgomery conversion and high level I/O

3

**Prerequisites:** https://github.com/Mbed-TLS/mbedtls/issues/6015, https://github.com/Mbed-TLS/mbedtls/issues/6016 Add Montgomery conversion and high level I/O. Add missing fields to the `mbedtls_mpi_mont_struct` and update setup and free to initialise and free these fields: https://github.com/hanno-arm/mbedtls/blob/ecp_prototype/library/bignum_core.h#L86-L87 Extract functions...

Add the following functions to `bignum_mod` and `bignum_mod_raw` - `_equals()`: takes two MPI and a modulus argument and tests whether they are equal - `_is_zero()`: takes an MPI argument and...

**Prerequisites:** #6221, #6015 (for `add_if()`) Add `mbedtls_mpi_mod_raw_sub()` that takes a modulus structure and raw pointers to the operands and the result as parameters, and calculates the difference of the operands...

Prerequisites: #6221, #6223, #6015 (for add_if()) Add `mbedtls_mpi_mod_raw_add()` that takes a modulus structure and raw pointers to the operands and the result as parameters, and calculates the sum of the...

**Prerequisites:** #6018 Add conversion between moduli

**Prerequisites:** #6017 Add the following functions to `bignum_mod` and `bignum_mod_raw` - `_copy()`: Takes two MPIs and a modulus as parameters and copies one to the other - `_set_zero()`: Takes an...

**Prerequisites:** #6017 , #6221 , #6222 Add `mbedtls_mpi_mod_sub()` that takes a pointer to a modulus structure and pointers to residue structures for the operands and the result as parameters, and...

**Prerequisites:** #6017, #6223, #6225 Add `mbedtls_mpi_mod_add()` that takes a pointer to a modulus structure and pointers to residue structures for the operands and the result as parameters, and calculates the...

The task is to extract Montgomery multiplication from the [prototype](https://github.com/hanno-arm/mbedtls/tree/ecp_prototype): https://github.com/hanno-arm/mbedtls/blob/ecp_prototype/library/bignum_core.c#L366-L394 Doing this will involve extracting other core functions (like for example `MPI_CORE(sub)`) as well. This task is about extracting...

**Prerequisites:** #6017, #6231, #6293 Implement `mbedtls_mpi_mod_raw_inv_prime()`. The task is constrained to prime moduli and should use little Fermat to do the job: https://github.com/hanno-arm/mbedtls/blob/ecp_prototype/library/bignum_core.c#L605-L625 Unlike the prototype, this function does not...