15.1 Mathematical rules of elliptic curve pairings15.1.1 Elliptic curve point pairing rule of bilinearity15.1.2 Nondegeneracy rule with the point at infinity15.2 Algorithms for pairing15.2.1 Function \(h_{P,Q}(R)\)15.2.2 Miller’s algorithm15.3 Subroutine \(h_{P,Q}\)15.4 Miller’s algorithm code