As the scheme bases upon pairings, all computations are performed in two groups, \textstyle G_1 and \textstyle G_2: .
\textstyle G_2 is the subgroup of order \textstyle q of \textstyle GF\left(p^2\right)^*.