I have found available precompiled contracts in solidity. For example, this answer enter link description here points out a precompiled contract that can verify BLS signature. However, looking at the given code in the answer, I found that the bilinear pairings are based on elliptic curves.
My Question, by looking in the image attached, a smart contract is required to verify pairing equality given in step (5), Could someone suggest a way or even an existing available precompiled contract so I can call it with the given arguments so it can verify step (5)? Note that, I wrote the protocol follow and attached an image since it is not allowed to write math equations here.