Efficient computation of pairings on Jacobi quartic elliptic curves

Sylvain Duquesne (1, 2) , Nadia El Mrabet (3) , Emmanuel Fouotsa (4, 1)

1 LIRIMA - Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
2 IRMAR - Institut de Recherche Mathématique de Rennes
3 LIASD - Laboratoire d'Informatique Avancée de Saint-Denis
4 HTTC-UMA - Higher Teachers' Training College, University of Maroua

This paper proposes the computation of the Tate pairing, Ate pairing and its variations on the special Jacobi quartic elliptic curve Y 2 D dX 4 C Z 4 . We improve the doubling and addition steps in Miller's algorithm to compute the Tate pairing. We use the birational equivalence between Jacobi quartic curves and Weierstrass curves, together with a specific point representation to obtain the best result to date among curves with quartic twists. For the doubling and addition steps in Miller's algorithm for the computation of the Tate pairing, we obtain a theoretical gain up to 27% and 39%, depending on the embedding degree and the extension field arithmetic, with respect to Weierstrass curves and previous results on Jacobi quartic curves. Furthermore and for the first time, we compute and implement Ate, twisted Ate and optimal pairings on the Jacobi quartic curves. Our results are up to 27% more efficient compared to the case of Weierstrass curves with quartic twists.

Mots clés: Ate pairing; Tate pairing; twists; Miller function; Jacobi quartic curves

Domaines: Théorie des nombres [math.NT]; Théorie de l'information et codage [math.IT]; Cryptographie et sécurité [cs.CR]

Sylvain Duquesne, Nadia El Mrabet, Emmanuel Fouotsa. Efficient computation of pairings on Jacobi quartic elliptic curves. Journal of Mathematical Cryptology, 2014, 8 (4), pp.331-362. ⟨10.1515/jmc-2013-0033⟩. ⟨hal-01095359⟩