This is a assumption involving Discrete Logarithms in Cyclic Groups. Definition With a Cyclic Group G, order q with generator g Given (ga,gb,gc), gab will look like a random element in G