In order to add code to make the Lookup_Table store table entries in Montgomery form (Issue 253) we need Hacl code to support converting to/from Montgomery form. We also need the Hacl functions to perform multiply with modular reduction.
Possible Implementation
The code to do this is in the Hacl-star repos. The gcc-compatible repo seems to be correct one to pull from.
Is there an existing issue for this?
Suggestion
In order to add code to make the Lookup_Table store table entries in Montgomery form (Issue 253) we need Hacl code to support converting to/from Montgomery form. We also need the Hacl functions to perform multiply with modular reduction.
Possible Implementation
The code to do this is in the Hacl-star repos. The gcc-compatible repo seems to be correct one to pull from.
Anything else?
#