Cryptology ePrint Archive: Report 2020/402

A Note on Low Order Assumptions in RSA groups

István András Seres and Péter Burcsi

Abstract: In this short note, we show that substantially weaker Low Order assumptions are sufficient to prove the soundness of Pietrzak's protocol for proof of exponentiation in groups of unknown order. This constitutes the first step to a better understanding of the asymptotic computational complexity of breaking the soundness of the protocol. Furthermore, we prove the equivalence of the (weaker) Low Order assumption(s) and the Factoring assumption in RSA groups for a non-negligible portion of moduli. We argue that in practice our reduction applies for a considerable amount of deployed moduli. Our results have cryptographic applications, most importantly in the theory of recently proposed verifiable delay function constructions. Finally, we describe how to certify RSA moduli free of low order elements.

Category / Keywords: foundations / number theory, RSA, factoring, complexity theory

Date: received 9 Apr 2020

Contact author: istvanseres at caesar elte hu,bupe@inf elte hu

Available format(s): PDF | BibTeX Citation

Version: 20200409:125449 (All versions of this report)

Short URL: ia.cr/2020/402


[ Cryptology ePrint archive ]