UPDATE 20220330: Răspuns nou în urma clarificării întrebării; răspunsul vechi reținut pentru a înțelege comentariile.
Cred că ceea ce întrebi este dacă fragmentele din $y$ acționează ca o funcție de bază pe inversul unei funcții unidirecționale (în acest caz, funcția logaritmului discret modulo $n$).Pentru detalii despre funcțiile de bază, consultați, de exemplu, secțiunea 2.4 pentru Bazele criptografiei). Cu toate acestea, dacă inversul unei funcții unidirecționale este ușor de calculat (ceea ce este adevărat în cazul tău, deoarece funcția de exponențiere poate fi calculată în timp polinomial), atunci nu există funcții de bază.
Criptografii nu formulează acest lucru în termeni de distribuție uniformă, ci în termeni de discriminatori care pot fi calculați în timp polinomial și oferă un avantaj netrivial (a se vedea definiția 2.4 din note). Ei spun că un predicat $b(y)$ este hard-core pentru $f$ dacă pentru toți discriminatorii de timp polinomii avem
$$\mathbb P(A(f(U_n)),1^n)=b(U_n)<1/2+1/p(n).$$
In cazul tau $f$ este funcția $y=g^x\mod n\mapsto x$ și funcția ta $b$ este $i$al-lea bucată de $y=g^x\mod n$. Totuși, am discriminatorul contra-exemplu $A(z,1^n)$ care este de a calcula $g^z\mod n$ (în timp polinomial) și uită-te la $i$al-lea bit. Acest lucru discriminează răspunsurile cu probabilitatea 1 deoarece cu primul argument $f(y)=x$ se întoarce $b(y)$.
Cu alte cuvinte, există o lipsă de uniformitate verificabilă din punct de vedere computațional, deoarece pot testa rapid $x$ valori pentru a vedea dacă produc sau nu rezultate care se află în $Y'$.
Vechi răspuns.
Da. Lăsa $|Y'|=M$ si lasa $z$ fi orice element al $Y'$ atunci teorema lui Bayes ne spune că
$$\mathbb P(g^x\mod n=z|g^x\mod n\in Y')=\frac{\mathbb P(g^x\mod n=z)\mathbb P(g^x \mod n\in Y'|g^c\mod n=z)}{\mathbb P(g^x\mod n\in Y')}.$$
Acum notăm că $\mathbb P(g^x\mod n=z)=1/\phi(n)$ (prin uniformitatea observată în întrebare), $\mathbb P(g^x\mod n\in Y'|g^c\mod n=z)=1$ și asta $\mathbb P(g^x\mod n\in Y')=M/\phi(n)$ (din nou prin uniformitatea în întrebare). Prin urmare
$$\mathbb P(g^x\mod n=z|g^x\mod n\in Y')=1/M$$
pentru toți $z\în Y'$ care descrie o distribuţie uniformă.