“…Let be a multiplicative cyclic group with the same order q . Let be a bilinear map, for all , and , and the mapping satisfies the following: - Bilinearity: , and .
- Non‐degeneracy: subject to , in other words, .
- Computability: it is efficient to compute , .
…”