Abstract
One of the recent thrust areas in research on hyperelliptic curve cryptography has been to obtain explicit formulae for performing arithmetic in the Jacobian of such curves. We continue this line of research by obtaining parallel versions of such formulae. Our first contribution is to develop a general methodology for obtaining parallel algorithm of any explicit formula. Any parallel algorithm obtained using our methodology is provably optimal in the number of multiplication rounds. We next apply this methodology to Lange’s explicit formula for arithmetic in genus 2 hyperelliptic curve – both for the affine coordinate and inversion free arithmetic versions. Since encapsulated add-and-double algorithm is an important countermeasure against side channel attacks, we develop parallel algorithms for encapsulated add-and-double for both of Lange’s versions of explicit formula. For the case of inversion free arithmetic, we present parallel algorithms using 4, 8 and 12 multipliers. All parallel algorithms described in this paper are optimal in the number of parallel rounds. One of the conclusions from our work is the fact that the parallel version of inversion free arithmetic is more efficient than the parallel version of arithmetic using affine coordinates.
Chapter PDF
Similar content being viewed by others
Keywords
References
Cantor, D.G.: Computing in the Jacobian of a Hyperelliptic curve. Mathematics of Computation 48, 95–101 (1987)
Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1997)
Coron, J.-S.: Resistance against Differential Power Analysis for Elliptic Curve Cryptosystems. In: Koç, Ç.K., Paar, C. (eds.) CHES 1999. LNCS, vol. 1717, pp. 292–302. Springer, Heidelberg (1999)
Gaudry, P., Harley, R.: Counting Points on Hyperelliptic Curves over Finite Fields. In: Bosma, W. (ed.) ANTS 2000. LNCS, vol. 1838, pp. 297–312. Springer, Heidelberg (2000)
Harley, R.: Fast Arithmetic on Genus 2 Curves (2000), Avaiable at: http://cristal.inria.fr/~harley/hyper
Izu, T., Takagi, T.: A Fast Parallel Elliptic Curve Multiplication Resistant against Side-Channel Attacks. Technical Report CORR 2002-03, University of Waterloo (2002), Available at: http://www.cacr.math.uwaterloo.ca
Izu, T., Möller, B., Takagi, T.: Improved Elliptic Curve Multiplication Methods Resistant Against Side Channel Attacks. In: Menezes, A., Sarkar, P. (eds.) INDOCRYPT 2002. LNCS, vol. 2551, pp. 296–313. Springer, Heidelberg (2002)
Koblitz, N.: Hyperelliptic Cryptosystems. Journal of Cryptology 1, 139–150 (1989)
Menezes, J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1997)
Lange, T.: Efficient Arithmetic on Hyperelliptic Curves. PhD thesis, Universität Gesamthochsschule Essen (2001)
Lange, T.: Efficient Arithmetic on Genus 2 Curves over Finite Fields via Explicit Formulae. Cryptology ePrint Archive, Report 2002/121 (2002), http://eprint.iacr.org/
Lange, T.: Inversion-free Arithmetic on Genus 2 Hyperelliptic Curves. Cryptology ePrint Archive, Report 2002/147 (2002), http://eprint.iacr.org/
Lange, T.: Weighted Co-ordinates on Genus 2 Hyperelliptic Curves. Cryptology ePrint Archive, Report 2002/153 (2002), http://eprint.iacr.org/
Matsuo, K., Chao, J., Tsujii, S.: Fast Genus Two Hyperelliptic Curve Cryptosystems. In: ISEC 2001, IEICE (2001)
Menezes, A., Wu, Y., Zuccherato, R.: An Elementary Introduction to Hyperelliptic Curves. Technical Report CORR 96-19, University of Waterloo, Canada (1996), Available at: http://www.cacr.math.uwaterloo.ca
Mishra, P.K., Sarkar, P.: Parallelizing Explicit Formula in the Jacobian of Hyperelliptic Curves (Full Version) Available at the Technical Report Section (Number 16) of http://www.isical.ac.in/~crg . Also available at IACR ePrint Archive, http://eprint.iacr.org/
Miyamoto, Y., Doi, H., Matsuo, K., Chao, J., Tsujii, S.: A fast addition algorithm for genus 2 hyperelliptic curves. In: Proc. of SCIS 2002, IEICE, Japan, pp. 497–502 (2002) (in Japanese)
Montgomery, P.: Speeding the Pollard and Elliptic Curve Methods for Factorisation. Math. Comp. 48, 243–264 (1987)
Nagao, K.: Improving Group Law Algorithms for Jacobians of Hyperelliptic Curves. In: Bosma, W. (ed.) ANTS 2000. LNCS, vol. 1838, Springer, Heidelberg (2000)
Pelzl, J., Wollinger, T., Guajardo, J., Paar, C.: Hyperelliptic Curve Cryptosystems: Closing the Performance Gap to Elliptic Curves. Cryptology ePrint Archive, Report 2003/026 (2003), http://eprint.iacr.org/
Pelzl, J., Wollinger, T., Paar, C.: Low Cost Security: Explicit Formulae for Genus 4 Hyperelliptic Curves. Cryptology ePrint Archive, Report 2003/097 (2003), http://eprint.iacr.org/
Spallek, M.: Kurven vom Geschletch 2 und irhe Anwendung in Public-Key- Kryptosystemen. PhD Thesis, Universität Gesamthochschule, Essen (1994)
Takahashi, M.: Improving Harley Algorithms for Jacobians of Genus 2 Hyperelliptic Curves. In: Proc. of SCIS 2002, ICICE, Japan (2002) (in Japanese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mishra, P.K., Sarkar, P. (2003). Parallelizing Explicit Formula for Arithmetic in the Jacobian of Hyperelliptic Curves. In: Laih, CS. (eds) Advances in Cryptology - ASIACRYPT 2003. ASIACRYPT 2003. Lecture Notes in Computer Science, vol 2894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40061-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-40061-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20592-0
Online ISBN: 978-3-540-40061-5
eBook Packages: Springer Book Archive