小编提醒： 本课程是直播录制，某些章节声音效果不佳，讲师不提供解答服务。
本课程为大家讲解zk-SNARK历史、密码学技术、椭圆曲线计算逻辑、基于多项式构建零知识证明、各种椭圆曲线总结、 Groth16算法介绍、深入理解 Groth16的计算、libsnark电路搭建实战、zk- SNARK应用介绍及其他相关zk-SNARK知识。
0.zk-SNARK历史
1.密码学技术
1.1.群/环/域/有限域
2.椭圆曲线计算逻辑
2.1.实数域椭圆曲线
2.2.有限域椭圆曲线/循环子群
2.3.寻找生成元
3.基于多项式构建零知识证明
4.各种椭圆曲线总结
5.1Groth16算法介绍和推导
5.2什么是 Simulation?
6.深入理解 Groth16的计算
6.1.R1CS和QAP电路
6.2.Setup/ Prove/ver计算过程
7.libsnark电路搭建实战
7.1libsnark源代码分析
7.2.如何搭建一个简单的 Merkle树电路?
7.3.如何看恒 libsnark生成的log?
7.4.其他开发工具介绍( bellman/Zokrates/ Circom)
8.1. Cash
8.2.Filecoin(PoREP/PoST
8.3.Dex 3.0(Looping)
8.4.coda(递归证明)
9.其他
9.1. zk-SNARK Trusted Setup
9.2.zkSTARK,BulletProof
9.3. DIZK
9.4.零知识证明加速·GPu(cuda)
适合对zk-SNARK热爱及感兴趣的人入门
