2025 年 4 月 14 日到 4 月 27 日，Coset 将再次联合 SECBIT Labs，在苏筹办 zkVM Hacker House，欢迎大家踊跃报名参加！
我们将为 Hacker 提供两周在苏的免费住宿，还有诸多干货的分享，领域内知名项目方的研究员、工程师莅临，我们往期海内外的老朋友们来访，一起期待这场周期性的大脑盛筵吧！
往期精彩
ZK HackerHouse in Chiang Mai, Thailand, 2024
Next Generation Proof System HackerHouse in Suzhou 2024
正文
Introduction
zkVM：数字世界的「玄牝之门」
引言
区块链技术的核心在于构建一个自由、可信的数字世界，而这一目标的实现离不开隐私保护与计算验证的双重保障。随着区块链应用的复杂化，如何在确保数据隐私的同时，验证计算的正确性，成为了行业的关键挑战。
zkVM 正是这一需求的必然产物。zkVM 的实现依赖于复杂的密码学算法和计算模型，它通过将程序编译为特定的零知识证明电路，使得每一步计算都可以被验证，同时保持数据的隐私性。它如《道德经》中的「玄牝之门」，既是万物生发的根源，又隐于无形，为数字世界筑起了一道隐形的信任之墙。近年来，硬件加速技术（如 FPGA 和 GPU）的引入，进一步提升了 zkVM 的计算效率，使其能够支持更大规模的应用场景。
当前，zkVM 的多样性正逐渐显现，不同的 zkVM 方案针对不同的应用场景进行了优化。例如，ZKM 结合 STARK + SNARK 递归方案，优化 EVM 兼容性，适用于 ZK-Rollup、ZK-EVM 相关应用。而 Jolt 采用递归 STARK，优化低延迟 ZK 证明生成，适用于 L2 交易验证、跨链 ZK 证明。SP1 则致力于将 zkVM 与高性能计算结合，适合 ZKML、AI 计算、密码学等复杂应用。这些不同的 zkVM 方案各有侧重，它们正在成为区块链生态的重要基础设施，其应用场景正在快速扩展。
总之，zkVM 的出现不仅是技术的突破，更是数字社会信任机制的一次深刻变革。可以预见，在 zkVM 的加持下，区块链的潜力将得到更充分的释放，一个更加隐私、高效、协作的数字世界正逐渐成为现实。欢迎各位报名本次苏州 zkVM Hacker House，让我们一起探索这奥妙！
Details
活动概要
📅 活动时间
2025 年 4 月 14 日 - 2025 年 4 月 27 日（两周）
🏠 活动地点
江苏，苏州（具体地点面试通过后再行告知）
🧑💻 招募人数
15-20 人
* 注：我们只提供活动期间的免费住宿，往来交通费用及日常其它开销需自理
Calendar
日程安排
更详细的日程安排我们会在开营日当天介绍。
敲黑板，本次 zkVM HackerHouse 期间，我们还将有一些关于「zkVM + 硬件加速」相关的议题与讨论，敬请期待！
以下是大致的日程：
✨ 第一周
开营日，彼此了解，Hacker 自行组队，选定方向
工作日期间我们为大家安排了每日 workshop
首个周六 demo day，Hacker 组队完毕，需展示目前小组进度
✨ 第二周
不定期 workshop、白板分享和讨论
final demo day
* 注：非公共活动时间 Hacker 可自行安排时间，我们也会组织大家一起出去玩，劳逸结合。
Highlights
本次亮点
本次 Hacker House 我们会兼顾「理论」和「应用」两个大方向，因材施教。届时我们会进行分组，最终的产出形式也会根据方向选择而不同。
💫 理论方向
将更下沉一个维度，围绕证明系统展开，比如 Gorth16、STARK、PlonK、Marlin 等，包括且不仅限于现有 zkVM 所涉及到的证明系统，进行进一步的研究。
💫 应用方向
会更偏工程层面和实际，具体到对现有 zkVM 的应用和实现。
🌰 例子如下
假设 ZKM 可能是我们本次会涉及的 zkVM。
那么我们偏理论的小组，可以具体研究 ZKM 底层的证明系统 Halo2、STARK、PlonK。当然，也可以研究其他的证明系统，比如 FRI-STARK，我们不设限。
而我们应用的小组，可以就 ZKM 的特点和适用场景进行实际的应用，比如利用 ZKM 做项目，或者对 ZKM 结合硬件加速作进一步的优化等等。
🍬 最终产出形式
理论方向：产出 presentation 或文章、研究报告
应用方向：对现有 zkVM 应用，产出相关的项目 demo，相关代码或者完成某个 grant
* 注：实际会涉及的 zkVM，包括且不仅限于上述所提及的案例；产出形式仅作参考，我们鼓励大家有更多想法和创新。
建议大家可以提前确认好自己感兴趣的点，这样更好组队，更快到达胜利的彼岸✌️～
Related roles
相关人员
导师 + 在地主理人
🧑🏫 Mentors
郭宇
SECBIT Labs （安比实验室）创始人，曾经高校教育从业者，关注领域为零知识证明，智能合约安全，程序语言理论。
Kurt Pan
学院派新密码朋克，郭宇老师的好学生
zkpunk.pro
wangyao
fluent zk 工程师。数学博士（未完成）研究 ZK，学习 FHE，探索代数学和密码学的相交地带。
zhuo zhang
zk lead of Scroll
Alva
ZKM 研究员，参与 ZKM 架构设计和证明加速工作。密码学博士，主要研究方向包括零知识证明、多方安全计算和同态加密。
More-TBD
🔗 Facilitator
Purple
non-tech to zk-tech
Join us!
如何报名
1. 扫描下方二维码，或点击文末左下方「阅读原文」，填写问卷并预约面试时间
2. 履约面试（如果临时有变，请提前联系）
3. 等待面试结果通知
Donation
捐赠支持
非常感谢！如果认可我们，并想提供捐赠，以下是多签地址
Eth - 0x18226b84677a7a59D0A498d428feE9208105D0F7
致谢
Sponsor
zkMIPS 是 ZKM 团队研发的，业界第一个基于完整 MIPS 指令集的零知识证明虚拟机，实现通用计算的有效性和零知识证明生成。zkMIPS 完全开源，并且已具备完善的开发者工具集以及高效的证明网络。基于 zkMIPS 构建的 Entangled Rollup 协议，是一套原生资产跨链流通协议，典型的案例包括 Metis Hybrid Rollup 以及 GOAT Network。
Computation Frontier Labs is researching cutting-edge computation technology in blockchain with hardware, including Zero-Knowledge Proof, and AI. It dreams of a decentralized future where zkVM + ASIC tech will be adopted, boldly targeting real-time ZK proving breakthroughs in 2025. It partnered with Intchains to launch Aleo ZK ASIC miners, boasting 20x hash rates and 26x efficiency.
Partner
Delphinus Lab provides solutions for trustless computation and application SDK based on the ZKWasm virtual machine.
Mask Network is a browser extension that seamlessly allows users to access a wide array of Web3 services on their favorite social media platforms, from encrypted messaging to decentralized profiles. With Mask, you can enjoy your favorite Web2 socials while also enjoying all the benefits of Web3 technology.
Your reliable DID infrastructure layer for all social dApps to build upon. We connect your Web2 & Web3 identities.
Community support
🌱 Co-host、Sponsor、Partner 席位开放中，更多合作欢迎咨询！一起「搞」点事情～
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。
