search

sec-bit / comments-for-secbit-blog

0 stars 0 forks source link

blog/2020/01/08/learn-zk-snark-from-zero-part-three/ #6

Closed utterances-bot closed 1 year ago

utterances-bot commented 3 years ago

从零开始学习 zk-SNARK（三）——从程序到多项式的构造 - SECBIT Blog

前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。

https://sec-bit.github.io/blog/2020/01/08/learn-zk-snark-from-zero-part-three/

xhyuer commented 3 years ago

"ld(x)=0, ld(2)=0, ld(3)=1" should be "ld(1)=0, ld(2)=0, ld(3)=1"

jujubos commented 2 years ago

从多项式插值跳到变量多项式没有好的过度，没有zksnark前置知识的人第一次看一脸懵，写的不是很好

Einstellung commented 1 year ago

有一处翻译错误，错误地方是：代入h(x) = – 3x+ 4a， 原始语句是

With h(x) = −3x + 4 a verifier can...，这里把a放进去了