New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

关于测试代码的疑问 #2

Open

last-sansy opened this issue Apr 9, 2024 · 0 comments

last-sansy commented Apr 9, 2024

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

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

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment