Requires: (, , , , )
Output: (, point on curve or point not on curve)
;
;
;
;
;
;
;
if    then
return: ( point on curve);
else
return: ( point not on curve);
Algorithm 6: Core EC Point Validation.