zk-study

从零开始学zk和密码学,入门教程，不追求数学推导
追求工程理解，代码层面用 go 实现，后续补充 ts 代码
https://github.com/CJ-Labs/cryptography-go

学习清单

• [🪜] 认识Zero-Knowledge

• [🪜] 零知识证明科普入门

• [✅] 基础数学

  • [✅] 群&有限域
  • [✅] 离散对数
  • [✅] 同态加密

• [ 🪜 ] 椭圆曲线

  • [✅] 椭圆曲线
  • [🪜] ECDSA算法
  • [🪜] 以太坊中的ECDSA算法
  • [🪜] EdDSA算法
  • [✅] BN254曲线
  • [✅] BLS算法
  • [✅] schnor

• 数据结构

  • [✅ ] Merkle树

• 线性代数

  • 向量
  • 矩阵

• 承诺 和多项式系统

  • [✅] 承诺基础
  • [✅] Pedersen承诺
  • [✅] KZG多项式承诺 Plonk用到
  • [🪜] Poseidon哈希函数
  • [🪜] FRI承诺 ZK-STARK 和 Plonky2 用到
  • [🪜] IPA承诺 Halo2 用到

• zk 中的名次解释

  • [✅] 证明
  • [✅] 见证
  • [✅] 非交互式 常见的非交互式 包含 Fiat-Shamir 和 CRS (Common Reference String)
  • [🪜] CRS (Common Reference String)

• [✅] 电路系统 程序逻辑 → 门电路 → 算术电路 → R1CS → QAP → 零知识证明

  • [✅] 门电路
  • [✅] 算术电路
  • [✅] 约束系统
  • [✅] R1CS
  • [✅] QAP
  • [✅] 门约束 Plonk用到
  • [✅] 线约束 Plonk用到

• 证明系统

  • Sigma协议
  • [✅] 零知识证明协议
  • [🪜] zk-SNARK协议
  • [✅] Groth16
  • [🪜] Plonk
  • Plonky2 Plonk + FRI承诺
  • Plonky3 Plonky2 的改进版，官网没更新完
  • [🪜] zk-STARK
  • [🪜] Bulletproofs 范围证明

• zk Rollup 项目

  • [] poloygon-zkevm
  • [] [scroll]

• [] zkp 跨链项目

• 参考实战项目 ZKMerkle Proof of Solvency

  • [✅] ZKMerkle Proof of Solvency 项目解析
  • [✅] 如何编写电路

教程感觉越写越多。用爱发电有点累
准备搞一些动画方便理解！！！！