ZKSNARK 阅读资料

[Whisker17]

记录一下学习 ZKSNARK 过程中的阅读材料

[Whisker17]

安比实验室翻译的 《Why and How zk-SNARK Works: Definitive Explanation》：

• [x] 从零开始学习 zk-SNARK（一）——多项式的性质与证明

• [x] 从零开始学习 zk-SNARK（二）——多项式的非交互式零知识证明

• [ ] 从零开始学习 zk-SNARK（三）——从程序到多项式的构造

• [ ] 从零开始学习 zk-SNARK（四）——多项式的约束

• [ ] 从零开始学习 zk-SNARK（五）—— Pinocchio 协议

原文链接：Why and How zk-SNARK Works: Definitive Explanation

10

[Whisker17]

郭宇老师的 ZKP 介绍：

• [x] 初识「零知识」与「证明」
• [x] 理解「模拟」
• [x] 寻找「知识」
• [x] 随机「挑战」
• [x] 埋藏「秘密」

12

[Whisker17]

东泽大神的浅谈零知识证明系列：

• [x] 浅谈零知识证明：背景与起源

• [x] 浅谈零知识证明之二：简短无交互证明（SNARK）

• [x] 浅谈零知识证明之三：zkSNARK证明体系的实现

• [x] 浅谈零知识证明之四：zkSNARK证明体系的实现（下）

11

[Whisker17]

《zkSNARKs in a Nutshell》：

• [ ] 中文翻译版本：zkSNARKs（零知识证明）简述

• [ ] 原文链接：zkSNARKs in a Nutshell

[Whisker17]

• [x] 读懂区块链之零知识证明（zk-SNARK）

15

[Whisker17]

• [ ] Introduction to zk-SNARKs (Part 1)

• [ ] Proving Knowledge of a Hash Pre-Image with ZoKrates

• [ ] Efficient ECC in zkSNARKs using ZoKrates

[Whisker17]

• [ ] Diving into the zk-SNARKs Setup Phase

[Whisker17]

• [x] 彻底读懂零知识证明及其实现方法：解析zk-SNARK

16

[Whisker17]

• [x] 一文读懂零知识证明背后的简单逻辑

17

[Whisker17]

• [x] 零知识证明引论

19

[Whisker17]

• [ ] Introduction to Mina Protocol and Zero Knowledge Proofs

[Whisker17]

• [ ] STARK Math: The Journey Begins

• [ ] Arithmetization I

• [ ] Arithmetization II

• [ ] Low Degree Testing

• [ ] A Framework for Efficient STARKs