Non-degenerate Clause Samples
Non-degenerate. There exist non-trivial points P1 ∈ G1 and P2 ∈ G2 both of order q such that eˆ(P1, P2) /= 1.
Non-degenerate. There exists P, Q ∈ G1 such that e(P,Q) ≠ 1.
Non-degenerate. If P is a generator of G1, then eˆ(P, P) ∈ Fp∗2 is a generator of G2. In other words, eˆ(P, P) 1.