Type I pairings is symmetric, constructed on a supersingular curve y² = x³ - x + 1 over a ternary extension field F_{3^m}. The embedding degree k is 6. Both G1 and G2 are the group of points E(F_{3^m}). GT is a subgroup of F_{3^6*m}. The group order is a prime number.

parameters:

m, t:
  The ternary extension field is F(3)[x]/(x^m^ + x^t^ + 2).
n:
  the order of G1
n2:
  n * n2 = number of points in E(F_{3^m^})

Introduced by Barreto et al, "Efficient Pairing Computation on Supersingular Abelian Varieties", Designs, Codes and Cryptography, vol. 42, no. 3, pp. 239-271, Mar. 2007.