正文
就像 zkVM 的 Prover 终将生成证明,本次由 Coset 联合 SECBIT Labs 发起,ZKM、Computation Frontier Labs 赞助,Delphinus Lab、Mask Network 和 NextID 支持的,持续两周的 HackerHouse 也走到了 QED(quod erat demonstrandum) 时刻。
本次 HackerHouse 从招募开始就竞争激烈,我们收到了近 60 份申请,其中既有来自国内外名校从事相关专业研究的博士生,也有来自一线的一流工程师。在经过面试和层层筛选后,15 名 Hacker 最终入选,开启这场 zkVM 主题之旅。
一言以概之本次 zkVM HackerHuse(以下简称 CHH) —— 意料之中的极度烧脑。该学的时候拼命学,该玩的也不落。两周(2025.4.14 - 2025.4.26)的时间里,大家听了 20+ 硬核分享,产出了 30+ demo 成果,除了每个工作日下午两点的定时分享,还有很多临时性的内容在线下的交流和讨论中诞生。
接下来一起深入回顾我们第二周的精彩吧!
⬇️
01
Review
「CHH @zkVM 苏州」第二周
✍️ 概述
延续第一周的风格,第二周的 CHH 也是异常「卷」。
除了周六 Demo Day 前的周五是没有固定的安排,其他时间段每天依旧延续之前,下午和晚上都满满当当,分享不停歇。甚至,哪怕是没有安排的周五,大家也是自觉的不行。偷懒?在我们这里根本不存在这回事呀!
那么,先给大家看看我们第二周听过的分享 ⬇️
📅 日程 & 分享一览
4.21(周一)
「zkMIPS 技术框架」(ZKM - Alva)
「Additive FFT - 白板讨论」(郭宇)
4.22(周二)
「zkVM 硬件加速相关」(cflabs - Hugo)
「Hashcaster - 白板讨论」(Yolanda)
4.23(周三)
「协作式 ZK/MPC+ZK/Proof Delegation」(Hins)
4.24(周四)
「New zkvm from sp1 with minimum work」(Wangyao)
「Lattice shnorr protocol」(Yingfei)
Hmmm,总结下来内容就是又干又硬。鉴于内容比较长,后续的分享正在加大马力上传中,可以提前先订阅我们的油管专辑,接收最新内容动态!
注:相关视频可前往 https://www.youtube.com/playlist?list=PLbQFt1T_44DwBfBgNJD2sGu-1gkptJidM ( 或扫描下方二维码 ) 查看
02
Review
Final Demo Day
✍️ 概述
接下来,我们一起看看最后的 Demo Day 吧。
本次 HackerHouse, 最终的 Demo Day 总共展示了 14 项成果,涵盖了从前沿研究到工程实现的多个方向。
不仅有深入的 Research 分享,也有已经初具雏形、可实际运行的小项目,充分体现了本次 HackerHouse 的技术深度与多样性。
⬇️
1. Eric:「Demonstration of AdditiveFFT」
2. Harold + Wenkang + Jeff:「BFZK」
3. Harry:「Lantern part 2: Commit linear relation」
4. Steve Wang :「auto precompile benchmarking」
5. dongliang:「Sumfold analysis and benchmarking」
6. 小熊:「zkTLS and applications」
7. yiwen:「STIR: the power of quotient」
8. keep:「A recursive circuit implementation in gnark and sp1」
9. Lx 铭:「Space-efficienct sumcheck construction」
10. Yolanda:「sumcheck for boolean circuit」
11. JC:「cLean: theorem proving DSL for zk circuits」
12. 展鹏:「oblivious proof」
13. haixing:「lookup」
14. Juno Chiu:「diff on openvm / sp1 - experimental results」
总结来说,这些成果包括:
高性能计算相关的探索,如「Additive FFT」的演示 和「自动预编译基准测试」
零知识证明领域的多个前沿话题,包括「BFZK 设计与实现」、「Lantern 系列的线性关系承诺」、「Sumcheck 优化与布尔电路应用」、以及「递归电路在 gnark 和 SP1 中的构建」
系统与协议研究方面的项目,如「zkTLS 的应用探索」、「STIR 中商式的力量」、以及「SP1 与 OpenVM 的差异分析」
语言与工具链方面的研究,如「cLean:用于 zk 电路的定理证明 DSL」和「oblivious proof」的构建分析
😄 精彩锦集
👋 那么,下次再见!
致谢
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.
Other support
Coset
致力于促进不同个体之间有效的、深度的交流与协作,激发更多创新和创造。
关注我们的社交媒体,了解更多动态:
Website:https://coset.io/
Twitter:https://twitter.com/coset_io
Telegram:https://t.me/coset_io
Youtube:www.youtube.com/@coset_io
Contact:emily@coset.io
【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。