← 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)=(p1)(q1)\varphi(N) = (p-1)(q-1), equivalently whether the map xxex \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.