如何在智能合约中计算配对

Question

我正在研究椭圆曲线，并在以太坊智能合约中配对东西。如何计算e(p1,p2)这样的配对？

我知道我们在以太坊客户端中进行了预编译配对检查，该检查位于0x08上，并执行配对 check 。

从文档中：

success := call(sub(gas, 2000), 8, 0, add(input, 0x20), mul(inputSize, 0x20), out, 0x20)

这意味着我们可以只检查智能合约中两个配对的相等性。但是，我需要计算Solidity中e(p1,p2)=?之类的一对精确配对。