P vs NP 及其在零知识证明中的应用
用于 ZK 的算术电路
用于 ZK 证明的有限域与模运算
面向程序员的基础集合论
抽象代数
面向程序员的初等群论
同态实例解析
椭圆曲线点加法
有限域上的椭圆曲线
Python、Solidity 和 EVM 中的双线性配对
将代数电路转换为 R1CS（秩一约束系统）
从 R1CS 构建零知识证明
使用 Python 实现拉格朗日插值
Schwartz-Zippel 引理及其在零知识证明中的应用
二次算术程序
使用 Python 在有限域上将 R1CS 转换为二次算术程序
可信设置
在可信设置上评估二次算术程序
Groth16 详解
使用 Circom 的 ZK 电路入门