← 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]/(Xd1)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,gRf, g \in R with small coefficients (e.g., ternary), ff invertible in RqR_q, and set

h=gf1modq.h = g \cdot f^{-1} \bmod q.

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

Decisional NTRU. Distinguish h=gf1modqh = g f^{-1} \bmod q from uniform uRqu \leftarrow R_q.

Equivalently: find a short vector in the 2d-dimensional NTRU lattice Λh={(u,v)R2:uhv(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.