Hostname: page-component-8448b6f56d-wq2xx Total loading time: 0 Render date: 2024-04-24T02:53:37.805Z Has data issue: false hasContentIssue false
  • English
  • Français

Fast Jacobian Group Operations for C3,4 Curves over a Large Finite Field

Published online by Cambridge University Press:  01 February 2010

Fatima K. Abu Salem  and
Kamal khuri-makdisi
Fatima K. Abu Salem
Affiliation:
Computer Science Department, American University of Beirut, P. O. Box 11-0236, Beirut, Lebanonfa21@aub.edu.lb, http://www.cs.aub.edu.lb/fa21/
Kamal khuri-makdisi
Affiliation:
Mathematics Department and Center for Advanced Mathematical Sciences, American University of BeirutP. O. Box 11-0236, Beirut, Lebanon, kmakdisi@aub.edu.lb, http://people.aub.edu.lb/~kmakdisi/

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let C be an arbitrary smooth algebraic curve of genus g over a large finite field F. The authors of this paper revisit fast addition algorithms in the Jacobian of C due to Khuri-Makdisi [math.NT/0409209, to appear in Mathematics of Computation]. The algorithms, which reduce to linear algebra in vector spaces of dimension O(g) once |K| ≫ g and which asymptotically require O(g2.376) field operations using fast linear algebra, are shown to perform efficiently even for certain low genus curves. Specifically, the authors provide explicit formulae for performing the group law on Jacobians of C3,4 curves of genus 3. They show show that, typically, the addition of two distinct elements in the Jacobian of a C3,4 curve requires 117 multiplications and 2 inversions in K, and an element can be doubled using 129 multiplications and 2 inversions in K. This represents an improvement of approximately 20% over previous methods.

Type
Research Article
Information
LMS Journal of Computation and Mathematics , Volume 10 , 2007 , pp. 307 - 328
Copyright
Copyright © London Mathematical Society 2007

References

1.Avanzi, Roberto, Frey, Gerhard, Lange, Tanja and Oyono, Roger, ‘On using expansions to the base of -2’, Int. J. Gomput. Math. 81 (2004) 403–406.CrossRefGoogle Scholar
2.Basiri, Abdolali, Enge, Andreas, Faugère, Jean-Charles and Gürel, Nicolas, ‘Implementing the arithmetic of C3, 4 curves’, Algorithmic number theory-ANTS VI, Lecture Notes in Comput. Sci. 3076 (Springer, Berlin, 2004) 87–101.CrossRefGoogle Scholar
3.Basiri, Abdolali, Enge, Andreas, Faugère, Jean-Charles and Gürel, Nicolas, ‘The arithmetic of Jacobian groups of super elliptic cubics’, Math.Comp. 74 (2005) 389–410 (electronic).CrossRefGoogle Scholar
4.Diem, Claus, ‘An index calculus algorithm for plane curves of small degree’, Algorithmic number theory-ANTS VII, Lecture Notes in Comput. Sci. 4076 (Springer, Berlin, 2006) 543–557.CrossRefGoogle Scholar
5.Diem, Claus and Thomé, Emmanuel, ‘Index calculus in class groups of non-hyperelliptic curves of genus three’, preprint, 2006, http://www.math.uni-leipzig.de/~diem/preprints/non-he-genus3.ps: J. Cryptology, to appear.Google Scholar
6.Flon, Stéphane and Oyono, Roger, ‘Fast arithmetic on Jacobians of Picard curves’, Public key cryptography-PKC 2004, Lecture Notes in Comput. Sci. 2947 (Springer, Berlin, 2004) 55–68.CrossRefGoogle Scholar
7.Flon, Stéphane and Oyono, Roger and Ritzenthaler, Christophe, ‘Fast addition on non-hyperelliptic genus 3 curves’, preprint, 2004, http://www.math.uwaterloo.ca/~royono/Quartic.html, http://www.exp-math.uni-essen.de/~oyono/Quartic.html.Google Scholar
8.Hess, Florian, ‘Zur Divisorenklassengruppenberechnung in globalen Funktionenkörpern’, PhD thesis, Technische Universitat Berlin, 1999, http://www.math.tu-berlin.de/~kant/publications/diss/hess.pdf.Google Scholar
9.Khuri-Makdisi, Kamal, ‘Linear algebra algorithms for divisors on an algebraic curve’, Math. Comp. 73 (2004) 333–357 (electronic), http://arxiv.org/abs/math.NT/0105182.CrossRefGoogle Scholar
10.Khuri-Makdisi, Kamal, ‘Asymptotically fast group operations on Jacobians of general curves’, preprint (2004), Math. Comp., to appear http://arxiv.org/abs/math.NT/0409209.Google Scholar
Supplementary material: File

JCM 10 Salem and Khuri-Makdisi Appendix A Part 1

Salem and Khuri-Makdisi Appendix A Part 1

Download JCM 10 Salem and Khuri-Makdisi Appendix A Part 1(File)
File 32.2 KB
Supplementary material: File

JCM 10 Salem and Khuri-Makdisi Appendix A Part 2

Salem and Khuri-Makdisi Appendix A Part 2

Download JCM 10 Salem and Khuri-Makdisi Appendix A Part 2(File)
File 7.5 KB
Supplementary material: File

JCM 10 Salem and Khuri-Makdisi Appendix A Part 3

Salem and Khuri-Makdisi Appendix A Part 3

Download JCM 10 Salem and Khuri-Makdisi Appendix A Part 3(File)
File 5.5 KB