一些笔记或者心得之类的会在https://github.com/EthanShang8989/zk-learning-resources 上面更新。希望大家一起进步。

文章书籍

• z2o-k7e社区学习文章⭐⭐（人家这个更加完善完整。我后面查资料才发现这么个好东西）
• Zero Knowledge What? An Introduction to Zero Knowledge — Stanford Code the Change Guides documentation
• 从零介绍zk⭐
• What is a zero-knowledge proof? | Zero-Knowledge Proofs⭐
• Polygon zkEVM——Hermez 2.0简介_mutourend的博客-CSDN博客_hermez
• PLONK 介绍 论文
• Plonk初学指南
• Scroll zkEVM设计，优化和应用 | 登链社区 | 区块链技术社区
• KZG 介绍
• halo2学习仓库
• 0xPARC/plonkathon PLONK 学习仓库
• Criticism on ZK — msfew
• A quick barycentric evaluation tutorial - HackMD
• Dan Boneh
• 【OH问题点小结】Week1-Session1&Session3 · Discussion #33 · Antalpha-Labs/zkp-co-learn
• IACR News（国际密码学研究协会 news）

课程

• Oxparc 课程 （包括circom和 halo2）⭐
• 中文halo2教程
• Modern Zero Knowledge Cryptography（MIT）⭐
• MIT零知识证明(中文版)（大纲基本和前面的MIT的差不多）⭐
• 密码学 I | Coursera
• Lecture slides for all six weeks | Coursera

项目

• GitHub - zcash/pasta_curves: Rust implementation for zcash/pasta
• ZK挖矿系列二 - ALEO 和 IRONFISH，已经使用零知识证明的项目盘点 | 面向加密挖矿的资源导航站 | MinerNav
• research/basic_crypto at main · qizhou/research · GitHub
• Footprint Analytics

lib

• elliptic vulnerabilities | Snyk
• AztecProtocol/barretenberg

社区类

• z2o-k7e社区学习资料仓库⭐
• z2o-k7e社区学习文章⭐⭐
• 密码回放Notion地址
• ZKP Buidler！

单独视频

• 零知识证明 KZG 介绍讲解⭐
• [zk入门 与Marlin解析]⭐
• R1CS & circom 简单介绍
• 分享用 Python来写简单的加密算法，如finite field，poly over Fq，FFT 等

学习路径

先决条件

1. 了解基本代数知识。（如果不是很熟悉可以通过【线性代数的本质】合集-转载于3Blue1Brown官方双语
2. 对默克尔树，单向函数，椭圆曲线，椭圆曲线签名算法熟悉

初识ZK

从零介绍zk

这个文章写的不错。很适合新手入门。

然后看MIT的ZK课程。

Modern Zero Knowledge Cryptography 到第6章的时候，讲kzg那块感觉mit不是很清晰。可以搭配本站crypto_white的视频 零知识证明 KZG Commitment 1: Polynomial Commitment 20221129

和[Marlin解析] 这两个视频很清晰。基本看完就懂了。

中间偏代数部分的如果觉得太难可以先不看。从6直接跳到第十章

国内也有翻版MIT的中文课程MIT零知识证明(中文版)

我感觉-z2o-k7e社区学习文章这个里面写的特别好。我是看完视频后看的这个。我直接看Plonk的介绍。感觉非常易懂。强烈推荐这个。

结构分析

对于刚入门的来说。明白技术栈目的挺重要的。

想要高性能，并定制一些cs的话，用plonk等证明系统。只是想实现某个功能的，可以直接用 r1cs或者 circom。不想学zk电路的话，直接用zkvm。

这里有个对这几个的基本描述。如何选择zk技术栈