零知识证明(zero-knowledge proof)入门教程,目的是让仅有高中数学基础的人也能入门zk。我们会使用python复现一些算法,所以你也需要学python。
我们最近在学习zero-knowledge proof,巩固一下细节,也写一个“WTF zk极简入门”,供小白们使用(编程大佬可以另找教程),每周更新1-3讲。
第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 | 教程 | 论文
第33讲 扩域上的椭圆曲线:教程
第34讲 双线性配对基础:教程
第36讲 Weil 配对:教程
第39讲 扩域上的 Weil 配对:教程
第42讲 图灵机:教程
第45讲 NP完全 教程