Suppose we are given points of an elliptic curve and asked to recover . (This is the discrete logarithm problem.)
Let be the Weil pairing. Let be the order of . Let be a point of order that is linearly independent to (in other words, there is no such that ).
Then and can be computed, and are both elements of a finite field. (They are th roots of unity.) Since are linearly independent, cannot be unity by the nondegeneracy of the Weil pairing. Thus we have reduced the discrete logarithm problem on the group of points on an elliptic curve to the discrete logarithm on finite fields, where subexponential attacks are known.