Skip to content

Latest commit

 

History

History
153 lines (102 loc) · 6.68 KB

Coooder-Crypto.md

File metadata and controls

153 lines (102 loc) · 6.68 KB
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)

ZK 残酷共学第 1 期残酷指引

⚠️ 正式开始前请确保你在身体上和精神上都处于合适的状态,请刻意练习,残酷面对 🆒。为方便检索 The First ZK Intensive CoLearning 简写为 ZICL1st,第 2 期即为ZICL2nd,第 3 期即为 ZICL3rd,以此类推。

⚠️ 报名需要按要求认真填写下面 [ XXX ] 部分,方可通过报名审核,通过审核即可开始自主学习。

共学内容

第一期的重点是向大家介绍什么是 ZK、 ZKP 的基础知识,以及 Circom 代码入门,有一定难度,共学资料如下:

本次共学资料前两周的 lecture 来自 zk-learning,博客来自 《探索零知识证明系列》《从零开始学习 zk-SNARK》,第三周的 Circom 部分来自 0xparc,视频讲解为 ZK Shanghai 的中文版本。郭宇老师还推荐了这篇文章《Survey-SNARKs》,学有余力者可以依此找到更多的扩展内容。

最后,非常感谢安比实验室郭宇老师对于本次共学资料选择的指导!


{Coooder}

  1. 自我介绍:Lxdao Builder, 对 ZK 很感兴趣
  2. 你认为你会完成本次残酷学习吗?会
  3. 目前阶段对于 ZK 的了解?了解一些,但是不够系统

Notes

2024.07.29

  • 学习主题:第一周的视频和播客
  • 学习内容小结:了解了一些关于 ZK 基础的内容,两个zkp方向 zk-stark,zk-snark。这些内容之前也或多或少了解过,重新过一遍,作为残酷共学相对温柔的开始hhh

2024.07.30

  • 学习主题:初识零知识与证明
  • 学习内容小结:
    • 证明:证明在不同时代的含义
    • 零知识证明:不泄露知识的前提下进行证明;三染色例子
    • 信息 vs 知识
    • 证明与验证

2024.07.31

  • 学习主题:理解模拟
  • 学习内容小结:
    • 「安全」需要有一个数学意义上的严格定义
    • 不可区分性

2024.8.2

  • 学习主题:寻找知识
  • 学习内容小结:
    • 可靠性
    • 完备性
    • 模拟器

2024.8.4

  • 学习主题:
  • 学习内容小结:
    • 零知识证明性质: Completeness(完备性)、Soundness(可靠性)、Zero-Knowledge(零知识)
    • Schnorr协议公式: zG ?= R + cPK = rG + c*(aG)

2024.8.5

  • 学习主题:承诺方案
  • 学习内容小结:学习承诺方案的各种常见实现

2024.8.6

  • 学习主题:ZK 电路实现
  • 学习内容小结:从 Github 找项目在看相关电路

2024.8.7

  • 学习主题:ZK 电路实现
  • 学习内容小结:继续在看电路代码