Paper 2023/571

Fine-Grained Non-Interactive Key-Exchange: Constructions and Lower Bounds

Abstract

In this work, we initiate a study of $K$-NIKE protocols in the fine-grained setting, in which there is a polynomial gap between the running time of the honest parties and that of the adversary. Our goal is to show the possibility, or impossibility, of basing such protocols on weaker assumptions than those of $K$-NIKE for $K\ge 3$. Our contribution is threefold. - We show that random oracles can be used to obtain fine-grained $$-NIKE protocols for every constant $$. In particular, we show how to generalize Merkle's two-party protocol to $$ parties in such a way that the honest parties ask $$ queries each, while the adversary needs $$ queries to the random oracle to find the key. - We then improve the security by further using algebraic structures, while avoiding pairings. In particular, we show that there is a 4-party NIKE in Shoup's generic group model with a quadratic gap between the number of queries by the honest parties vs. that of the adversary. - Finally, we show a limitation of using purely algebraic methods for obtaining $$-NIKE. In particular, we show that any $$-query $$-NIKE protocol in Maurer's generic group model can be broken by a $$-query attacker. Maurer's GGM is more limited compared with Shoup's both for the parties and the adversary, as there are no explicit labels for the group elements. Despite being more limited, this model still captures the Diffie Hellman protocol. Prior to our work, it was open to break $$-NIKE protocols in Maurer's model with any polynomial number of queries.