zk-SNARK从理论到实践

价    格: ¥9.80 (或使用49学分)
发布时间: 2020-05-12 00:06
等 17 人参与

小编提醒: 本课程是直播录制,某些章节声音效果不佳,讲师不提供解答服务

本课程为大家讲解zk-SNARK历史、密码学技术、椭圆曲线计算逻辑、基于多项式构建零知识证明、各种椭圆曲线总结、 Groth16算法介绍、深入理解 Groth16的计算、libsnark电路搭建实战、zk- SNARK应用介绍及其他相关zk-SNARK知识。

课程内容

0.zk-SNARK历史

1.密码学技术

1.1.群/环/域/有限域

2.椭圆曲线计算逻辑

2.1.实数域椭圆曲线

2.2.有限域椭圆曲线/循环子群

2.3.寻找生成元

3.基于多项式构建零知识证明

4.各种椭圆曲线总结

  1. Groth16算法介绍

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)

  1. zk- SNARK应用介绍

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热爱及感兴趣的人入门

Star Li
李星

1 个课程

讲师的相关课程