ZK电台第67期:Ming Guo,ZKM的联合创始人兼首席科学家 - 现已在Spotify和YouTube上发布 🔳 在这一集中,@alicelingl与@DacEconomy - @ProjectZKM的联合创始人兼首席研究科学家 - 坐下来讨论零知识如何从@ethereum转向Bitcoin,以及一个由可验证计算保障的Bitcoin经济究竟是什么样的。 Spotify: YouTube: 内容包括: • ZK进展:交易隐私 → 一般电路 → 近实时证明的zkVM • ZKM基于MIPS的zkVM设计对性能、稳定性和验证的重要性 • 基于BitVM2的Bitcoin L2架构,如@GOATRollup,以及为什么L2是可编程性的安全途径 • “通用结算”:可验证计算作为去中心化应用的基础 • 可编程的问责制和激励与传统的“信任一方”模型 • 开发者用户体验:从zkDSL到编写普通代码并在zkVM中证明执行 • 超越“价值储存”:收益、稳定资产,以及与Bitcoin锚定的链上活动而不妥协L1安全性 如果你在Bitcoin或ZK上构建,这一集为堆栈、权衡和从单纯持有BTC到实现一个功能性、可验证经济所需的条件提供了清晰的框架。
6.14K