Diffie Hellman Assumptions

This file gives a way to represent assumptions such as discrete log or Diffie Hellman. We represent this as hardness assumptions on the corresponding hard homogenous space.