Plonk Course

基本信息

ZKP(零知识证明)技术为加密行业带来了新的叙事和活力,ZKP 和区块链的结合正在经历快速发展和广泛应用的过程,充满着巨大的想象和潜力, 而当下只有较少人踏足,这意味着 ZK 领域仍是一片蓝海

无论是从理论层面还是工程实践层面,想要高效学习 ZKP,PLONK 是绝佳之选。

PLONK 理论基础扎实,它借鉴了很多经典 ZKP 技术的理论基础,如算术电路、查找表、内积证明等,很多后续的优化方案,包括 PlonkUp、UltraPlonk、Halo2 等,都是 PLONK 家族的一员。随着对 ZKP 性能和可扩展性需求的不断提高,PLONK 家族方案已成为目前最受欢迎和应用最广泛的 ZKP 系统之一。

除此以外,PLONK 工程价值极高,创新地使用了新的算术电路编码方案和新的开箱即用(out-of-the-box)证明系统,为构建高效、可扩展的通用零知识证明系统奠定了基础,包括 Starkware 和 zkSync 的以太坊二层网络,Filecoin 等分布式存储项目、Mina 和 Aleo 等隐私区块链,众多热门项目都使用或基于 PLONK 实现

只有全面深入研习 PLONK 的理论基础、数学原理和工程实践,克服知识的“诅咒“,才能嗅得金蔷薇的纯粹芬芳。

围绕 PLONK,我们准备了系列课程,面向有一定 ZKP 相关的数学和理论基础者,每节课程将结合具体的例子和代码,带你全面构建 PLONK 的认知框架,帮你更好理解有关理论基础的实际运用,并带你深入 PLONK 的理论和工程代码实践。

前置知识

对 ZKP 有一定的了解,了解 ZKP 中的基本概念。如果不了解也没关系,推荐同时学习这门课程Zero Knowledge Proofs

工作人员

  • 👨‍🏫 讲师:
    • 郭宇:SECBIT Labs (安比实验室)创始人,曾经高校教育从业者,关注领域为零知识证明,智能合约安全,程序语言理论。
    • Yan:中科大本硕博,科大软件学院网安方向教师,当前兴趣包括AI和区块链,持续学习中。
    • Wangyao:数学博士(未完成)研究 ZK,学习 FHE,探索代数学和密码学的相交地带。
    • Jade:ZK 开发者@安比实验室。电子科技大学数学硕士,热爱数学与密码学,致力于将理论知识转化为实际应用。
    • Po:EthStorage ZK Researcher, 半路出家区块链,持续学习 DA 和 ZK 前沿研究。
    • Yingfei:密码学博士生, interested in lattice-based zero-knowledge proofs and signatures。
    • Harry Liu:零知识证明(ZKP)技术爱好者, 在个人学习的同时, 也积极在社区进行分享和组织各种 ZKP 相关的活动。
  • 👨‍🎓 助教:
    • Harold:“zkp 真的是太好玩啦!”,喜欢开源。
    • Purple:文转码,zkp 学习ing。
    • Jade:ZK 开发者@安比实验室。电子科技大学数学硕士,热爱数学与密码学,致力于将理论知识转化为实际应用。

开营 AMA

课程表

Lesson 1【5月28日周二】 ZKP & Plonk overivew

在第一次课程中,我们将对 ZKP 和 Plonk 有个整体的认识,知道 Plonk 在 ZKP 发展中的位置,并认识到其重要性。

Lesson 2【5月30日周四】 Plonk 算术化

我们将理解引入 Plonkish 算术化的优点,清楚它与 R1CS 的区别,并掌握 Plonkish 算术化的具体过程。

Lesson 3【6月4日周二】 Plonk 中的多项式

我们将深入多项式编码的细节,掌握多项式编码将多个约束压缩成一个约束的具体过程。

Lesson 4【6月6日周四】 置换证明

我们将深入理解置换证明底层原理。

2nd Office Hour 【6月8日周六】

  • 答疑老师:郭宇、Wangyao、Harry、Keep…
  • 答疑回放:Youtube 链接

Lesson 5【6月11日周二】 Plonk中的约束

我们将掌握算术约束与拷贝约束的底层原理。

Lesson 6【6月13日周四】 Plonk中的多项式承诺

我们将明白什么是多项式承诺,掌握 KZG10 的多项式承诺构造。

3rd Office Hour 【6月15日周六】

  • 答疑老师:郭宇、Harry、Kurt Pan…
  • 答疑回放:Youtube 链接

Lesson 7【6月18日周二】 Lookup Gate

我们将深入 Lookup 的细节,学习 Lookup Gate 不同方案以及优化。

Lesson 8【6月20日周四】 Custom Gate & Lookup Gate

我们将明白 Custom Gate 的底层原理。

4th Office Hour 【6月22日周六】

Lesson 9【6月25日周二】 代码实践

我们将从代码入手,实现一个完整的 Plonk 协议。

作业

Co-learn notes bounty

为鼓励学员学习与分享,本课程推出 Co-learn notes bounty 活动,学员可以将学习中的内容整理成个人笔记提交到 Plonk/co-learn notes 目录下,收录后每篇笔记给出 200CNY 的 bounty,并发布在 Antalpha-Labs 公众号上。笔记主题围绕 ZKP 相关技术,不局限于 Plonk 协议。

References

联系方式:添加小助手微信 AntalphaLabs