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.