- 第一章写总结性的综述概念,zkp 有什么用?发展现状?什么场景需要什么算法?
- 算术化,r1cs,双线性映射(+ 椭圆曲线、BLS12-381曲线)
- Commitment scheme + IOP (Pedersen、Polynomial Commitment、IPA commitment、mutlinear commitment、vector commitment)
- 简单的证明系统(Sigma 协议?、schnoor、简易 zk-SNARKs? ,zk-STARKs 想提可以提)
- zksnark(PLONK 为主),groth16 提一提
- (待定,有人认领就加入) 使用 circom 写电路,挑出一个或几个概念进行代码层面的总结实践
以上 5(6) 个主题每人进行认领一个,每章 Bounty ¥1000,由 zkp 共学导师 review 通过后发放 ~
最重要的目的:① 沉淀过往学习内容 ② 作为第三期学员的的基础参考资料
Deadline:第一章:第三期开课前 (不是宣发前); 第二章:认领后 15 天内完成 ; 第三章:认领后 20 天完成 ;第四章:认领后 20 天内完成; 第五、六章:认领后 30 天内完成
因为第三期马上就开课了,考虑到后面的章节比较难,时间可以放宽,前面的一定要在 DL 内完成。
建立 Flag:https://flag-dao.vercel.app/ (练习 @Demian 获得 $LT Token 进行质押)
Github: https://github.com/zkp-co-learning/ZKP :各位可以先在本地 Markdown 撰写然后 PR
写作要点:使用 Markdown + Latex,尽量清晰易懂,拒绝晦涩的表述,避免缺乏上下文的过多引用,简明易懂 > 绝对精确,不限篇幅,多废话都没关系
https://github.com/zkp-co-learning/Projects ,这个仓库不再局限于基础知识,而更偏向于 2 个方面:
- 面向仅仅是使用 zk 的学员:比如 zk 红包、开源的 zk 库去开发 zk dapp
- 面向实际方向的 zk 学习:比如zkml,zkrollup,zkvm,zkevm @笃行 提供的思路
https://github.com/zkp-co-learning/Collections: 收集一切无大纲、不属于以上 2 个主题的所有 zkp 内容,欢迎大家积极 commit!
- 第二章:阳小雪 认领;
- 第三章: Keep 认领;
- 第四章:Demian 认领;
- 第五章:Harry 认领;