⚡ Ziren 实时证明：ZK 的一个重大里程碑 @ProjectZKM 的首席技术官 @sd_eigen 介绍了实时证明技术。 1️⃣ ZKM 的 Ziren 利用 MIPS32r2；这是 ZK 最稳定和指令效率最高的通用指令集架构 2️⃣ Ziren 是第二个在 @eth_proofs 上启动的 zkVM，积极展示了超快的证明生成 3️⃣ 实时证明已经在 @goatrollup 上上线，这是一个原生 Bitcoin zkRollup，并且即将在以太坊主网上推出。

本周的回顾集中在 Ziren 如何悄然为 @GOATRollup 提供实时 Bitcoin rollup 的动力，团队如何推出了一个浏览器原生验证器，并在旧金山的 @frontiertower 举办了一场开发者研讨会。 我们还在 @HouseofZK Radio 上概述了通往可验证 Bitcoin 经济的路径，并标记了即将出现在 @ETHshenzhen 和 @BitcoinConfAsia 的活动 👇

ZKM核心团队的一些成员最近与@GOATRollup合作，举办了系列@frontiertower活动的首次会议。 此次在旧金山举行的研讨会主要集中在Ziren的集成路径，为理解GOAT网络上的实际部署和ZKM证明栈中的即将推出的功能奠定了基础，整个过程中吸引了强烈的观众参与。 一些关键亮点： 🔸 技术更新 – 教育负责人@alicelingl介绍了最近Ziren的进展：Golang兼容性、基于WASM的验证和扩展的预编译支持。Alice还提供了一个现场演示，展示了使用Ziren生成和验证证明的过程。 🔸 Ziren作为基础设施 – 首席科学家@DacEconomy概述了Ziren在促进新一波基础设施中的角色，并提供了其在GOAT网络中集成的技术见解。 🔸 Bitcoin原生Rollup模型 – COO及GOAT网络核心贡献者@sophianeverfold提供了GOAT经济设计的高层概述，结合去中心化的排序器、Ziren和BitVM2，以提供可持续的BTC收益，然后深入探讨了Bitcoin L2的许多其他用例。 🔸 端到端栈 – 火边会话讨论了Ziren从最初构建到支持GOAT实时Bitcoin rollup的演变，包括构建完整证明管道的挑战和解决方案。 请继续关注ZKM合作项目在湾区的更多即将举行的活动：

Ziren 的验证器现在可以在浏览器中运行： 产品解锁包括： 🔸 通过钱包、浏览器和去中心化应用程序进行独立检查，无需信任后端 🔸 可重复的审计（相同的 Rust 验证器编译为适用于网页的 WASM，其他地方为本地版本） 🔸 单一 SDK 提供多种证明覆盖（STARK、Groth16、Plonk） 🔸 毫秒级验证以支持完整的 L1 @ethereum 区块证明，适合交互式用户体验 如果您正在构建信任最小化的前端或在关键操作旁边添加“验证”按钮，这将是最简单的路径。 自信构建，无妥协部署： Ziren STARK 验证器 NPM 包：

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到实现一个功能性、可验证经济所需的条件提供了清晰的框架。

ZKM 的 zkVM，Ziren，是实时 Bitcoin zkRollups 的隐藏引擎 🟠 基于稳定的 MIPS32r2，并由分布式、GPU 加速的证明提供支持，Ziren 以速度和效率将开发者代码转化为可验证的证明。 了解更多：

在今天于旧金山举行的@frontiertower活动的最后一次演讲中，ZKM联合创始人兼首席科学家@DacEconomy将阐明Ziren在构建下一代去中心化Web3基础设施中的作用 🟠 🗓️ 今天（8月20日），下午2点至5点 RSVP:

在我们即将举行的旧金山活动中，@alicelingl、@DacEconomy 和 @sophianeverfold 将回顾迄今为止的旅程——从 ZKM 的 Ziren 的初步构建，到将这一稳定且高效的基础扩展到 @GOATRollup 的实际应用。 🗓️ 8月20日，下午2点-5点 📍 @frontiertower，旧金山 讨论将涵盖构建完整端到端堆栈的历史和挑战，然后提供独家见解，讲述这条道路接下来将走向何方。 请回复确认：

GOAT Network 大使将在未来的使命中发挥重要作用。 目标：传播关于 @GOATRollup 如何将 BTC 转变为可用的、产生收益的资产的信息。 由 Ziren 提供支持，这个网络使得 Bitcoin 成为你可以实际使用的货币 🟠

关于我们即将在旧金山举行的@frontiertower活动的更多信息： ZKM COO @sophianeverfold 将探讨 @GOATRollup 的比特币原生 zkRollup 如何通过去中心化的排序器、zkVM（Ziren）+ BitVM2，以及一个真正创新的经济模型，提供真实、可持续的 BTC 收益 🟡 🗓️ 8月20日，下午2点-5点 RSVP: