timezone |
---|
Asia/Shanghai |
⚠️ 正式开始前请确保你在身体上和精神上都处于合适的状态,请刻意练习,残酷面对 🆒。为方便检索 The First ZK Intensive CoLearning 简写为 ZICL1st,第 2 期即为ZICL2nd,第 3 期即为 ZICL3rd,以此类推。
⚠️ 报名需要按要求认真填写下面 [ XXX ] 部分,方可通过报名审核,通过审核即可开始自主学习。
第一期的重点是向大家介绍什么是 ZK、 ZKP 的基础知识,以及 Circom 代码入门,有一定难度,共学资料如下:
- 第一周:7 月 29 日 - 8 月 4 日:Introduction and History of ZKP
- 20min 的视频:初步理解 ZK 是什么
- 70min 的播客:零知识证明:一场”无知“的游戏
- (一)初识「零知识」与「证明」
- (二)理解「模拟」
- (三)寻找「知识」
- 100min 的视频:ZKP Lecture 1: Introduction and History of ZKP
- 第二周:8 月 5 日 - 8 月 11 日:Overview of Modern SNARK Constructions
- 第三周:8 月 12 日 - 8 月 18 日:Write some Circom
- 基础电路:
- ZK Shanghai 基础电路教学
- 编辑器:zkREPL
- 基础电路练习 这部分材料结合了Circom源码,可以多花时间来研究
- 实用电路:
- 基础电路:
本次共学资料前两周的 lecture 来自 zk-learning,博客来自 《探索零知识证明系列》和《从零开始学习 zk-SNARK》,第三周的 Circom 部分来自 0xparc,视频讲解为 ZK Shanghai 的中文版本。郭宇老师还推荐了这篇文章《Survey-SNARKs》,学有余力者可以依此找到更多的扩展内容。
- 自我介绍
在Web3领域(底层链和应用)有丰富的经验,目前的工作和ZK相关,希望继续学习完善ZK相关的知识体系。
- 你认为你会完成本次残酷学习吗?
能。
- 目前阶段对于 ZK 的了解?
有一定的了解和设计开发经验。
- 学习主题:初步了解零知识证明
- 学习内容小结:通过不同的案例,由浅入深地了解零知识证明,从简单的寻找企鹅到复杂的经典三色问题。零知识证明是双方之间的博弈:证明者和验证者,证明者需要向验证者证明掌握了秘密,同时不向验证者透露任何的知识,验证者需要能够有效验证证明者的确掌握了秘密。
- 学习主题:了解零知识证明的应用以及零、知识、证明的解释
- 学习内容小结:了解zk-SNARKS和zk-STARKS,以及两者之间的区别;了解OP-Rollup和ZK-Rollup;了解基于零知识证明的rollup的三种存储方式,分别是传统的ZK-Rollup,Validium和Volition;了解多个基于零知识证明的案例,包括Loopring、zkSync和StarkWare及其两个产品StartEX和StartNet,ImmutableX。更详细地了解了知识、证明以及零知识,零知识证明的用处,和经典的三色地图问题。