Abstract
In this paper, we present a new approach based on theta functions to compute Weil and Tate pairings. A benefit of our method, which does not rely on the classical Miller’s algorithm, is its generality since it extends to all abelian varieties the classical Weil and Tate pairing formulas. In the case of dimension 1 and 2 abelian varieties our algorithms lead to implementations which are efficient and naturally deterministic. We also introduce symmetric Weil and Tate pairings on Kummer varieties and explain how to compute them efficiently. We exhibit a nice algorithmic compatibility between some algebraic groups quotiented by the action of the automorphism − 1, where the ℤ-action can be computed efficiently with a Montgomery ladder type algorithm.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Birkenhake, C., Lange, H.: Complex abelian varieties, 2nd edn. Grundlehren der Mathematischen Wissenschaften, Fundamental Principles of Mathematical Sciences, vol. 302. Springer, Berlin (2004)
Cohen, H., Frey, G., Avanzi, R., Doche, C., Lange, T., Nguyen, K., Vercauteren, F. (eds.): Handbook of elliptic and hyperelliptic curve cryptography. Discrete Mathematics and its Applications. Chapman & Hall/CRC (2006)
Galbraith, S., Lin, X.: Computing pairings using x-coordinates only. Designs, Codes and Cryptography (2008)
Gaudry, P.: Fast genus 2 arithmetic based on Theta functions. J. of Mathematical Cryptology 1, 243–265 (2007)
Gaudry, P., Lubicz, D.: The arithmetic of characteristic 2 Kummer surfaces and of elliptic Kummer lines. Finite Fields Appl. 15(2), 246–260 (2009)
Igusa, J.-i.: Theta functions. Springer, New York (1972); Die Grundlehren der mathematischen Wissenschaften, Band 194
Koizumi, S.: Theta relations and projective normality of Abelian varieties. Amer. J. Math. 98(4), 865–889 (1976)
Lang, S.: Reciprocity and correspondences. Amer. J. Math. 80, 431–440 (1958)
Lichtenbaum, S.: Duality theorems for curves over p-adic fields. Invent. Math. 7, 120–136 (1969)
Lubicz, D., Robert, D.: Computing isogenies between abelian varieties (2010), http://arxiv.org/abs/1001.2016
Mumford, D.: On the equations defining abelian varieties. I. Invent. Math. 1, 287–354 (1966)
Mumford, D.: On the equations defining abelian varieties. II. Invent. Math. 3, 75–135 (1967)
Mumford, D.: Abelian varieties. Tata Institute of Fundamental Research Studies in Mathematics, vol. 5. Published for the Tata Institute of Fundamental Research, Bombay (1970)
Mumford, D.: Tata lectures on theta I. Progress in Mathematics, vol. 28. Birkhäuser Boston Inc., Boston (1983); With the assistance of Musili, C., Nori, M., Previato E., Stillman, M.
Mumford, D.: Tata lectures on theta II. Progress in Mathematics, vol. 43. Birkhäuser Boston Inc., Boston (1984); Jacobian theta functions and differential equations, With the collaboration of Musili, C., Nori, M., Previato, E., Stillman, M., Umemura, H.
Silverman, J.H.: The arithmetic of elliptic curves. Graduate Texts in Mathematics, vol. 106. Springer, New York (1986); Corrected reprint of the 1986 original (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lubicz, D., Robert, D. (2010). Efficient Pairing Computation with Theta Functions. In: Hanrot, G., Morain, F., Thomé, E. (eds) Algorithmic Number Theory. ANTS 2010. Lecture Notes in Computer Science, vol 6197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14518-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-14518-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14517-9
Online ISBN: 978-3-642-14518-6
eBook Packages: Computer ScienceComputer Science (R0)