Correct comment that p{256,384}_montjadd are complete

ctz · Feb 23, 2025 · fd84f5f · fd84f5f
1 parent 4a13b2a
commit fd84f5f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/graviola/src/mid/p256.rs b/graviola/src/mid/p256.rs
@@ -57,7 +57,7 @@ impl PublicKey {
         let rhs = JacobianMontPoint::public_multiply_w5(&u2, &self.precomp_w5);
 
         // nb. if lhs == rhs, then we need a doubling rather than addition
-        // (even complete point addition formula is only defined for P != Q)
+        // (because `p256_montjadd` doesn't handle P + P.)
         let point = if lhs.public_eq(&rhs) {
             lhs.double()
         } else {

diff --git a/graviola/src/mid/p384.rs b/graviola/src/mid/p384.rs
@@ -57,7 +57,7 @@ impl PublicKey {
         let rhs = JacobianMontPoint::public_multiply_w5(&u2, &self.precomp_w5);
 
         // nb. if lhs == rhs, then we need a doubling rather than addition
-        // (even complete point addition formula is only defined for P != Q)
+        // (because `p384_montjadd` doesn't handle P + P.)
         let point = if lhs.public_eq(&rhs) {
             lhs.double()
         } else {