如何使用Ethereum预编译bn256Pairing来检查对称组上的等式？

Question

地址0x8包含关于Byzantium发行版的bn256Pairing预编译合同。我有以下问题：

1. 如果我有G_1 = G_2，即对称配对，那么可以检查e(a_1，b_1) ?= e(a_2，b_2)吗？如果是，我如何传递参数，因为规范使用类似于表象的ai+b。
2. 要使用的元素的确切编码是什么？是否有可用的示例代码或测试用例引用？我试图在实体契约中使用程序集调用。

如果无法使用预编译合同，我能否编辑geth源代码并在专用网络上进行测试？如果是，我可以在源中添加相关函数吗？

Answer 1

对于那些无意中发现这个问题的人来说：

我编辑了core/vm/contracts.go以添加相关的预编译合同。我使用PBC包装实现对称双线性配对。与该文件中定义的其他预编译合同函数相同的函数结构。

在专用网络中工作得很好。