Elliptic curves and primality proving | Synapse