utterances-bot commented 3 years ago

从零开始学习 zk-SNARK（二）——多项式的非交互式零知识证明 - SECBIT Blog

even@安比实验室: 上一篇文章中，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项式的零知识证明协议。本

cblk commented 3 years ago

很棒的翻译，请问接下来的内容还会翻译吗

jujubos commented 3 years ago

为什么不需要对h(s)做类似的checksum校验

fbaiesec commented 2 years ago

1.prover不知道t（s），他怎么构建Zp = （Zh）^t（s）？这里不太明白； 2.verify从prover发送的数据可以提取出未知多项式p（x），verify已知p（x），能提取有什么问题吗？还是说，其他不知道p（x）的第三方verify可以从prover提供的数据里提取出p（x）？

zjwei0421 commented 2 years ago

配对的核心性质部分有一个笔误，将e 写成了 r , e(g^a, g^b) = r(g^b, g^a)

sec-bit / comments-for-secbit-blog