I need to implement bilinear pairing calculation on my contract. Specifically, I have uploaded some parameters and need other users to calculate the pairing for me and I will pay for them if their answers are correct. Therefore, I need to check their answers on my contracts, that is, implement the pairing equation. I have already found some similar solutions just like zksnark contracts which use the precompiled contracts. But these schemes just provide the pairing check module e(p1,p2)*e(p1,p2)...=1. What I want is to get whether e(a,b) is equal to P1. I hope someone can give me some hints or use precompiled contracts to implement my pairing calculation demand. Thanks!