LXDAO 支持 | zkVM 专列开票,邀你登上技术进阶的知识快车!
嘀嘀,快上车!
<前言>前言>
历史上,任何重大的变革和成就背后是密密麻麻,数之不尽的贡献所堆砌,技术的这个场域亦是如此。
zkVM 被普遍认为是突破区块链和分布式系统技术瓶颈的「潜力股」。作为一种结合零知识证明(Zero-Knowledge Proof, ZKP)和虚拟机(Virtual Machine, VM)的新型技术,zkVM 的发展背后承载了多个领域的努力,包括密码学、区块链、分布式系统和计算理论,才走到如今。
从 ZKP 数学模型的建立,到非交互形式的零知识证明被开发,再到后续演化出的 zk-SNARK 和 zk-STARK 技术为 zkVM 的实现提供了理论和算法支持;以太坊虚拟机(EVM)、WASM 和其它区块链虚拟机的探索为 zkVM 提供了计算框架。
zkVM 的最终目标是将零知识证明的隐私性与虚拟机的通用计算能力结合起来,从隐私保护到大规模计算,从去信任化验证到合规性支持,zkVM 在多个维度上展现了当前无可替代的技术优势。
目前来说, zkVM 是一块崭新又充满巨大潜力的未知地,但是这也同时意味着学习的困难程度,想要真正把握它,势必是一个充满挑战的过程。
<课程介绍>课程介绍>
背景
收集了各方的需求和问题,我们发现 zkVM 的学习主要存在以下现实难题:
首先,zkVM 学习难度很大,门槛相对较高。zkVM 非常复杂,除了所用到的高级数学理论、证明系统设计以及计算的复杂性;还有为了支持通用计算,要比传统虚拟机更加复杂的设计;此外,零知识证明与虚拟机的架构要无缝结合的需求,也带来了额外的复杂性。
其次,zkVM 尚在襁褓,缺少学习材料。现在通用的 zkVM,如 Risc Zero、SP1、Miden VM、zkWASM,大部分的文档材料并不完善,并且很多关于工程类的问题难以深究,对个人来说需要耗费巨大精力,学习阻力很大。
针对上述问题,本次课程将作为学习 zkVM 系列的起步课程,后续会有更多的进阶课程。通过理论讲解和代码实践相结合的方式,从基础到进阶帮助大家全面掌握 zkVM。
本次课程由 ZKM 赞助支持,我们还邀请了多位来自不同 zkVM 的专家为学员带来专题分享。完成本次 zkVM 学习和作业的学员,可:
直接参与后期进阶学习;
优先锁定后续线下 Antalpha HackerHouse 的名额,有机会享受到免费住宿;
优秀学员还可以获得相关的工作机会。
当下的 zkVM 还是正在酝酿中的雷雨,充满巨大潜力,如果你恰好是对 zkVM 这块未知地感兴趣但又落单的逐浪人,赶紧加入组织,一起探索!
课程详情
1. 课程时间:
2024 年 12 月 30 日 - 2025 年 1 月 27 日 (4 周)
2. 课程形式:
🧑🏫 线上直播授课(Zoom),每周一节课(1-1.5h/ 节)
📢 课程通知、交流讨论(微信群)
💬 线上答疑:https://github.com/Antalpha-Labs/zkp-academy/discussions/categories/q-a
3. 课程目标:
通过本期共学,参与学员将对 zkVM 形成一个高层认知,可以了解到 zkVM 的历史发展与未来的发展机会,其系统架构、虚拟机 (VM) 、prover 架构设计,以及最起码会使用一个 zkVM。
4. 课程概览:
zkVM 的历史现状和未来
帮助学员了解 zkVM 技术的起源、演进过程以及未来的趋势和潜力。
zkVM 概讲
对 zkVM 的基本概念进行整体讲解,帮助学员快速入门。
zkVM 系统架构简介
系统性地分析 zkVM 的核心架构,帮助学员理解其底层设计。
zkVM 的虚拟机 (VM) 简析
深入解析 zkVM 虚拟机的设计与工作原理,为后续学习奠定技术基础。
zkVM Prover 架构设计
重点讲解 Prover 的架构及其设计理念,帮助学员理解 zkVM 如何生成高效的零知识证明。
如何使用 zkVM
结合实际案例(选择一个具体的 zkVM),帮助学员掌握 zkVM 的实际应用及操作。
共学赏金任务
为鼓励学员学习与分享,本课程继续 Co-learn notes bounty 活动,学员可以将学习中的内容整理成个人笔记提交到 github co-learn notes 目录下,收录后每篇笔记给出 200 CNY 的 bounty,并发布在 Antalpha-Labs 公众号上。
* 笔记主题围绕 ZKP 相关技术,不局限于 zkVM。
<报名要求与渠道>报名要求与渠道>
哪些人适合学习本课程?
✅ 区块链开发者和研究人员
对零知识证明(ZKP)或区块链技术有一定基础的开发者,尤其是希望深入了解零知识虚拟机(zkVM)在区块链和去中心化应用中的应用。
✅ 密码学研究者和密码工程专业人士
对零知识证明、加密技术和数学理论感兴趣,希望了解 zkVM 工作原理及其背后的密码学技术的研究人员或学生。
✅ 智能合约开发者
使用 Solidity、Rust 等语言开发智能合约的工程师,希望探索 zkVM 如何增强隐私和扩展性。
✅ 系统架构师
对分布式系统、虚拟机架构感兴趣,想要了解 zkVM 的系统设计与实现的技术人员。
✅ 技术管理者、投资研究、产品经理等
希望在技术层面对 zkVM 有高层次认知,以便将其引入到产品设计或技术路线规划中。
✅ 对 zkVM 感兴趣……
如何报名此次课程?
为了更好地激发大家学习的意愿,本次课程采用押金报名的方式。
待课程结束,学员完成最后的作业,押金会如数退还。
押金: 299 元
注:往期 zk 共学的贡献者、提交过笔记的内容创作者 可免押金
👉 报名链接(长按识别下方二维码或点击下方「阅读原文」):
更多咨询和帮助
扫描下方二维码或微信号搜索:AntalphaLabs
<教学阵容>教学阵容>
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 技术爱好者,与大佬们学习最新技术。
<赞助>赞助>
zkMIPS 是 ZKM 团队研发的,业界第一个基于完整 MIPS 指令集的零知识证明虚拟机,实现通用计算的有效性和零知识证明生成。zkMIPS 完全开源,并且已具备完善的开发者工具集以及高效的证明网络。基于 zkMIPS 构建的 Entangled Rollup 协议,是一套原生资产跨链流通协议,典型的案例包括 Metis Hybrid Rollup 以及 GOAT Network。
<致谢>致谢>
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 为技术爱好者和专业人士提供了一个交流与合作的平台。无论是初学者还是经验丰富的开发者,都可以在这里找到所需的资源和支持,共同推动零知识证明技术的发展与应用。
Antalpha Labs是一个非盈利的 Web3 开发者社区,致力于通过发起和支持开源软件推动 Web3 技术的创新和应用。
官网:https://labs.antalpha.com
Twitter:https://twitter.com/Antalpha_Labs
Youtube:https://www.youtube.com/channel/UCNFowsoGM9OI2NcEP2EFgrw
联系我们:hello.labs@antalpha.com
点击 阅读原文 /Read Me 申请报名
免责声明:文章中的所有内容仅代表作者的观点,与本平台无关。用户不应以本文作为投资决策的参考。
你也可能喜欢
【充值有礼 第三期】领跨年专属福利千元购物卡
充值有礼活动第三期来袭,充值+交易,领取最高1,100 USDT 现金空投。同时,2025年前完成充值,有机会赢得5,000 元京东购物卡! 活动时间:2024年12月25日 15:00 - 2025年1月3日 15:00(UTC+8) 点击报名 一、充值交易领空投 活动期间,新、老用户充值任意币种,根据净充值金额(折合 USDT )以及报名后交易金额,领取相应数量的 USDT 空投。 净充值金额 交易20万 USDT 奖励 交易200万 USDT 奖励 50,000 USDT 150 USDT 250 USDT 100,000 USDT 300 USDT 400 USDT 500,000
Bitget 关于现货机构借贷升级的公告
为更好得服务机构客户,Bitget 现已升级现货机构借贷服务。 什么是Bitget 机构借贷? Bitget 机构借贷是服务于机构和做市商的借款服务,现支持现货3倍杠杆和5倍杠杆。 本次优化内容 支持多风险单元管理:每个风险单元可独立借款,LTV风险率独立计算; 支持还款提醒:每期还款日提前三天和一天邮件提醒还款。 产品优势 抵押资产和配资被锁定在风险单元子现货账户内; 只要符合风险率LTV,抵押资产支持现货市场交易; 机构借贷支持多种抵押资产; 提供有竞争力的借贷利率和借贷额度。 优化详情参见: 机构借贷产品介绍(现货) 机构借贷API 感谢您的支持!