关于测试代码的疑问

[Qiuwenyi]

我关于测试代码有四个方面的疑问，希望能够解答：

1. plonk_test中关于plonk的测试有四个函数，但是没有注释给出这四个函数是关于什么计算进行的参数生成，以及bn254_test.h中的各个宏是事先通过什么方式得到的
2. 关于如下两张图，第一张图应该是贵库注释中给出的证明信息吧，而第二张图是我运行测试后得到的结果，除了前三项，其他部分都不同，并且注释中关于点的估值只有7项，但是证明中应该有8项才对（即uint256类型的数据注释中只有7项，证明中会有8项）
3. 然后代码中似乎并没有实际运行验证者的代码？只是完成了证明生成就判断测试通过？
4. plonk.c的plonk_generate_domain()函数没有找到调用的地方，而证明生成函数中包含了一些证明的参数，作用是什么呢？由于不全是指针变量，也没有找到证明返回的方法

因此希望知道该如何解决这些问题