Abstract
In this paper, we generalize an approach of switching between different bases of a finite field to efficiently implement distinct stages of algebraic algorithms. We consider seven bases of finite fields supporting optimal normal bases of types 2 and 3: polynomial, optimal normal, permuted, redundant, reduced, doubled polynomial, and doubled reduced bases. With respect to fields of characteristic q = 7 we provide complexity estimates for conversion between the bases, multiplication, and exponentiation to a power \( q^{k} \), q-th root extraction. These operations are basic for inversion and exponentiation in \( GF\left( {7^{n} } \right) \). One needs a fast arithmetic in \( GF\left( {7^{n} } \right) \) for efficient computations in field extensions \( \left( {7^{2n} } \right) \), \( GF\left( {7^{3n} } \right),GF\left( {7^{6n} } \right) GF\left( {7^{14n} } \right),GF(7^{3 \times 14n} ) \) which are the core of the Tate pairing on a supersingular hyperelliptic curve of genus three. The latter serves for an efficient implementation of cryptographic protocols.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lidl, R., Niderreiter, H.: Finite Fields. Addison-Wesley Publishing Company, London (1983)
Jungnickel, D.: Finite Fields: Structure and Arithmetics. Wissenschaftsverlag, Mannheim (1993)
Koblitz, N.: Algebraic Aspects of Cryptography. Springer, Berlin (1998)
Koblitz, N., Menezes, A.: Pairing-based cryptography at high security levels. In: Proceedings of the Tenth IMA International Conference on Cryptography and Coding/LNCS 3796, pp. 3–36 (2005)
Joux, A.: One Round Protocol for Tripartite Diffie-Hellman. LNCS 1838, pp. 385–393 (2000)
Baretto, P.S.L.M., Kim, H.Y., Lynn, D., Scott, M.: Efficient Algorithms for Pairing-Based Cryptosystims. Crypto 2002, LNCS 2442, pp. 354–358 (2002)
Lee E., Lee H.-S., Lee Y. Fast computation of Tate pairing on general divisors for hyperelliptic curves of genus 3. — Cryptology ePrint Archive, Report 2006/125. — http://eprint.iacr.org/2006/125
Bolotov, A.A., Gashkov, S.B., Burtsev, A.A., Zhebet, S.Y., Frolov, A.B.: On hardware and software implementation of arithmetic in finite fields of characteristic 7 for calculation of pairings. J. Math. Sci. pp. 49–75 (2010) (Springer Science + Business Media, Inc., New York)
Mullin, R.C., Onyszchuk, I.M., Vanstone, S.A., Wilson, R.M.: Optimal Normal Bases in GF(pn). Discrete Appl. Math. 22, 149–161 (1988/89)
Bolotov, A.A., Gashkov, S.B.: On quick multiplication in normal bases of finite fields. Discrete Math. Appl. 11(4), 327–356 (2001)
Jamshid Shokrollahi. Efficient implementation of elliptic curve cryptography on FPGA. PhD thesis, universitet Bonn, 2007
von zur Gathen, J., Shokrollahi, A., Shokrollahi, J.: Efficient multiplication using type 2 optimal normal bases. In: WAIFI’07, LNCS, pp. 55–68 (2007)
Bernstein, D.J., Lange, T.: Type-II optimal polynomial bases. Arith. Finite Fields Proc. Lect. Notes Comput. Sci. 6087, 41–61 (2010)
Duursma, I., Lee, H.-S.: “Tate pairing implementation for hyperelliptic curves” y2 = xp − x + d. Asiacrypt-2003, LNCS 2894, pp. 111–123 (2003)
Gashkov, S., Frolov, A., Lukin, S., Sukhanova, O.: Arithmetic in the finite fields using optimal normal and polynomial bases in combination. In: Advances in Intelligent Systems and Computing. Volume 365. Theory and Engineering of Complex Systems and Dependability. Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCos-RELCOMEX, pp. 153–162, June 29–July 3 2015
Gashkov, S.B., Frolov, A.B., Lukin, S.A.: Optimal normal bases of 2-d and 3-d types in finite fields of characteristic 7. MPEI Bull. 1, 45–49 (2016). (In Russian)
Gashkov, S.B.: On fast multiplication of polynomials, the Fourier and Hartley transforms. Discrete Math. Appl. 10(5), 499–528 (2000)
Bernstein, D.J.: Minimum number of bit operations for multiplication. http://binary.cr.yp.to/m.html. Accessed 2009
Gashkov, S.B., Frolov, A.B., Shilkin, S.O.: On some algorithms of inversion and division in finite rings and fields. MPEI Bull. N6, 20–31 (2006) (in Russian)
Hankerson, D., Hernandez, J.L., Menezes, A.: Software implementation of elliptic curve cryptography over binary fields. Cryptographic Hardware and Embedded Systems, CHES 2000, LNCS 1965, pp. 1–24, Springer (2000)
Acknowledgments
This research was supported by the Russian Foundation for Basic Research, project 14-01-00671a.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Gashkov, S., Frolov, A., Sergeev, I. (2016). Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Dependability Engineering and Complex Systems. DepCoS-RELCOMEX 2016. Advances in Intelligent Systems and Computing, vol 470. Springer, Cham. https://doi.org/10.1007/978-3-319-39639-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-39639-2_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39638-5
Online ISBN: 978-3-319-39639-2
eBook Packages: EngineeringEngineering (R0)