Hard Homogeneous Spaces

This file builds up the definition of security experiments for hard homogeneous spaces. We represent these spaces as an AddTorsor G P, i.e. a group G acting freely and transitively (equivalently bijectively) on the underlying set of points P.

If the AddTorsor is the action of exponention on a finite field these reduce to classical discrete log based assumptions.