Halving for the 2-Sylow subgroup of genus 2 curves over binary fields

We give a deterministic polynomial time algorithm to find the structure of the 2-Sylow subgroup of the Jacobian of a genus 2 curve over a finite field of characteristic 2. Our procedure starts with the points of order 2 and then performs a chain of successive halvings while such an operation makes sense. The stopping condition is triggered when certain polynomials fail to have roots in the base field, as previously shown by I. Kitamura, M. Katagi and T. Takagi. The structure of our algorithm is similar to the already known case of genus 1 and odd characteristic.

[1]  Kamal Khuri-Makdisi.  Linear algebra algorithms for divisors on an algebraic curve , 2004, Math. Comput..

[2]  Kwok-Wo Wong,et al.  Fast elliptic scalar multiplication using new double-base chain and point halving , 2006, Appl. Math. Comput..

[3]  Tsuyoshi Takagi,et al.  A Complete Divisor Class Halving Algorithm for Hyperelliptic Curve Cryptosystems of Genus Two , 2005, ACISP.

[4]  YoungJu Choie,et al.  Isomorphism Classes of Hyperelliptic Curves of Genus 2 over Fq , 2002, ACISP.

[5]  Tanja Lange,et al.  Formulae for Arithmetic on Genus 2 Hyperelliptic Curves , 2005, Applicable Algebra in Engineering, Communication and Computing.

[6]  Josep M. Miret,et al.  Determining the 2-Sylow subgroup of an elliptic curve over a finite field , 2005, Math. Comput..

[7]  Tanja Lange,et al.  Efficient Doubling on Genus Two Curves over Binary Fields , 2004, Selected Areas in Cryptography.

[8]  Gabriel Cardona,et al.  Curves of genus two over fields of even characteristic , 2002 .

[9]  Jeffrey Shallit,et al.  Algorithmic Number Theory , 1996, Lecture Notes in Computer Science.

[10]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[11]  A. M. Youssef,et al.  Efficient divisor class halving on genus two curves , 2007 .

[12]  D. Cantor.  Computing in the Jacobian of a hyperelliptic curve , 1987 .

[13]  Florian Hess,et al.  An Algorithm for Computing Weierstrass Points , 2002, ANTS.

[14]  Erik Woodward Knudsen,et al.  Elliptic Scalar Multiplication Using Point Halving , 1999, ASIACRYPT.

[15]  L. Hernández Encinas,et al.  A Review on the Isomorphism Classes of Hyperelliptic Curves of Genus 2 over Finite Fields Admitting a Weierstrass Point , 2006 .