English Version
零知识证明(zero-knowledge proof)入门教程,目的是让仅有高中数学基础的人也能入门zk。我们会使用python复现一些算法,所以你也需要学python。
我们最近在学习zero-knowledge proof,巩固一下细节,也写一个“WTF zk极简入门”,供小白们使用(编程大佬可以另找教程),每周更新1-3讲。
第1讲 整数运算基础:Code | 教程
第2讲 质数基础:Code | 教程
第3讲 欧几里得算法:Code | 教程
第4讲 拓展欧几里得算法:Code | 教程
第5讲 模运算基础:Code | 教程
第6讲 模运算除法:Code | 教程
第7讲 费马小定理:Code | 教程
第8讲 **剩余定理:Code | 教程
第9讲 欧拉函数:Code | 教程
第10讲 欧拉定理:Code | 教程
里程碑01 RSA算法 Code | 教程 | 论文
第11讲 群: 教程
第12讲 子群: 教程
第13讲 陪集和拉格朗日定理: 教程
第14讲 正规子群和商群: 教程
第15讲 同态和同构: 教程
第16讲 Abel群: 教程
第17讲 循环群: 教程
第18讲 群的直积: 教程
第19讲 离散对数问题: 教程
里程碑02 Diffie-Hellman 密钥交换算法 Code | 教程 | 论文
里程碑03 ElGamal 加密和签名算法 Code | 教程 | 论文
第20讲 环: 教程
第21讲 理想和商环: 教程
第22讲 环同态和同构: 教程
第23讲 域: 教程
第24讲 多项式基础: 教程
第25讲 多项式环: 教程
第26讲 域扩展: 教程
第27讲 有限域: 教程
第28讲 二次剩余: 教程
里程碑04 Goldwasser-Micali (GM) 算法 Code | 教程 | 论文
里程碑05 初探零知识证明 教程 | 论文
第29讲 椭圆曲线基础:Code | 教程
第30讲 有限域上的椭圆曲线:Code | 教程
第31讲 椭圆曲线离散对数问题:Code | 教程
第32讲 椭圆曲线密码学:Code | 教程
第33讲 扩域上的椭圆曲线:教程
第34讲 双线性配对基础:教程
第35讲 挠群和除子:Code | 教程
第36讲 Weil 配对:教程
第37讲 Miller 算法:Code | 教程
第38讲 Tate 配对:Code | 教程
第39讲 扩域上的 Weil 配对:教程
第40讲 常用椭圆曲线:Code | 教程
里程碑06 哈希函数 Hash Code | 教程
里程碑07 身份基加密 IBE Code | 教程
第41讲 计算理论入门:Code | 教程
第42讲 图灵机:教程
第43讲 时间复杂度:Code | 教程
第44讲 P和NP:Code | 教程
第45讲 NP完全 教程
![](./img/full_logo_zksync-black.png)
-
Moonmath Manual by LeastAuthority
-
zk-learning MOOC
-
The RareSkills Book of Zero Knowledge
-
Number Theory Notes
-
密码学的数学基础
-
Cryptography 101 for Blockchain Developers by OpenZeppelin
-
Vitalik's blogs: Weil Pairing
-
探索零知识证明系列 by 郭宇 SecBit