Advances in alternative non-adjacent form representations

  • Authors:
  • Gildas Avoine;Jean Monnerat;Thomas Peyrin

  • Affiliations:
  • EPFL Lausanne, Switzerland;EPFL Lausanne, Switzerland;EPFL Lausanne, Switzerland

  • Venue:
  • INDOCRYPT'04 Proceedings of the 5th international conference on Cryptology in India
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits are in {0,1}. In cryptography, the non-adjacent digit set (NADS) {–1,0,1} is used for optimization of arithmetic operations in elliptic curves. At SAC 2003, Muir and Stinson published new results on alternative digit sets: they proposed infinite families of integers x such that {0,1,x} is a NADS as well as infinite families of integers x such that {0,1,x} is not a NADS, so called a NON-NADS. Muir and Stinson also provided an algorithm that determines whether x leads to a NADS by checking if every integer $n \epsilon [0, \lfloor \frac{-x}{3} \rfloor]$ has a {0,1,x}-NAF. In this paper, we extend these results by providing generators of NON-NADS infinite families. Furthermore, we reduce the search bound from $\lfloor \frac{-x}{3} \rfloor$ to $\lfloor \frac{-x}{12} \rfloor$. We introduce the notion of worst NON-NADS and give the complete characterization of such sets. Beyond the theoretical results, our contribution also aims at exploring some algorithmic aspects. We supply a much more efficient algorithm than those proposed by Muir and Stinson, which takes only 343 seconds to compute all x’s from 0 to –107 such that {0,1,x} is a NADS.