The strong DH assumption (StDH) demands that the adversary solves the computational problemof computingguvfromgu,gv, but having access to a decisional oracleDDH(gu,·,·)checking for DHtuples.

the strong Diffie–Hellman (StDH), or the even more general Gap-Diffie–Hellman (GapDH) problem