G'(n) = Expand(Extract(H(Sig(sk, tag1)), G(L)), tag2, n)