Cryptographic applications of capacity theory: On the optimality of Coppersmith's method for univariate polynomials
Ted Chinburg, Brett Hemenway, Nadia Heninger, Zachary Scherr

TL;DR
This paper establishes the optimality of Coppersmith's method for univariate polynomials using capacity theory, proving no better auxiliary polynomials can find roots of size beyond a certain bound, independent of lattice algorithms.
Contribution
It introduces a novel connection between capacity theory and Coppersmith's method, proving the method's bounds are fundamentally optimal and ruling out superpolynomial improvements.
Findings
Coppersmith's bound is proven to be optimal for univariate polynomials.
No auxiliary polynomial of the used type can find roots larger than N^{1/d+ε}.
Results extend to binomial polynomial constructions, ruling out improvements unless N has small prime factors.
Abstract
We draw a new connection between Coppersmith's method for finding small solutions to polynomial congruences modulo integers and the capacity theory of adelic subsets of algebraic curves. Coppersmith's method uses lattice basis reduction to construct an auxiliary polynomial that vanishes at the desired solutions. Capacity theory provides a toolkit for proving when polynomials with certain boundedness properties do or do not exist. Using capacity theory, we prove that Coppersmith's bound for univariate polynomials is optimal in the sense that there are \emph{no} auxiliary polynomials of the type he used that would allow finding roots of size for monic degree- polynomials modulo . Our results rule out the existence of polynomials of any degree and do not rely on lattice algorithms, thus eliminating the possibility of even superpolynomial-time improvements to…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
