课程介绍
背景
收集了各方的需求和问题，我们发现 zkVM 的学习主要存在以下现实难题：
首先，zkVM 学习难度很大，门槛相对较高。zkVM 非常复杂，除了所用到的高级数学理论、证明系统设计以及计算的复杂性；还有为了支持通用计算，要比传统虚拟机更加复杂的设计；此外，零知识证明与虚拟机的架构要无缝结合的需求，也带来了额外的复杂性。
其次，zkVM 尚在襁褓，缺少学习材料。现在通用的 zkVM，如 Risc Zero、SP1、Miden VM、zkWASM，大部分的文档材料并不完善，并且很多关于工程类的问题难以深究，对个人来说需要耗费巨大精力，学习阻力很大。
针对上述问题，本次课程将作为学习 zkVM 系列的起步课程，后续会有更多的进阶课程。通过理论讲解和代码实践相结合的方式，从基础到进阶帮助大家全面掌握 zkVM。
本次课程由 ZKM 赞助支持，我们还邀请了多位来自不同 zkVM 的专家为学员带来专题分享。完成本次 zkVM 学习和作业的学员，可：
直接参与后期进阶学习； 优先锁定后续线下 Antalpha HackerHouse 的名额，有机会享受到免费住宿； 优秀学员还可以获得相关的工作机会。
课程详情
课程时间：
2024 年 12 月 30 日 - 2025 年 1 月 27 日 （4周）
课程形式：
🚚 线上直播授课（Zoom），每周一节课（1-1.5h/节）
📢 课程通知、交流讨论（微信群）
💬 线上答疑：
https://github.com/Antalpha-Labs/zkp-academy/discussions/categories/q-a
课程目标：
通过本期共学，参与学员将对 zkVM 形成一个高层认知，可以了解到 zkVM 的历史发展与未来的发展机会，其系统架构、虚拟机(VM) 、prover 架构设计，以及最起码会使用一个 zkVM。
共学赏金任务
为鼓励学员学习与分享，本课程继续 Co-learn notes bounty 活动，学员可以将学习中的内容整理成个人笔记提交到 github co-learn notes 目录下，收录后每篇笔记给出 200 CNY 的 bounty，并发布在 Antalpha-Labs 公众号上。
*笔记主题围绕 ZKP 相关技术，不局限于 zkVM。
报名要求与渠道
哪些人适合学习本课程？
如何报名此次课程？
押金: 299 元
注：往期 zk 共学的贡献者、提交过笔记的内容创作者 可免押金
教学阵容
Mentors
Dream
前 Scroll Core Engineer, Blocksight 作者。数学&密码学持续学习者，前爱立信，微软高级工程师，区块链与隐私计算一线工程研发。
wangyao
fluent zk 工程师。数学博士（未完成）研究 ZK，学习 FHE，探索代数学和密码学的相交地带。
郭宇
SECBIT Labs （安比实验室）创始人，曾经高校教育从业者，关注领域为零知识证明，智能合约安全，程序语言理论。
backdoor
OKX ZK Dev，代码和理论两手抓，希望跟大家多交流学习～
johnxu
zk和rust爱好者， 密码学工程师
Daniel
浙江大学博士后研究员，密码学博士，曾在 NDSS，TIFS 等旗舰会议和期刊发表多篇论文，主要研究方向为安全多方计算和零知识证明。
Assistants
Harold
研究 zk 协议 todolist 望不到头的人，偶尔会做一些技术分享，欢迎大家来一起讨论～
Kyrin
区块链方向博士，zkp 技术爱好者，与大佬们学习最新技术。
赞助
致谢
Rebase 是一个区块链行业的开发者社区，通过技术信仰连接中国的 Web3.0 开发者。
Mina is a layer-1 blockchain with a 22KB blockchain & zero knowledge smart contracts (“zkApps”) written in TypeScript.
区块链技术爱好者的家园。
WEB3.0 Programming for everyone.
OpenBuild 中文社区，OpenBuild 是一个致力于帮助 Web2 开发者更好的进入 Web3 的开源社区，助力开发者成功。
TinTinLand 是赋能下一代开发者的技术社区，通过聚集、培育、输送开发者到各开放网络，共同定义并构建未来。
「Starknet 中文」是 Starknet 社区项目，致力于 Starknet 在中文社区推广。
Starknet 上最具创意的媒体，专注于 Starknet 生态，提供最前沿、最深度的生态研究。
Panta Rhei 是一个研究驱动的开源社区，专注于推进区块链经济学的研究，尤其关注以太坊及其相关生态系统中的复杂协议机制设计。
ETHPanda 由一群关注以太坊的华语建设者组成，我们将推动构建一个面向以太坊华语建设者的公共网络，汇聚大家的力量一起更好地支持以太坊。
Buidler DAO 聚集投研、技术、运营等领域的 Web3 实干家，以 DAO 的方式组织内容输出和产品实践，建立 Web3 人才网络和项目加速器；以自身实践打造 SocialDAO 治理范式和 DAO Tools 解决方案。
MOVE OVER HODL, IT'S TIME TO BUIDL!
LXDAO 是一个专注于可持续地支持有价值的 Web3 公共物品和开源项目的研发 DAO。目前重点关注研发 DAO 治理和建设、Web3 教育、公共物品和开源项目的支持和研发等。
EthStorage 是一个基于以太坊的二层存储网络，采用独创的零知识存储证明技术，确保链下数据副本的安全，提供链上 CRUD 操作，兼容各种新型应用如全链 NFT、去中心化网站等。
Orbiter Finance 是一个基于零知识技术的以太坊加速引擎，旨在提升二层网络的性能并降低 gas 消耗。致力于通过利用零知识技术来革新以太坊生态系统，以一种既经济又高效的方式简化所有二层网络上的交易。
HOH 水分子开发者社区是一个专注于编程、教育和创新的社区，旨在为开发者提供一个交流和学习的平台。
Zookie 是一个致力于降低技术理解难度、破除技术学习恐惧的社区。通过有趣易懂的内容、实用的学习资源和互动交流，帮助每个人轻松上手。
ZK Shanghai 是一个专注于零知识证明（ZKP）技术的专业社区。我们致力于在社区内提供开放教学，传递行业最新资讯，积极开展工程实践，并进行深入的学术讨论。作为上海地区专注于零知识证明的线下聚集地，ZK Shanghai 为技术爱好者和专业人士提供了一个交流与合作的平台。无论是初学者还是经验丰富的开发者，都可以在这里找到所需的资源和支持，共同推动零知识证明技术的发展与应用。
Starknet Bounty 活动火热开启！海量奖金福利助力开发探索之旅
关于我们
ABOUT US
TinTinLand 是赋能下一代开发者的技术社区，通过聚集、培育、输送开发者到各开放网络，共同定义并构建未来。
点击“阅读原文”进入 TinTinLand 社区空间 Notion 资源库。
关注同名小红书账号（3955930765）与小T同学一起探索Web3最前沿！
