Description
E.Verheul proved that existence of a pairing inversion and a distortion map implies that the computational Diffie-Hellman problem is feasible. Recently some other formulations of a pairing inversion are proposed. We study their relations.