Requires: (, , , , , , , )
Calculates: (, , )
;
;
;
;
;
;
;
;
;
;
if    then
  then
Notify:
Point_at_Infinity ();
else
Perform: PointDoubling Operation;
else
;
;
;
;
;
;
;
;
;
;
;
;
;
Provides: (, , )
Algorithm 8: Core EC Point Addition.