Reducing elliptic curve logarithms to logarithms in a finite field | Synapse