diff --git a/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.html b/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.html index dc08126..0b5185d 100644 --- a/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.html +++ b/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.html @@ -1374,7 +1374,8 @@
Elliptic curve operations are written in additive notation:
+
denotes point addition, i.e., the curve group operation;
*
denotes point multiplication, i.e., repeated point addition;
-and +
also denotes scalar addition modulo the curve order.¶
+
also denotes scalar addition modulo the curve order.
+*
has higher precedence than +
, i.e., a + b * C
is equivalent to a + (b * C)
.¶
Random(min_inc, max_exc)
represents a cryptographically secure random integer
diff --git a/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.txt b/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.txt
index 69ed0ff..7d147bc 100644
--- a/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.txt
+++ b/review-2024-04-03/ec-arithmetic/draft-bradleylundberg-cfrg-arkg.txt
@@ -225,7 +225,8 @@ Table of Contents
* Elliptic curve operations are written in additive notation: +
denotes point addition, i.e., the curve group operation; * denotes
point multiplication, i.e., repeated point addition; and + also
- denotes scalar addition modulo the curve order.
+ denotes scalar addition modulo the curve order. * has higher
+ precedence than +, i.e., a + b * C is equivalent to a + (b * C).
* Random(min_inc, max_exc) represents a cryptographically secure
random integer greater than or equal to min_inc and strictly less