elliptic curve primality proving