1. 入门 groth16
groth16 系列的文章框架来自于 Why and How zk-SNARK Works 这篇论文,加入了我自己对很多细节的理解。英文好的朋友也可以直接读原文,遇到不理解的地方再回来这里,看看是否有解释。
- 01-零知识证明初接触
- 02-如何证明拥有一个多项式
- 03-互不信任之一:加密随机值
- 04-互不信任之二:KEA
- 05-非交互证明
- 06-多项式转换:初识
- 07-多项式转换:改进
- 08-最后的冲刺:打补丁
- 09-最终的证明过程
2. 多项式承诺
3. plonk
未完待续,持续更新中……