From af2d2226b1fa739ed9ba9a279fe771109c7a9751 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 1 Feb 2019 15:10:31 -0500 Subject: Update with davidben's and Andres' suggestions --- secp256k1_64.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'secp256k1_64.c') diff --git a/secp256k1_64.c b/secp256k1_64.c index 133702645..04bb1c8e8 100644 --- a/secp256k1_64.c +++ b/secp256k1_64.c @@ -59,7 +59,7 @@ static void fiat_secp256k1_subborrowx_u64(uint64_t* out1, fiat_secp256k1_uint1* } /* - * The function fiat_secp256k1_mulx_u64 is an extended multiplication. + * The function fiat_secp256k1_mulx_u64 is a multiplication, returning the full double-width result. * out1 = (arg1 * arg2) mod 2^64 * ∧ out2 = ⌊arg1 * arg2 / 2^64⌋ * Input Bounds: -- cgit v1.2.3