diff options
Diffstat (limited to 'p256_32.c')
-rw-r--r-- | p256_32.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ static void fiat_p256_subborrowx_u32(uint32_t* out1, fiat_p256_uint1* out2, fiat } /* - * The function fiat_p256_mulx_u32 is an extended multiplication. + * The function fiat_p256_mulx_u32 is a multiplication, returning the full double-width result. * out1 = (arg1 * arg2) mod 2^32 * ∧ out2 = ⌊arg1 * arg2 / 2^32⌋ * Input Bounds: |