EC Cryptography Tutorials - Herong's Tutorial Examples - v1.03, by Herong Yang
Associativity of Elliptic Curve Operations
This section describes the associativity of the addition operation on an elliptic curve. P + (Q + S) = (P + Q) + S is true.
If we want to support multiple addition and subtraction operations sequentially on an elliptic curve, we must verify the "associativity" property of those operations. In other words, is the following statement true or not:
P + (Q + S) = (P + Q) + S
It turns out that the above statement is true. So our addition operation on an elliptic curve is "associative".
You can verify this by following our geometrical steps that defines the addition operation with several example points.
Table of Contents
►Geometric Introduction to Elliptic Curves
Elliptic Curve Geometric Properties
Addition Operation on an Elliptic Curve
Prove of Elliptic Curve Addition Operation
Same Point Addition on an Elliptic Curve
Infinity Point on an Elliptic Curve
Negation Operation on an Elliptic Curve
Subtraction Operation on an Elliptic Curve
Identity Element on an Elliptic Curve
Commutativity of Elliptic Curve Operations
►Associativity of Elliptic Curve Operations
Elliptic Curve Operation Summary
Algebraic Introduction to Elliptic Curves
Abelian Group and Elliptic Curves
Discrete Logarithm Problem (DLP)
Generators and Cyclic Subgroups
tinyec - Python Library for ECC
ECDH (Elliptic Curve Diffie-Hellman) Key Exchange
ECDSA (Elliptic Curve Digital Signature Algorithm)