Signatures Through Approximate Representations by Quadratic Forms

extended abstract
  • H. Ong
  • C. P. Schnorr

Abstract

We propose a signature scheme where the private key is a random (n, n)-matrix T with coefficients in ℤm=ℤ/mℤ, m a product of two large primes. The corresponding public key is A,m with A = TT. A signature y of a message z ∈ ℤm is any y∈(ℤm)n such that y Ay approximates z, e.g. \(\left| z-{{y}^{T}}Ay \right|<4{{m}^{{{2}^{-n}}}}\). Messages z can be efficiently signed using the private key T and by approximating z as a sum of squares. Even tighter approximations | z− yAy| can be achieved by tight signature procedures. Heuristical arguments show that forging signatures is not easier than factoring m. The prime decomposition of m is not needed for signing messages, however knowledge of this prime decomposition enables forging signatures. Distinct participants of the system may share the same modulus m provided that its prime decomposition is unknown. Our signature scheme is faster than the RSA-scheme.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexi, W.: personal communication.Google Scholar
  2. Artin, E.: Geometric Algebra. Interscience Publishers Inc.,New York 1957.Google Scholar
  3. Gauss, C.F.: Disquisitones Arithmeticae. Leipzig 1801. German translation: Untersuchungen über höhere Mathematik. Springer, Berlin 1889.Google Scholar
  4. Jacobson, N.: Basic Algebra I. Freeman Comp., San Francisco 1974Google Scholar
  5. Kannan, R.: Improved algorithms for integer programming and related lattice problems. 15th Symposium on Theory of Computing (1983), 183–206Google Scholar
  6. Lagarias, J.C.: The Computational Complexity of Simultaneous Diophantine Approximation Problems.Google Scholar
  7. Proceedings 23rd Symposium on Foundation of Computer Science (1982) 23–29.Google Scholar
  8. Lenstra, A.K., Lenstra, H.W.Jr., and Lovasz, L.: Factoring Polynomials with Rational Coefficients. TR 82–05, Mathematics Institute, University of Amsterdam, March 1982.Google Scholar
  9. Manders, K.L. and Adleman,L.: NP-complete Decision Problems for Binary Quadratic. J. Computer and System Science 16 (1978) 168–184.CrossRefGoogle Scholar
  10. Morrison, M.A. and Brillhart, J.: A method of factorization and the factorization of F7. Mathematics of Computation 29 (1975) 183–205.Google Scholar
  11. Rivest,R., Shamir,A. and Adleman,L.: A Method for Obtaining Digital Signatures and Public-key Cryptosystems. CACM 21–2 (1978) 120–126.Google Scholar
  12. Schnorr, C.P. and Lenstra,H.W.Jr.: A Monte Carlo Factoring Algorithm with Finite Storage. Preprint Universität Frankfurt 1982.Google Scholar
  13. Serre,J.P.: A Course in Arithmetic. Springer, New York 1973.Google Scholar

Copyright information

© Plenum Press, New York 1984

Authors and Affiliations

  • H. Ong
    • 1
  • C. P. Schnorr
    • 1
  1. 1.Fachbereich MathematikUniversität FrankfurtGermany

Personalised recommendations