Coppersmith method

The Coppersmith method, proposed by Don Coppersmith, is a method to find small integer zeroes of univariate or bivariate polynomials modulo a given integer. The method uses the Lenstra–Lenstra–Lovász lattice basis reduction algorithm (LLL) to find a polynomial that has the same zeroes as the target polynomial but smaller coefficients. In cryptography, the Coppersmith method is mainly used in attacks on RSA when parts of the secret key are known and forms a base for Coppersmith's attack.

Approach

Coppersmith's approach is a reduction of solving modular polynomial equations to solving polynomials over the integers.

Let [math]\displaystyle{ F(x) = x^n+a_{n-1}x^{n-1}+\ldots +a_1x+a_0 }[/math] and assume that [math]\displaystyle{ F(x_0)\equiv 0 \pmod{M} }[/math] for some integer [math]\displaystyle{ |x_0|\lt M^{1/n} }[/math]. Coppersmith’s algorithm can be used to find this integer solution [math]\displaystyle{ x_0 }[/math].

Finding roots over Q is easy using, e.g., Newton's method, but such an algorithm does not work modulo a composite number M. The idea behind Coppersmith’s method is to find a different polynomial f related to F that has the same root [math]\displaystyle{ x_0 }[/math] modulo M, but has only small coefficients. If the coefficients and [math]\displaystyle{ x_0 }[/math] are small enough that [math]\displaystyle{ |f(x_0)| \lt M }[/math] over the integers, then we have [math]\displaystyle{ f(x_0) = 0 }[/math], so that [math]\displaystyle{ x_0 }[/math] is a root of f over Q and can be found easily. More generally, we can find a polynomial [math]\displaystyle{ f(x) }[/math] with the same root [math]\displaystyle{ x_0 }[/math] modulo some power [math]\displaystyle{ M^a }[/math] of M, satisfying [math]\displaystyle{ |f(x_0)| \lt M^a }[/math], and solve for [math]\displaystyle{ x_0 }[/math] as above.

Coppersmith's algorithm uses the Lenstra–Lenstra–Lovász lattice basis reduction algorithm (LLL) to construct the polynomial f with small coefficients. Given F, the algorithm constructs polynomials [math]\displaystyle{ p_1(x), p_2(x), \dots, p_n(x) }[/math] that all have the same root [math]\displaystyle{ x_0 }[/math] modulo [math]\displaystyle{ M^a }[/math], where a is some integer chosen based on the degree of F and the size of [math]\displaystyle{ x_0 }[/math]. Any linear combination of these polynomials also has [math]\displaystyle{ x_0 }[/math] as a root modulo [math]\displaystyle{ M^a }[/math].

The next step is to use the LLL algorithm to construct a linear combination [math]\displaystyle{ f(x)=\sum c_ip_i(x) }[/math] of the [math]\displaystyle{ p_i(x) }[/math] so that the inequality [math]\displaystyle{ |f(x_0)| \lt M^a }[/math] holds. Now standard factorization methods can calculate the zeroes of [math]\displaystyle{ f(x) }[/math] over the integers.

Implementations

Coppersmith's method for univariate polynomials is implemented in

• Magma as the function SmallRoots;
• PARI/GP as the function zncoppersmith;
• SageMath as the method small_roots.

References

• Coppersmith, D. (1996). "Finding a Small Root of a Univariate Modular Equation". Advances in Cryptology — EUROCRYPT '96. Lecture Notes in Computer Science. 1070. pp. 155–165. doi:10.1007/3-540-68339-9_14. ISBN 978-3-540-61186-8. 
• Coppersmith, D. (1996). "Finding a Small Root of a Bivariate Integer Equation; Factoring with High Bits Known". Advances in Cryptology — EUROCRYPT '96. Lecture Notes in Computer Science. 1070. pp. 178–189. doi:10.1007/3-540-68339-9_16. ISBN 978-3-540-61186-8. 
• Coron, J. S. (2004). "Finding Small Roots of Bivariate Integer Polynomial Equations Revisited". Advances in Cryptology - EUROCRYPT 2004. Lecture Notes in Computer Science. 3027. pp. 492–505. doi:10.1007/978-3-540-24676-3_29. ISBN 978-3-540-21935-4. https://iacr.org/archive/eurocrypt2004/30270487/bivariate.pdf. 
• Bauer, A.; Joux, A. (2007). "Toward a Rigorous Variation of Coppersmith's Algorithm on Three Variables". Advances in Cryptology - EUROCRYPT 2007. Lecture Notes in Computer Science. 4515. pp. 361–378. doi:10.1007/978-3-540-72540-4_21. ISBN 978-3-540-72539-8. 
• Coron, J. S. (2007). "Finding Small Roots of Bivariate Integer Polynomial Equations: A Direct Approach". Advances in Cryptology - CRYPTO 2007. Lecture Notes in Computer Science. 4622. pp. 379–394. doi:10.1007/978-3-540-74143-5_21. ISBN 978-3-540-74142-8. https://iacr.org/archive/crypto2007/46220372/46220372.pdf.