Abstract
Counting the number of points of Jacobian varieties of hyperelliptic curves over finite fields is necessary for construction of hyperelliptic curve cryptosystems. Recently Gaudry and Harley proposed a practical algorithm for point counting of hyperelliptic curves. Their algorithm consists of two parts: firstly to compute the residue modulo an integer m of the order of a given Jacobian variety, and then search for the order by a square-root algorithm. In particular, the parallelized Pollard’s lambda—method was used as the square-root algorithm, which took 50CPU days to compute an order of 127 bits.
This paper shows a new variation of the baby step giant step algorithm to improve the square—root algorithm part in the Gaudry-Harley algorithm. With knowledge of the residue modulo m of the characteristic polynomial of the Frobenius endomorphism of a Jacobian variety, the proposed algorithm provides a speed up by a factor m, instead of √m in square—root algorithms. Moreover, implementation results of the proposed algorithm is presented including a 135-bit prime order computed in 16 hours on Alpha 21264/667MHz.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adleman, L.M., Huang, M.-D. Counting rational points on curves and Abelian varieties over finite fields. In Cohen, H., ed. ANTS-II, Lecture Notes in Computer Science, 1122 Springer-Verlag (1996) 1–16
Blackburn, S.R., Teske, E. Baby—step giant-step algorithms for non—uniform distributions. In Bosma, W., ed. ANTS-IV, Lecture Notes in Computer Science, 1838, Springer-Verlag (2000) 153–168
Bosma, W., Cannon, J. Handbook of Magma functions, University of Sydney, (2001) http://magma.maths.usyd.edu.au/
Cassels, J.W.S., Flynn, E.V. Prolegomena to middlebrow arithmetic of curves of genus 2, London Mathematical Society Lecture Note Series, 230, Cambridge University Press, 1996.
Cohen, H. A Course in Computational Algebraic Number Theory, Graduate Text in Mathematics, 138, Springer-Verlag, 1993.
Elkies, N.D. Elliptic and modular curves over finite fields and related computational issues. In Buell, D.A., Teitlbaum, J.T., eds. Computational perspectives on number theory, AMS (1995) 21–76
Frey, G., Rück, H.-G. A remark concerning m-divisibility and the discrete logarithm in the divisor class group of curves, Math. Comp. 62 (1994) 865–874
Galbraith, S.D. Weil descent of Jacobians. preprint (2001)
Gaudry, P., Harley, R. Counting points on hyperelliptic curves over finite fields. In Bosma, W., ed. ANTS-IV, Lecture Notes in Computer Science, 1838, Springer-Verlag (2000) 297–312
Gaudry, P. Algorithmique des courbes hyperelliptiques et applications à la cryptologie, PhD thesis, École polytechnique (2000)
Gaudry, P. Algorithms for counting points on curves. Talk at ECC 2001, The Fifth Workshop on Elliptic Curve Cryptography, Waterloo (2001) http://www.cacr.-math.uwaterloo.ca/conferences/2001/ecc/gaudry.ps
Gaudry, P., Gürel, N. An extension of Kedlaya’s point—counting algorithm to superelliptic curves. In Boyd, C., ed. Advances in Cryptology-ASIACRYPT2001, Lecture Notes in Computer Science, 2248, Springer-Verlag (2001) 480–494
Huang, M.-D., Ierardi, D. Counting rational point on curves over finite fields. J. Symb. Comp., 25, (1998) 1–21
Kampkötter, W. Explizite Gleichungen für Jacobische Varietäten hyperelliptischer Kurven, PhD thesis, GH Essen (1991)
Kedlaya, K.S. Counting points on hyperelliptic curves using Monsky—Washinitzer cohomology. to appear in the J. Ramanujan Mathematical Society (2001)
Lehmann, F., Maurer, M., Müller, V., Shoup, V. Counting the number of points on elliptic curves over finite fields of characteristic greater than three. In Adleman, L., M.D. Huang, eds. ANTS-I, Lecture Notes in Computer Science, 877, Springer-Verlag (1994) 60–70
Manin, J.I. The theory of commutative formal groups over fields of finite characteristic. Russian Mathematical Surveys 18 (1963) 1–83
Manin, J.I. The Hasse—Witt matrix of an algebraic curve. Trans. AMS 45 (1965) 245–264
Matsuo, K., Chao, J., Tsujii, S. Fast genus two hyperelliptic curve cryptosystems. Technical Report ISEC2001-31, IEICE Japan (2001)
Menezes, A., Vanstone, S., Zuccherato, R. Counting points on elliptic curves over \( \mathbb{F}_{2{}^m} \) . Math. Comp. 60 (1993) 407–420
Pila, J. Frobenius maps of Abelian varieties and finding roots of unity in finite fields. Math. Comp. 55 (1990) 745–763
Stein, A., Teske, E. Optimized baby step-giant step methods and applications to hyperelliptic function fields. Technical Report CORR 2001-62, Department of Combinatorics and Optimization, University of Waterloo (2001)
Stichtenoth, H. Algebraic function fields and codes, Universitext, Springer-Verlag, 1993.
Teske, E. Square—root algorithms for the discrete logarithm problem (A survey), In Public—Key Cryptography and Computational Number Theory, Walter de Gruyter, Berlin—New York (2001) 283–301
Shoup, V. A tour of NTL, (2001) http://www.shoup.net/ntl/
Yui, N. On the Jacobian varieties of hyperelliptic curves over fields of characteristic p > 2. J. Algebra 52 (1978) 378–410
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Matsuo, K., Chao, J., Tsujii, S. (2002). An Improved Baby Step Giant Step Algorithm for Point Counting of Hyperelliptic Curves over Finite Fields. In: Fieker, C., Kohel, D.R. (eds) Algorithmic Number Theory. ANTS 2002. Lecture Notes in Computer Science, vol 2369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45455-1_36
Download citation
DOI: https://doi.org/10.1007/3-540-45455-1_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43863-2
Online ISBN: 978-3-540-45455-7
eBook Packages: Springer Book Archive