Section DRBG_S.
Variable Q : GroupElement.
Definition DRBG_S (f : GroupElement -> Comp bool) :=
f Q.

Theorem DRBG_S_DH : | Pr[DRBG_S G2] - Pr[DRBG_S DRBG_GB] | == @DDH_Advantage _ groupOp ident inverse _ g order A.