Abstract
We apply deformation theory to compute zeta functions in a family of C a,b curves over a finite field of small characteristic. The method combines Denef and Vercauteren’s extension of Kedlaya’s algorithm to C a,b curves with Hubrechts’ recent work on point counting on hyperelliptic curves using deformation. As a result, it is now possible to generate C a,b curves suitable for use in cryptography in a matter of minutes.
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
Castryck, W., Denef, J., Vercauteren, F.: Computing zeta functions of nondegenerate curves. IMRP Int. Math. Res. Pap. 57, Art. ID 72017 (2006)
Cohen, H., Frey, G., Avanzi, R., Doche, C., Lange, T., Nguyen, K., Vercauteren, F.: Handbook of Elliptic and Hyperelliptic Curve Cryptography. In: Discrete Mathematics and its Applications, Chapman & Hall/CRC (2005)
Denef, J., Vercauteren, F.: Counting points on \(C\sb {ab}\) curves using Monsky-Washnitzer cohomology. Finite Fields Appl. 12(1), 78–102 (2006)
Edixhoven, B., Couveignes, J.M., de Jong, R., Merkl, F., Bosman, J.: On the computation of coefficients of a modular form (2006), http://arxiv.org/abs/math/0605244
von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, New York (1999)
Gaudry, P., Gürel, N.: An extension of Kedlaya’s point-counting algorithm to superelliptic curves. In: Boyd, C. (ed.) ASIACRYPT 2001. LNCS, vol. 2248, pp. 480–494. Springer, Heidelberg (2001)
Gaudry, P., Schost, É.: Construction of secure random curves of genus 2 over prime fields. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol. 3027, pp. 239–256. Springer, Heidelberg (2004)
Hubrechts, H.: Memory efficient hyperelliptic curve point counting (preprint, 2006), http://arxiv.org/abs/math/0609032
Hubrechts, H.: Point counting in families of hyperelliptic curves. In: Foundations of Computational Mathematics (to appear)
Kedlaya, K.S.: Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology. J. Ramanujan Math. Soc. 16(4), 323–338 (2001)
Kedlaya, K.S.: p-Adic Cohomology: From Theory to Practice. Arizona Winter School 2007 Lecture Notes (2007)
Lauder, A.G.B., Wan, D.: Counting points on varieties over finite fields of small characteristic. In: Buhler, J.P., Stevenhagen, P. (eds.) Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography, vol. 44, Mathematical Sciences Research Institute Publications (to appear, 2007)
Lauder, A.G.B.: Deformation theory and the computation of zeta functions. Proc. London Math. Soc. (3) 88(3), 565–602 (2004)
Lauder, A.G.B.: A recursive method for computing zeta functions of varieties. LMS J. Comput. Math. 9, 222–269 (2006)
Mestre, J.F.: Lettre adressée à Gaudry et Harley (December 2000), http://www.math.jussieu.fr/~mestre/
van der Put, M.: The cohomology of Monsky and Washnitzer. In: Mém. Soc. Math. France (N.S.), vol. 23(4), pp. 33–59 (1986); Introductions aux cohomologies p-adiques (Luminy, 1984)
Satoh, T.: The canonical lift of an ordinary elliptic curve over a finite field and its point counting. J. Ramanujan Math. Soc. 15(4), 247–270 (2000)
Schoof, R.: Counting points on elliptic curves over finite fields. J. Théor. Nombres Bordeaux 7(1), 219–254 (1995); Les Dix-huitièmes Journées Arithmétiques (Bordeaux, 1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castryck, W., Hubrechts, H., Vercauteren, F. (2008). Computing Zeta Functions in Families of C a,b Curves Using Deformation. In: van der Poorten, A.J., Stein, A. (eds) Algorithmic Number Theory. ANTS 2008. Lecture Notes in Computer Science, vol 5011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79456-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-79456-1_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79455-4
Online ISBN: 978-3-540-79456-1
eBook Packages: Computer ScienceComputer Science (R0)