← Hardness assumptions

NTRU Assumption

Proposed by: Jeffrey Hoffstein, Jill Pipher & Joseph Silverman (1996/1998) Category: Lattice / post-quantum (structured)

Mathematical form

Let Rq=Zq[X]/(Xd−1)R_q = \mathbb{Z}_q[X]/(X^d - 1) (original) or Zq[X]/(Xd+1)\mathbb{Z}_q[X]/(X^d + 1) (modern). Sample f,g∈Rf, g \in R with small coefficients (e.g., ternary), ff invertible in RqR_q, and set

h=g⋅f−1 mod q.h = g \cdot f^{-1} \bmod q.

NTRU key-recovery problem. Given hh, find any small (f′,g′)(f', g') with f′h≡g′(modq)f' h \equiv g' \pmod q.

Decisional NTRU. Distinguish h=gf−1 mod qh = g f^{-1} \bmod q from uniform u←Rqu \leftarrow R_q.

Equivalently: find a short vector in the 2d-dimensional NTRU lattice Λh={(u,v)∈R2:uh≡v(modq)}\Lambda_h = \{ (u, v) \in R^2 : uh \equiv v \pmod q \}, which contains the unusually short vector (f,g)(f, g).

Best known attacks

Importance

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