一些笔记或者心得之类的会在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
- 零知识证明 KZG 介绍讲解⭐
- [zk入门 与Marlin解析]⭐
- R1CS & circom 简单介绍
- 分享用 Python来写简单的加密算法,如finite field,poly over Fq,FFT 等
- 了解基本代数知识。(如果不是很熟悉可以通过【线性代数的本质】合集-转载于3Blue1Brown官方双语
- 对默克尔树,单向函数,椭圆曲线,椭圆曲线签名算法熟悉
这个文章写的不错。很适合新手入门。
然后看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技术栈