| 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的一个本科学生。
-
你认为你会完成本次残酷学习吗？
Maybe 80%
-
目前阶段对于 ZK 的了解？
了解过一些零知识证明的案例
看了20min的那个视频，视频通过对不同人群的访谈阐述了不同人对于zk的看法，从而展示zk的概念，对于我来说最直接关于zk的案例就是数字签名，非对称密钥私钥签名的哈希可以验证数据的来源。这两天都比较忙，可能还是一步一步追readme里的材料。。
看了小宇宙播客和博文，播客里介绍了snark和stark两种zk的链上运营，主要区别是snark是 non-interactive，是以非交互式的证明表现的，而stark则是提供无限次数的交互式挑战所确保的。
配置了一下conda的环境，打算后面调试一些wtfzk来看看zk背后的数学原理。 了解了zkcoin等零知识证明币(才了解到有完全匿名交易这种东西，， 继续看zk入门的那个教程，了解到了 证明这一概念从古希腊到最近的衍化（洞见到交互） 零知识本身是需要一个外部模拟的作恶者作为保证的，模拟的思想，以及交互式零知识证明的模式，需要不断的试验作为保证(这一点是非常有意思的，我想到某种对于科学的定义也是接受实验和外部性的不断挑战。
玩了下wtfzk里面的py代码证明，大概看了看计算理论，什么是p，np问题，虽然在我目前学习的语境里提到的np问题都是一些计算困难，验证简单的问题...感觉还是缺乏数学的基础