Как можно доказать неразличимость?

Мне любопытно, как вычислительная неразличимость доказана.

Например, будет ли следующее вычисление неразличимым? Если да, то как мы это докажем?

Позволять $P_a$ быть вероятностной машиной, которая знает секрет $а$ и генерирует последовательность $n$ кортежи: $(x_1,{x_1}^a),...,(x_n,{x_n}^a)$ где $x_i$ для каждого кортежа случайным образом выбирается из циклической группы простого порядка. Аналогично, пусть PPT $P_b$ быть определен. Теперь пусть претендент случайным образом выбирает две последовательности, сгенерированные $P_a$ и $P_b$ (они могут быть оба из $P_a$или один из $P_a$ и один из $P_b$). Может ли один эффективный алгоритм определить, генерируются ли две последовательности двумя разными PPT?

Предположим, что применимы стандартные предположения о группах, например, сложность дискретного логарифмирования или решение Диффи-Хеллмана.