ds_encT_fake'.qrhl

# Autogenerated file (by replacing game0FO -> game0FO', game1FO -> game1FO', etc. etc. in ds_encT_fake.qrhl)

include "Adv_DS_encT'.qrhl".
include "queryG.qrhl".

program ds_encT_fake' := {
  G <$ uniform UNIV;
  (pk,sk) <$ keygenT G;
  cstar <$ fakeencT G pk;
  in_pk <- pk;
  in_cstar <- cstar;
  call Adv_DS_encT'(queryG);
}.