| timezone |
|---|
Asia/Shanghai |
请在上边的 timezone 添加你的当地时区，这会有助于你的打卡状态的自动化更新，如果没有添加，默认为北京时间 UTC+8 时区 时区请参考以下列表，请移除 # 以后的内容
timezone: Pacific/Honolulu # 夏威夷-阿留申标准时间 (UTC-10)
timezone: America/Anchorage # 阿拉斯加标准时间 (UTC-9)
timezone: America/Los_Angeles # 太平洋标准时间 (UTC-8)
timezone: America/Denver # 山地标准时间 (UTC-7)
timezone: America/Chicago # 中部标准时间 (UTC-6)
timezone: America/New_York # 东部标准时间 (UTC-5)
timezone: America/Halifax # 大西洋标准时间 (UTC-4)
timezone: America/St_Johns # 纽芬兰标准时间 (UTC-3:30)
timezone: America/Sao_Paulo # 巴西利亚时间 (UTC-3)
timezone: Atlantic/Azores # 亚速尔群岛时间 (UTC-1)
timezone: Europe/London # 格林威治标准时间 (UTC+0)
timezone: Europe/Berlin # 中欧标准时间 (UTC+1)
timezone: Europe/Helsinki # 东欧标准时间 (UTC+2)
timezone: Europe/Moscow # 莫斯科标准时间 (UTC+3)
timezone: Asia/Dubai # 海湾标准时间 (UTC+4)
timezone: Asia/Kolkata # 印度标准时间 (UTC+5:30)
timezone: Asia/Dhaka # 孟加拉国标准时间 (UTC+6)
timezone: Asia/Bangkok # 中南半岛时间 (UTC+7)
timezone: Asia/Shanghai # 中国标准时间 (UTC+8)
timezone: Asia/Tokyo # 日本标准时间 (UTC+9)
timezone: Australia/Sydney # 澳大利亚东部标准时间 (UTC+10)
timezone: Pacific/Auckland # 新西兰标准时间 (UTC+12)
⚠️ 正式开始前请确保你在身体上和精神上都处于合适的状态，请刻意练习，残酷面对 🆒。为方便检索 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》，学有余力者可以依此找到更多的扩展内容。
- 自我介绍 XDU大四学生，ZK在学。
- 你认为你会完成本次残酷学习吗？ 会
- 目前阶段对于 ZK 的了解？ 会一些基础部分，希望巩固并继续深入学习。
举例示范：
- 学习主题：学习了plonk中置换证明
- 学习内容小结：接着看了上面课程的第四周以及对应的文章，感觉基础知识这块有很多还不太清楚的点，这两天计划补一下写个笔记
- 学习主题：将plonk的前置知识复习了一下
- 学习内容小结:照着学长的文章巩固了一下前置知识
- 学习主题：对plonk协议的核心学习
- 学习内容小结: 1.电路转换：将计算问题表示为一个电路，该电路由一系列门和连线组成。然后，将这些门和连线转换为多项式表示。 2.多项式承诺：证明者对电路的多项式表示进行承诺，并生成相应的承诺值。 3.生成证明：证明者使用置换证明和多项式承诺生成一个非交互式的零知识证明（通过 Fiat-Shamir 启发式方法将交互式证明转化为非交互式）。 4.验证证明：验证者使用证明和多项式承诺值来验证证明的正确性，而无需了解具体计算内容。 另注：对具体round中的细节还不是很理解得透，接下来还得多看看
- 学习主题：plonk等式验证
- 学习内容小结:将plonk遗留的几个等式照着推导验证了一下（安全归约太重要了）
- 学习主题：cairo学习
- 学习内容小结:参考WTF-cairo学习了一下前14讲
- 学习主题：cairo学习+
- 学习内容小结:将WTF-cairo的15-28讲速通了一下（基于rust写起来确实顺手不少）
- 学习主题：plookup学习
- 学习内容小结:课程(向量细节好复杂记不清楚😭)
- 学习主题：plonk源码学习
- 学习内容小结:查了下github上star多的plonk协议，进行了一个源码的读（x
- 学习主题：plookup源码学习
- 学习内容小结:根据GitHub的plookup协议进行复现，今天写了KZG10和TranscriptProtocol部分
- 学习主题：plookup源码学习2
- 学习内容小结:看并复现了lookuptable部分，希望能尽自己力再改改（
- 学习主题：plookup代码研究和snark学习
- 学习内容小结:自己尝试对plookup代码细节进行理解并进行接口对接，将之前的zksnark接着看了看
- 学习主题：snark学习
- 学习内容小结:将这部分文章全过了一遍，将知识理了一下（感觉现在自己处于一种似懂非懂的状态？->不能提出有创造性或者精辟的问题😭😭）
- 学习主题：安全归约、安全计算、模拟器
- 学习内容小结:看了看k2ok7e下邓燚老师的文章,感觉理论层面的安全归约很难弄清楚，得多多理解。（最近还要备考雅思感觉时间有点紧，尽量跟上）
- 学习主题：整理与复习，先看看circom
- 学习内容小结:把之前的过了一遍，circom写了一些data storage之类的（但是编译好麻烦x）
- 学习主题：复建
- 学习内容小结:熟悉cairo和circom
- 学习主题：学习snarkjs和web3js
- 学习内容小结:学习js跟circom电路结合
- 学习主题：复建rust and plookup学习
- 学习内容小结:研究将之前整合到plookup整合成api在前端交互
- 学习主题：snark and front
- 学习内容小结:继续学习snark跟snarkjs，跟前端打架（bushi）