🌟 About ZKPunk
📖 How-to-contribute
ZKP 新手村入门攻略
Hello ZKP
探索零知识证明系列
❱
(一)初识「零知识」与「证明」
(二)理解「模拟」
(三)寻找「知识」
(四)随机「挑战」
(五)埋藏「秘密」
从零开始学习 zk-SNARK
❱
1-Polynomial-Interaction-and-Proof
2-Non-interactivity&Distributed-Setup
3-General-Purpose-Computation
4-Construction-Properties.md
5-Pinocchio-Protocol
理解 Plonk 系列
❱
1-Plonkish Arithmetization
2-多项式编码
3-置换证明
4-算术约束与拷贝约束
5-多项式承诺
6-实现 Zero Knowledge
7-Lookup Gate
理解 Lasso 系列
❱
理解 Lasso(零):带索引的查询证明
理解 Lasso(一):Offline Memory Checking
理解 Lasso (二):稀疏向量与 Tensor 结构
理解 Lasso (三):大表格的稀疏查询证明
理解 Lasso (四):更多的可分解表格
理解 Lasso (五):表格的 MLE 结构
FRI&Stark
Halo2 Tutorial
❱
1-basic concepts
2-simple-circuit
3-custom-gate
4-fibonacci
5-range-check
6-cost-model
halo2-QA
halo2-learning-materials
learning-halo2 (0xPARC)
❱
1-Simple Examples
2-Fibonacci-example-1
3-Fibonacci-example-2
4-IsZero Check-example-3
5-Range check-example-1.md
6-Range Check (code explanation)
7-Range Check-Lookup-example-2)
8-Range Check-Lookup-example-3)
9-Range Check-Decompose)
ZKP Apps with halo2
❱
Zordle
Hammster
Lattice-based Crypography
❱
Lattice-1-Basic
Lattice-2-LLL
Lattice-3-CVP
Lattice-4-RSA
Recurrent Q&A
ZK Everything
❱
BabySNARK tutorial
KZG
Lecture1:Overview about Zeroknowledge
Lecture2:Introduction to Modern SNARKs
Lecture12:ZKEVM
Lecture16:Hardware acceleration
Spartan preliminary: GKR with ZK Argument
Spartan preliminary: Hyrax
Spartan In Depth
BLS12-381 理论与实现
SuperNova
ZKP Public Goods
❱
ch2
ch4-Proving System
ch5-plonk-intro
ZK Materials
经验心得
❱
郭宇:ZK 技术的学习心得和经验分享
对话姚翔:解读零知识证明的前世今生
邓燚:零知识,模拟与归约(一个个人化的视角)
ZK Academy
❱
FRI & Stark Course
Plonk Course
Light
Rust
Coal
Navy
Ayu
ZKPunk's ZKPedia
中文
English
经验心得