目录

Intro & Basic concepts

概念速查

零知识证明概念

Arithmetic 算数化

R1CS & QAP

Plonkish

[AIR]

多项式承诺

概念

KZG

FRI

ZK-Snark

基于椭圆曲线配对多项式承诺

Groth16

Plonk

基于离散对数多项式承诺

BulletProof

Zk-STARK

IP system

Sum-Check (IP)

Application & Pratical

Circom

Circom、SnarJS & zkrepl

zk应用

递归和组合

可信设置

Add-on

Fiat-Shamir启发式 & Merkle tree

zk-STARK/zk-SNARK中IP，PCP，IPCP，IOP，PIOP，LIP，LPCP模型介绍

Study resources

NOTE

强烈推荐 Proofs, Arguments, and Zero-Knowledge上面的中文版

TIP

also recommended ZKPunk

• Berkeley LeCture

• Awesome zero knowledge proofs (zkp)