Montgomery multiplication/reduction Notes: z cannot alias x or y
output
first multiplicand
second multiplicand
See Implementation
Montgomery multiplication/reduction Notes: z cannot alias x or y