🛰
ZKP 共学第四期
Halo2 编程:士官长集合*
*题目是 Kurt 留梗,破解可直接加入本期 ZKP 脱口秀大会,提示:人名
以最小化的信任实现更加广泛的社会共识与协作,基于数学与密码学的零知识证明(Zero-Knowledge Proofs,ZKP)或许是这个时代最好的答案。
从最早在 1985 年 MIT 的一篇论文中被提出,作为一种密码学算法,它允许一方证明某个事实的真实性,无需透露其他任何信息,2018 年之后零知识证明迎来寒武纪大爆发,PLONK、Halo2、Nova 和 Spartan 等新的重磅协议相继涌现。
其中 Halo2 是基于 PLONK 的证明系统,它采用零知识证明方法,允许证明者生成较小的证明,并允许验证者进行高效验证。
Halo2 的设计旨在提高效率,降低计算和存储成本,使得更多的应用可以受益于 ZKP 技术,与此同时,Halo2 也是被主流项目使用得最广泛的协议。
Prometheus stole the fire of digital age. cr: xiaoyu
第四期 ZKP 共学我们将聚焦 Halo2,面向有一定零知识证明数学和理论基础的参与者,进行 ZKP 电路实战以及 Rust 编程,通过对 zkEmail 等最前沿的案例与应用研究,深切感受 ZKP 的变革进行式。
1. 共学 Halo2 理论与应用
以 0xParc Halo2 开源教程为蓝本,我们将一起深入了解基本理论,同时也将紧扣前沿 🔥,每周选出最感兴趣的相关话题和应用,进行分享和讨论。
2. 自由选题,分享得 Bounty
独立或组队研究 Halo2 或其他 ZKP 选题所有参与分享研究成果的小伙伴,都将获得社区 Bounty 💰。本期优先考虑 Halo2,但若有其他 ZKP 选题,我们也欢迎分享。
3. 共建 learn.z2o-k7e.world
在每期学习过程中,我们还会一起共建 ZKP 中文材料 📝,希望这套清晰易懂、结构系统的资料会作为大家学习的参考:https://learn.z2o-k7e.world,有兴趣参与的小伙伴可以提 PR 增补文章,共建这份学习开源库。
z2o-k7e 发音 /zu:ki:/ ,同 zoo-key
共学社区 / ZKP Co-Learn
我们将在 6 周的时间里,专注 Halo2 的理论与应用学习,每周日上午 Office Hour,收集大家的问题,针对当周内容集中答疑和讨论;每周一次嘉宾分享,邀请资深研究者进行主题分享。
理论之外,我们会开展市场前沿的 Halo2 实战项目分享,如 zkEmail、Scroll、Taiko、zkWASM 等,参与者也可以自选 ZK Wordle、proof of validator、on-chain verification、Poseidon hash 或 PSE 项目等方向进行研究。
我们鼓励大家组队进行 ZKP 编码实战,一起 Build 实用的 ZKP Gadgets 或是贡献开源项目,嘉宾和社区的 Maintainer 都会给与技术交流与指导。
ZKP 共学已经聚集了十多名优秀 Maintainer,根据共学进度和反馈,他们将发起不定期技术或案例分享,提出项目方向,带领大家组队开发或讨论研究,并提供帮助与建议。
共学计划 / Co-Learn Plan
共学时长 5+1 周
共学安排 五周 Halo2 理论与案例学习
每周日上午 Office Hour(UTC+8)
一周实践产出,选题研究与分享
社群长期有效,互相分享、答疑
实践开发 独立或组队研究 Halo2 相关选题
分享 zkEmail 研究结果(可选)
共学地点 微信社群/Zoom/腾讯会议/Github
共学要求 对 PLONK 协议有基本了解
有 Rust 语言编程基础
具备充足的学习时间和热情
时间投入 建议每周至少 10 个小时
集结期 | 🎊 即日起,开启正式招募 |
共学成员自我介绍,互相了解 寻找和确定研究方向,自由组队 |
模块 | 10 月 15 日 - 10 月 21 日 |
PLONK recap & Halo2 intro | |
包括 PLONK 协议及 lookup table ,以及 Halo2 初探。 |
模块 | 10 月 22 日 - 10 月 28 日 |
Fibonacci-1/2,IsZero Circuit | |
以 Fibonacci 表达式和 IsZero 电路模板为例,探究基础的 Halo2 代码实现,及对电路优化产生初步直观的印象。 |
模块 | 10 月 29 日 - 11 月 04 日 |
Range-check 实现及其 lookup 优化 | |
Range-check(范围检查)和 Lookup table(查找表)的应用,范围检查在实际应用场景中是非常重要的组成部分,它允许 Prover 证明一个值而不实际公开值,查找表则能极大地提高电路证明的效率。 |
模块 | 11 月 05 日 - 11 月 11 日 |
Range-check Decomposed 综合练习 | |
Decomposed 是对查找表的效率优化综合代码练习,里面会涉及大量的 Halo2 核心接口,是电路开发的最佳实践之一。 |
模块 | 11 月 12 日 - 11 月 18 日 |
Halo2 项目研究,以 zkEmail 为例 | |
参与者也可自选 ZK Wordle / proof of validator / on-chain verification / poseidon 等 |
结营分享 | 11 月 19 日 - 11 月 26 日 |
🎉 本期共学正式完结 评估学习成果,进行优秀项目展示 | |
根据学习成果、社区贡献值等发放奖励 |
扫描二维码或点击阅读原文报名
🐧 正价票 399 / 人
🕊 早鸟票 349 / 人
(早鸟票截至10月7日12:00)
可添加下方二维码咨询
认证与奖励 / Certificate & Reward
完成本期 ZKP 学习和分享,可直接进入后期 ZKP 进阶共学;
完成本期 ZKP 学习和分享,积极活跃的优秀社区成员,可优先免试加入 Antalpha Labs 主办的线下ZKP 主题 Hacker House,提供 3 周免费住宿;
完成本期 ZKP 学习和作业,有机会获得 EthStorage、Antalpha Venture 等机构实习或工作推荐;
撰写 ZKP 技术文章,或在社群内知识分享,可获得相应的成长 Bounty;
参与结营分享 ZKP 共学成果,经评选出的优秀产出项目,可获得 706 Creators 共学奖励金。
共学返还体系 / Refund
成为 Maintainer 积极回答技术问题,推动学员完成作业,可获 4 共学点;
输出 ZKP 相关研究并参与结营分享可获 4 共学点(与 Bounty 叠加);
撰写并分享 ZKP 开发经验或学习笔记,每篇可获 2 共学点(与 Bounty 叠加);
邀请好友报名共学,每邀请一位可获 2 共学点;
每位参与者累计达到 10 共学点后,可获得 100% 费用返还。
共学发起人 / Initiators
Harry
Antalpha Labs 核心贡献者 & Rebase 社区联合发起人。从 2018 年至今,一直专注于 web3 开发者社区的建设以及 web3 相关技术的布道。
孝羽
706 Creators 小组发起人,Sui 大使,MoveFuns DAO 轮值主理人。前科技媒体,自由撰稿人,现文转码的 AI 算法学徒,长久的数字游民,喜欢创意和创作的自由人。
Demian
独立开发者、zkp 研究员,706 Creators 核心贡献者,目前在推动 ZKP Public Goods 建设。
特邀嘉宾 / Special Guests
郭宇
安比实验室创始人,曾经高校教育从业者,关注领域为零知识证明,智能合约安全,程序语言理论。
Qi Zhou
周期博士是web3://协议,EthStorage 和 QuarkChain 的创始人,包含 EIP-4804/4972/5018 在内等多个 EIPs的作者(或合作者之一),现主要工作在 EIP-4804: Web3 URL 标准和 EthStorage 大规模可编程的以太坊存储层。本人及团队获得多个以太坊基金会的grant支持,包括数据可用和L1存储证明方面的研究,感兴趣方向主要是研究和开发未来的 web3 基础设施,包括分片技术,数据可用技术和 PoW/PoS 混合共识技术。
Kurt Pan
郭宇老师“曾经所在高校”本科,复旦大学密码学博士,自我认知为 Crypto Primitive,偶像是 Kurt Gödel,痴迷计算复杂性理论和密码学概率证明系统,希望成为「密码朋克」精神的继承者。
Dream
Scroll Core Engineer,Blocksight 作者。数学&密码学持续学习者,前爱立信,微软高级工程师,区块链与隐私计算一线工程研发。
Cecilia
Zk Core Dev @ Taiko,专职Halo2民工,留美期间在Cryptography Lab 搬砖,入坑密码学和区块链。
社区维护者 / Maintainers
笃行
Rust 工程师,也写 C++/Cuda,负责一些密码学方向相关的优化的工作
Po
北航博士,研究方向包括流体力学、机器学习、共识算法和 BTC NFT 等
keep
技术爱好者,区块链老兵,擅长公链/交易所钱包/智能合约,正在做 ZK 项目
0xhhh
EthStorage Researcher,近期主要研究 Stark & Stark Aggregation
与 zkEVM 等
阳小雪
图论和计算几何方向的程序员,最近主要在看 LookUp 相关,也在了解复杂系统
头雁
ZKP Researcher,研究 zkVM 及 ZKP 相关应用,最近主要研究 Nova 中
小熊
pku 物理本科,法国 AI 硕士,现正专注密码学,做 ZK 相关科研
Miles
ZKP 爱好者 & 研究员,中科院区块链隐私保护方向在读
白菜
多年 ML 从业者,ZKP 研究者,关注ZKML,撰写分享了多篇 ZKP 文章
CJ
ParaX 核心,法国通讯硕,熟悉DeFi,ZKP 爱好者与探索者,近期主要研究 zkEVM
羊驼
华东师范密码学博士生,目前在新加坡公派联培,ZKP 圈打酱油
well
密码学博士,正在做 ZK 项目,擅长公钥密码安全理论/同态加密/MPC
联合发起机构 / Co-Hosts
Antalpha Labs
Antalpha Labs 是一个非盈利的 Web3 开发者社区,致力于通过发起和支持开源软件推动 Web3 技术的创新和应用。
706 Creators
以「行动」、「产出」和「商业可持续」为导向的共学共创小组,简单理解的话,它是区隔于 706 惯例的对话沙龙、讲座、知识分享等人文社科类活动,而衍生出来的更偏创意、技术、共建创造的分支,706 creators create something together.
赞助机构 / Sponsor
EthStorage
EthStorage 是一个基于以太坊的二层存储网络,采用独创的零知识存储证明技术,确保链下数据副本的安全,提供链上 CRUD 操作,兼容各种新型应用如全链NFT、去中心化网站等。EthStorage 是首个获得以太坊 L2 的生态基金的支持的存储 rollup 项目,以一亿美元估值完成了种子轮融资。
支持社区 / Support Community
SECBIT
SECBIT(安⽐)实验室专注于智能合约安全与零知识证明。
Sroll
Scroll是一个字节码级别拓展以太坊,并且致力于对开发者最友好的zk-Rollup,可实现对现有以太坊应用程序和工具的原生兼容,为下一个十亿加密用户提供服务。
Sui Foundation
Sui 是基于 Move 的 Layer1 区块链网络,旨在使创作者和开发者能够构建满足 Web3 中下一个十亿用户体验的应用。Sui 基金会是独立的组织,致力于推动 Sui 网络的发展与采用。
Manta Network
Manta Network 是基于零知识证明(ZKP)的可编程隐私Layer1。
Rebase 社区
Rebase 是一个区块链行业的开发者社区, 通过技术信仰连接中国的 web3.0 开发者。
seeDAO
中国最具影响力的DAO孵化器,也是一个自由的数字王国。
Web3Builder.Tech
The Web3Buidler is an open and inclusive DAO organization initiated by EthStorage that aims to provide education on the latest web3 technology to everyone. Our goal is to foster an innovative community of developers through a platform that is purely focused on learning, sharing, and collaborating.
ThubaDAO
ThubaDAO 由热衷于区块链技术研究的清华学生 ,自发组建、自主管理的学生组织 ,旨在成为连接中外高校区块链领域的桥梁 ,致力于教育和培养Web3的未来领军人才。
Buidler DAO
“Move over hodl, it’s time to buidl!” Buidler DAO 聚集投研、技术、运营等领域的 Web3 实干家,以 DAO 的方式组织内容输出和产品实践,建立 Web3 人才网络和项目加速器;以自身实践打造 SocialDAO 治理范式和 DAO Tools 解决方案。
Plancker DAO
Plancker DAO 是一个以太坊建设者的社区,我们为开发者、产品工程师、研究员提供社区和资源一起进行 Ethereum 生态共创。
DRK Lab
DRK Lab 是专注于 Web3 领域的投资孵化机构,致力于帮助有才华、践行长期主义价值观的创业者,共同建设一个有机的 Web3 世界。
登链社区
秉承去中心化精神,登链社区是一个高质量的区块链技术内容社区。
OpenBuild
面向 Web3 开发者的开源社区,致力于为开发者提供高质量的系统性内容和活动,同时连接 Web2 和 Web3,帮助开发者过渡到去中心化的网络,并通过提供必要的工具和资源,帮助开发者建立声誉体系,构建信任,创造商业机会。
MoveFuns DAO
面向 Move 开发者的 DAO,主要目的是联合开发者社区,一起构建多链的 Move 生态基础设施。Move Funs,Writing Move funs and makes fun!
Starknet Astro
Starknet Astro 是受 Starknet 基金会支持的中国开发者社区。Astro 通过原创 Cairo 教程与 Starknet 研究、举办开发者活动与组织生态布道以推动 Starknet 在中国社区的发展。
Odessey DAO
A crypto-native community to rally digital citizens BUIDL metaverse of the people, by the people, and for the people.
Social Layer
一个主观的、关系型的、可编程的,由 SBT 构建的社会网络,可以将你的关系价值结晶为链上徽章,你可以在这个网络中呈现出一个体现你的多元角色、价值观和共识的去中心化身份,你也可以通过可组合徽章的将社区中的关系结构编译为代码并开源共享,实现人人可参与的可编程社会网络愿景。
复旦大学区块链协会
凝聚复旦人才,打造复旦最大的技术社区。
点击阅读原文报名