×

Minimality of the Hamming weight of the \(\tau \)-NAF for Koblitz curves and improved combination with point halving. (English) Zbl 1151.94474

Preneel, Bart (ed.) et al., Selected areas in cryptography. 12th international workshop, SAC 2005, Kingston, ON, Canada, August 11–12, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-33108-7/pbk). Lecture Notes in Computer Science 3897, 332-344 (2006).
Summary: In order to efficiently perform scalar multiplications on elliptic Koblitz curves, expansions of the scalar to a complex base associated with the Frobenius endomorphism are commonly used. One such expansion is the \(\tau \)-adic NAF, introduced by Solinas. Some properties of this expansion, such as the average weight, are well known, but in the literature there is no proof of its optimality, i.e. that it always has minimal weight. In this paper we provide the first proof of this fact.
Point halving, being faster than doubling, is also used to perform fast scalar multiplications on generic elliptic curves over binary fields. Since its computation is more expensive than that of the Frobenius, halving was thought to be uninteresting for Koblitz curves. At PKC 2004, R. M. Avanzi, M. Ciet and F. Sica [Lect. Notes Comput. Sci. 2947, 28–40 (2004; Zbl 1198.94078)] combined Frobenius operations with one point halving to compute scalar multiplications on Koblitz curves using on average 14% less group additions than with the usual \(\tau\)-and-add method without increasing memory usage. The second result of this paper is an improvement over their expansion. The new representation, called the wide-double-NAF, is not only simpler to compute, but it is also optimal in a suitable sense. In fact, it has minimal Hamming weight among all \(\tau\)-adic expansions with digits \(\{0,\pm 1\}\) that allow one halving to be inserted in the corresponding scalar multiplication algorithm. The resulting scalar multiplication requires on average 25% less group operations than the Frobenius method, and is thus 12.5% faster than the previously known combination.
For the entire collection see [Zbl 1120.94003].

MSC:

94A60 Cryptography
14G50 Applications to coding theory and cryptography of arithmetic geometry
11A63 Radix representation; digital problems

Citations:

Zbl 1198.94078
Full Text: DOI