On the Analysis of Cryptographic Assumptions in the Generic Ring Model
- Tibor JagerAffiliated withInstitut für Kryptographie und Sicherheit, Karlsruhe Institute of Technology Email author
- , Jörg SchwenkAffiliated withHorst Görtz Institute for IT Security, Ruhr-University Bochum
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
The generic ring model considers algorithms that operate on elements of an algebraic ring by performing only the ring operations and without exploiting properties of a given representation of ring elements. It is used to analyze the hardness of computational problems defined over rings. For instance, it is known that breaking RSA is equivalent to factoring in the generic ring model (Aggarwal and Maurer, Eurocrypt 2009). Do hardness results in the generic ring model support the conjecture that solving the considered problem is also hard in the standard model, where elements of ℤ n are represented by integers modulo n?
We prove in the generic ring model that computing the Jacobi symbol of an integer modulo n is equivalent to factoring. Since there are simple and efficient non-generic algorithms which compute the Jacobi symbol, this provides an example of a natural computational problem which is hard in the generic ring model, but easy to solve if elements of ℤ n are given in their standard representation as integers. Thus, a proof in the generic ring model is unfortunately not a very strong indicator for the hardness of a computational problem in the standard model.
Despite this negative result, generic hardness results still provide a lower complexity bound for a large class of algorithms, namely all algorithms solving a computational problem independent of a given representation of ring elements. From this point of view, results in the generic ring model are still interesting. Motivated by this fact, we also show that solving the quadratic residuosity problem generically is equivalent to factoring.
Key wordsGeneric ring model Jacobi symbol Subset membership problems Idealized models of computation Quadratic residuosity assumption
- On the Analysis of Cryptographic Assumptions in the Generic Ring Model
Journal of Cryptology
Volume 26, Issue 2 , pp 225-245
- Cover Date
- Print ISSN
- Online ISSN
- Additional Links
- Generic ring model
- Jacobi symbol
- Subset membership problems
- Idealized models of computation
- Quadratic residuosity assumption
- Industry Sectors