Elliptic curve primality prover.