你想要成为区块链领域的顶尖人才吗?
你想要掌握隐私保护和匿名交易的技术吗?
那么,我们为你准备了一个绝佳的机会!
随着区块链技术的不断发展,隐私保护和匿名交易已经成为了一个越来越重要的领域。而零知识证明技术,则是实现这一目标的核心工具之一。
零知识证明(Zero-knowledge proof)是一种密码学概念,指的是在不透露任何信息的情况下证明某个主张的有效性。具体来说,它是一种交互式协议,由证明者和验证者两方参与。证明者要向验证者证明某个命题的正确性,但是证明过程不需要向验证者透露除该命题的正确性以外的任何信息。
为了帮助广大区块链爱好者更好地学习和掌握零知识证明技术,由素图科技(SutuLabs)和Kepler42B ZK Planet主办,同济科技园协办的零知识证明workshop即将在4月拉开帷幕!
本次workshop由资深区块链专家带领,涵盖了现代零知识协议、椭圆曲线密码学、基于配对的密码学、多项式承诺方案、zkSNARKs等领域的知识,旨在带领学员深入探索这一前沿技术,掌握核心概念和应用场景。
首次课程将安排在4月8日(周六)下午,心动不如行动,赶快来报名吧!
课程内容 本课程依托 [MIT IAP 2023] Modern Zero Knowledge Cryptography 课程计划以及内容基本按照MIT课程计划进行:
课程表
-
第一课 Introduction to ZK
在第一次课程中,我们将了解现在的零知识技术及应用。在课上我们将会讨论为什么零知识最近会成为一个令人兴奋的话题,以及为什么我们认为它有可能成为未来十年最大的技术故事之一
-
第二课 Circom 1
本节课将会讨论zkSNARK电路工程:使用工具如(circom/snarkjs/zkREPL) 为 groth16 zkSNARK 协议构建简单的零知识证明。
-
第三课 Mathematical building blocks
我们将讨论现代证明系统的一些基本 “构件”,包括:零知识的形式化,离散对数和其他常见的密码学 “hardness “来源,椭圆曲线密码学,和基于配对的密码学。
-
第四课 Circom 2
在 “Circom 1 “的基础上,我们将编写和讨论更复杂的电路:包容证明验证、哈希函数、签名和加密验证。
-
第五课 Commitment Schemes
我们将在 “mathematical building blocks “环节的基础上,构建矢量、单变量多项式和多变量多项式承诺方案。
-
第六课 Algorithms for Efficient Cryptographic Operations
本节课将会讨论现代证明系统的一些基本 “构件”,包括:零知识的形式化,离散对数,椭圆曲线密码学等。
-
第七课 Arithmetizations
我们讨论了算术运算的几个例子:ZK 程序和电路的中间表示,可以被证明系统使用。
-
第八课 PLONK and polynomial identities
我们将深入研究PLONK zkSNARK协议,以及一种特殊的PLONK式算术。
-
第九课 Proving systems stack; recursion and composition
基于前四节的学习,我们将概述 zkSNARK 协议的前景,并建立证明系统的分类。我们还将讨论证明系统递归和组合。
-
第十课 Applied ZK Constructions 1
我们将讨论ZK构造:用于私人数字货币转移的基于空子的构造,Zk-email等等。
-
第十一课 Applied ZK Constructions 2
我们将讨论 zkSNARK 的其他用途:加密数据市场、ZKML、ZKVM、递归 ZK 证明等。
-
第十二课 Student and Mentor Demos
在最后一节课中,学员和导师将展示他们开发的项目和 ZK 应用程序!
-
结业典礼 ZK Shanghai Hackathon
更多信息
-
👨🏫 讲师:
Icer:Icer(梁爽),上海交通大学计算机在读博士,研究方向为基于零知识证明的数据库管理系统。Icer是Chia链上知名钱包Pawket的架构师,同时也是多个区块链项目的联合创始人。 -
👨🎓 助教:
- Jet:同济计算机学士
- William:美国东北大学计算机硕士
-
✈️ 课程福利
- 优秀学员fellowship
- 黑客松获胜者将获得奖金!
- 导师答疑&助教指
- 结业证书认证
- 行业交流机会
-
🧸 线下工作坊
- 讲师授课
- 小组讨论
- 分组讨论-线下组,4-5个人一组,总共30人以内
- 作业产出
-
💻 线上Co-learning
- 视频直播
- 分组讨论-线上组,6~8人一组
- 行业大V知识讲座
- Office Hour答疑解惑
-
👥 小组输出内容
- 课后作业
- 学习笔记、代码练习
- 基于ZKP的Dapp的实战项目
时间和费用
由Sutulabs和Kepler42B - ZK Planet共同举办的为期 3 个月的ZK Planet Workshop,课程出发点是公益性质的系列讲座,但是为了保证教学质量以及各位真心想学习的同学的学习体验,我们设置了押金返还计划,报名参与学习需按照参与类型缴纳押金 ,一旦作业完成,即可返还全部押金。
加入我们的ZK workshop,获得如何使用这个框架进行开发的基本知识!
- ✅ 开始:2023年4月8日~2023年7月
- ✅ 形式:线下Workshop(上课+现场答疑),线上同步直播(线上答疑)。每个月4次,共计12次(问题解答环节面向所有学员开放,导师答疑)。每周六线下上课,线上同步直播。
- ✅ 押金:线下 899元(含12次课程) ,线上直播 699元 (提交所有作业全额退还押金)
- 注:学生请凭借学生证 联系客服 获得押金部分减免;线下工作坊会对报名者github进行筛选。
- 🎯 线下地址:上海市杨浦区国康路100号上海国际设计中心22楼多功能厅
马上报名
麦客表单:ZK Shanghai工作坊申请表
(学生可联系客服获得部分押金减免)
联系客服
关于 Sutulabs
上海素图科技有限公司(SutuLabs) 是上海市高新技术企业,杨浦区科委认定的区块链企业,也是Chia区块链上最活跃的开发团队之一,已发布了Pawket(钱包)、Mixch(开发者工具)、ChiaNameService(域名服务)三款产品。公司同时注重零知识证明领域的研发和探索,未来也将持续不断的推进区块链网络的生态建设。
关于Kepler42B ZK Planet
Kepler42B - ZK Planet的目标是为ZKP建设者和开发人员提供必要的协同工作、导师支持和学术讨论,这里将是一个你寻找队友、学习并从该领域的研究人员那里获得反馈的地方! 欢迎加入Kepler42B - ZK Planet,让我们一起探索迷人的零知识证明和密码学世界吧!
👾: https://discord.gg/CTrBVjDW4E
🐦: https://twitter.com/kepler42bDAO