Alice and Bob wish to agree on a secret key .
Let be a large prime and a primitive root
Alice chooses and sends to Bob.
Similarly Bob sends to Alice for
Then both of them know the secret key
Conjecture
Finding from , and is essentially as difficult as solving the discrete logarithm problem.