← Hardness assumptions

Phi-Hiding Assumption

Proposed by: Christian Cachin, Silvio Micali & Markus Stadler (1999) Category: Number-theoretic

Mathematical form

Let N=pqN = pq be an RSA modulus and ee a small prime (or prime power), e<N1/4e < N^{1/4}.

Assumption. The distributions

{(N,e):e∣φ(N)}and{(N,e):gcd⁡(e,φ(N))=1}\{ (N, e) : e \mid \varphi(N) \} \quad \text{and} \quad \{ (N, e) : \gcd(e, \varphi(N)) = 1 \}

(with NN sampled appropriately in each case) are computationally indistinguishable — i.e., it is hard to tell whether ee divides φ(N)=(p−1)(q−1)\varphi(N) = (p-1)(q-1), equivalently whether the map x↦xex \mapsto x^e on ZN∗\mathbb{Z}_N^* is ee-to-1 or a permutation.

Caveats and attacks

Importance

Source: assumptions/phi-hiding.md — corrections welcome via pull request.