← Hardness assumptions

Integer Factorization Assumption

Proposed by: Implicit since antiquity; cryptographic use by Rivest, Shamir & Adleman (1978) Category: Number-theoretic

Mathematical form

Let GenModulus(1n)\mathsf{GenModulus}(1^n) output N=pqN = pq where p,qp, q are uniformly random n/2n/2-bit primes.

Assumption. For every PPT algorithm A\mathcal{A}:

Pr[(N,p,q)GenModulus(1n);  A(N){p,q}]ε(n)\Pr\left[ (N, p, q) \leftarrow \mathsf{GenModulus}(1^n) ;\; \mathcal{A}(N) \in \{p, q\} \right] \leq \varepsilon(n)

for some negligible ε\varepsilon. Variants restrict to safe primes (p=2p+1p = 2p'+1 with pp' prime) or Blum integers (pq3(mod4)p \equiv q \equiv 3 \pmod 4, used in the Rabin function and Blum–Blum–Shub PRG, where inverting is provably equivalent to factoring).

Best known attacks

Importance

Source: assumptions/factoring.md — corrections welcome via pull request.