Requires: (, , , , , , , , )
Calculates: (, , )
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
Provides: (, , )
Algorithm 7: Core EC Point Doubling.