From d06a05b9b28f9f58847fc6ea988b442584ea388f Mon Sep 17 00:00:00 2001 From: Brian McSwiggen Date: Fri, 8 Sep 2023 15:02:21 -0400 Subject: [PATCH] Update TODO comment --- src/Bedrock/End2End/X25519/EdwardsXYZT.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Bedrock/End2End/X25519/EdwardsXYZT.v b/src/Bedrock/End2End/X25519/EdwardsXYZT.v index c9d7ffabdd..17fe942592 100644 --- a/src/Bedrock/End2End/X25519/EdwardsXYZT.v +++ b/src/Bedrock/End2End/X25519/EdwardsXYZT.v @@ -75,7 +75,7 @@ Definition add_precomputed := func! (ox, oy, oz, ot, X1, Y1, Z1, T1, ypx2, ymx2, }. (* Equivalent of m1double in src/Curves/Edwards/XYZT/Basic.v *) -(* TODO: T is unused..? *) +(* Note: T is unused, but leaving in place in case we want to switch to a point struct in the future *) Definition double := func! (ox, oy, oz, ot, X, Y, Z, T) { stackalloc 40 as trX; fe25519_square(trX, X);