Lasso & Jolt 学习小组记录

[luckyyang]

第一周的任务是看 https://github.com/sec-bit/learning-zkp/tree/develop/lookup-arguments/lasso-zh

问题可以发到这里

[luckyyang]

讨论笔记摘抄:

part 2 中稀疏多项式承诺求值证明阶段公共输入中的求值点 $\vec r$ 是什么?
答: 是一个 prover 和 verifier 公开的点, 不一定是随机点

多项式承诺的作用: verifier 让 prover 去算, 自己只需要去验证就好了, 这样可以实现 snark 中的 succinct

[luckyyang]

学习小组的录屏播放列表

https://www.youtube.com/playlist?list=PLbQFt1T_44Dw_hYI9Po_pAGam0hfM7b6j