zkVM 最新动态 在这里，我们报告 zkVM 生态系统中领先建设者的进展，记录最近的重要发布、技术突破和一般更新。 特色：@brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, 和 @ProjectZKM。 🔹 访问以获取来自行业的更多报告 🔹

Brevis 🔹 ProverNet 白皮书 🔹 @brevis_zk 发布了其 ProverNet 白皮书，概述了一个去中心化市场，应用程序请求 ZK 证明能力，专业的证明者竞争提供该能力： 该系统使用真实的在线双重拍卖机制，将异构工作负载与合适的资源匹配，同时通过经济激励来强制执行服务质量。 ProverNet 引入了 BREV 代币用于支付、质押和治理，并计划很快推出一个简化拍卖的测试主网。 🔹 媒体 🔹 在最近一期的 @HouseofZK Radio 中，Brevis 的联合创始人 @no89thkey 讨论了团队如何从 DeFi 起源转向构建可验证计算和近实时证明： 他谈到了 Pico zkVM、用于 @Ethereum 区块证明的 Pico Prism 分布式证明者，以及 Brevis 的模块化协处理器架构如何支持链上忠诚度、简化奖励和 CEX/DEX 桥接集成。 完整播客： 🔹 事件 🔹 Brevis 在 @EFDevcon 举办并参与了多个关键会议，带来了关于可验证计算和向离链、基于证明的执行模型转变的实际视角： • Brevis 举办了 ZKONNECT，与 House of ZK 共同主办，重点讨论 zkVM、ZK 协处理器、zkML 和 zkTLS 如何从概念走向生产。 该项目突出了可验证计算的实际部署、跨链数据访问和 AI 推理，以及几场主题演讲和讨论，概述了团队如何将 ZK 基础设施应用于实际应用。 • Michael 在由 House of ZK 组织、Brevis 共同主办的 Verifying Intelligence 3.0 上发表了主题演讲： 他概述了为什么大多数区块链计算将迁移到离链，并通过 ZKP 进行验证，展示了 Brevis 作为无限计算层，执行重逻辑离链并返回简洁、可验证的输出。 演讲涵盖了 Pico zkVM、实时以太坊证明、Brevis 的模块化架构，以及当前推动智能 DeFi、隐私保护证明和持续激励系统的集成。 🔹 合作伙伴关系 🔹 最后，Brevis 和 @vana 提出了一个联合模型，通过将经过认证的输入与不透露原始信息的本地计算相结合，使用私有数据进行 AI： Brevis zkTLS 证明数据来源，而 Pico zkVM 在用户设备上处理数据。Vana 管理同意和奖励，给予开发者经过验证的指标，并允许用户完全控制他们的数据。 🔹 访问以获取来自整个行业的更多报告 🔹

Jolt (@a16zcrypto) 🔹 Ethproofs Call 🔹 @SuccinctJT，@a16zcrypto 的研究员，在最近的 @eth_proofs 会议上进行了演讲。他强调了当前的 zkVM 如何通过将追踪分割成块并递归聚合证明来控制证明者内存，但这增加了复杂性、错误风险和性能成本。 时间戳 - 32:30: Justin 继续解释了 Jolt 如何旨在用流式方法替代这一点，将证明者内存限制在几GB附近，而不管周期数量。 大约二十个所需的 Sumcheck 组件中已有两个在进行流式处理，其余工作预计很快完成。 🔹 研究 🔹 Justin 还发布了一篇基于调查结果的论文，重点关注现代 SNARK 设计如何通过集中于 sum-check 协议实现快速证明： 该论文概述了为什么批量评估、查找论证、虚拟多项式和小值保留等技术可以减少证明者的工作和承诺成本。 以 Jolt 作为主要案例研究，展示了如何利用重复的计算结构实现高效的 zkVM，并指导未来的性能改进。 🔹 访问以获取来自行业的更多报告 🔹

Miden 🔹 测试网 v0.12 🔹 @0xMiden 发布了其测试网 v0.12，带来了隐私流程、密钥管理、地址处理和开发者工具的重大更新： 该版本增加了一种新的地址格式，支持加密，提供了与 @Nethermind 的私密笔记传输层，通过预编译实现 ECDSA 签名，并改善了节点中的数据处理。 它还包括交易数据可见性的基本保护措施，新的 midenup 安装程序以简化入门，专用的开发网络用于实验，以及多个 VM 级别的增强功能，以提高可组合性和调试能力。 🔹 出版物 🔹 该项目发布了一篇文章，解释了如何通过与 @OpenZeppelin 共同开发的新系统“私有状态管理”使私有多重签名成为可能： 文章概述了传统多重签名如何依赖于共享公共状态，Miden 的隐私模型如何使协调变得复杂，以及 PSM 的同步、协调和认证层如何保持私有账户的一致性。文章最后给出了实际用例的示例，并指出早期的概念验证已经可用。 🔹 事件 🔹 在 @EFDevcon 上，Miden 主办并参与了多个活动，包括： • 隐私沙龙，这是 Miden 组织的一次活动，汇聚了建设者、研究人员和创始人，进行简短的、以想法为驱动的演讲和关于隐私、去中心化系统以及加密、web3 和传统金融之间不断演变的交集的开放讨论。 • 验证智能 3.0，由 @HouseofZK 组织，Miden 的工程负责人 @huitseeker 讲述了 zkVM 在 zkML 中的作用，解释了证明推理和训练之间的区别，TEEs 的局限性，以及 Miden 的设计如何支持实用的、抗对抗的 AI 验证场景。 时间戳 - 02:50:12: 🔹 集成 🔹 该项目介绍了两个新合作伙伴关系，扩展了其在隐私、入门和基础设施方面的生态系统，包括： • @get_para：集成了 Para 的嵌入式钱包和分布式 MPC 认证，以实现 Miden 应用程序的无缝、非托管入门。此次合作引入了无密码登录、即时钱包创建和流畅的用户流程，使 Para 的用户体验与 Miden 的合规隐私模型相一致，以支持基于 ZK 执行的私有 DeFi、金融科技、游戏和机构应用： • @gateway_eth：与合作，提供企业级基础设施，以支持 Miden 可扩展的、以隐私为中心的区块链网络。该合作确保了高可用性、快速数据访问和操作可靠性，随着 Miden 的扩展，Gateway 运行核心组件，如本地桥接、证明者和区块浏览器，以支持 Miden 边缘执行架构的推出： 🔹 访问 以获取更多行业报告 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs 发布了其去中心化永久期货交易所的 Alpha 版本，作为其 Testnet III 的一部分，提供了一个基于可验证基础设施构建的简化非托管 CLOB 平台： 此次发布专注于核心交易功能、简化的入门流程和测试资金，而非真实资产。尽管界面简约，但底层订单簿经过工程设计，以实现低延迟性能，并将随着社区驱动的反馈和逐步引入的加密证明而扩展。 🔹 网络状态 🔹 Nexus 发布了其 11 月网络报告： 亮点包括： • 网络处理了 8719.8 万笔交易，其中 8703.8 万笔已完成，显示出高可靠性，并且发起和最终活动之间的差距非常小。 • 证明吞吐量在一个月内从 5810 调整为每秒 4.16 个证明，反映出在 10 月的快速激增后，证明基线回归到更稳定的状态。 • 已验证的合约达到了 254.8 万个，尽管延迟较高和吞吐量适度，仍显示出开发者对证明环境的持续信任。 • 交易费用平均为 0.048 NEX，保持了可验证性的低成本，并为快速迭代和频繁的链上交互留出了空间。 🔹 事件 🔹 Nexus 首席科学家 @JensGroth16 在 @HouseofZK 的 Verifying Intelligence 事件期间参加了 @EFDevcon 的炉边聊天，讨论了 ZKP 如何从早期的理论工作演变为今天在可验证 AI 中的应用： 他概述了 Nexus 在结合可证明的正确性与经济安全方面的重点，并强调了标准、教育和更广泛的机构信任的必要性，以确保可验证系统变得可用并被广泛采用。 🔹 访问以获取来自整个行业的更多报告 🔹

Risc Zero & Boundless 🔹 Ethproofs Call 🔹 在最近的 @eth_proofs Call #6 中，@BruestleJeremy，@RiscZero 的首席执行官兼联合创始人，分享了团队如何在添加 Risc-V S模式支持、完整的 MMU 和虚拟内存后，成功在 zkVM 内部启动了一个真实的 Linux 内核。 时间戳 - 20:30: 演示展示了多个进程的运行以及适合更广泛软件栈的近确定性环境。Risc Zero 计划在下一个电路发布中交付此功能，随着证明者的进展不断推进。 🔹 事件 🔹 @boundless_xyz 参加了在布宜诺斯艾利斯举行的 Devconnect 中的多个活动，包括： • 由 @HouseofZK 与 @WPReadingClub 和 @invisiblgarden 合作组织的白皮书阅读会议，Boundless、@citrea_xyz、@MinaProtocol 和 @o1_labs 参与了关于 Web3 和 ZK 生态系统中最近研究进展和新兴思想的圆桌讨论。 • Verifying Intelligence 3.0 小组讨论，@boundless 的市场总监 @reka_eth 参与了关于在 AI 和机器人塑造的时代中证明人类贡献的讨论，演讲者包括 @OntologyNetwork 的 @humpty0x、@StarkWareLtd 的 @zKsisyfos、@ProjectZKM 的 @DacEconomy 和 @eigencloud 的 @Viggy_117。时间戳 - 00:57:54: 🔹 访问以获取来自行业的更多报告 🔹

Succinct 🔹 SP1 超立方体 🔹 @SuccinctLabs 报告称，其最新版本的 SP1 超立方体 zkVM 可以在 16 个 RTX 5090 GPU 上在 12 秒内证明 99.7% 的 @ethereum L1 区块，延续了其早期的实时证明里程碑： 此次发布增加了主要的性能改进，所有 RISC-V 约束的形式验证，去除了邻近间隙猜想的依赖，以及新的安全措施。 超立方体正在完成审计，并将以开源形式发布，并通过 Succinct Prover Network 发布。 🔹 研究 🔹 在 @ronrothblum 的最近研究中，Succinct 的密码学负责人，@benediktbuenz (@EspressoSys)，@GiacomoFenzi (@EPFL) 和 @kleptographic (@NYU_Courant) 提出了 TensorSwitch，这是一种几乎最优的基于哈希的多项式承诺方案： 它解决了基于哈希的 SNARGs 的两个主要限制：证明者时间和大证明大小。使用张量编码和交互式 oracle 证明，TensorSwitch 实现了与输入大小线性相关的承诺和开启时间，亚线性哈希成本，以及渐近最小的验证者查询，而不依赖于可信设置或基于组的密码学。 🔹 C2PA 🔹 Succinct 已加入 @C2PA_org，与其他参与者一起开发数字内容验证的开放标准： 随着 AI 生成媒体的增加，该项目引入了 ZK 验证，以通过隐私和可扩展的证明加强来源工作流。 Succinct 旨在支持统一的元数据标准，并改善跨平台的互操作性。通过加入 C2PA，该项目计划贡献研究并协助在实际环境中部署内容真实性工具。 🔹 OP Succinct Lite 🔹 @Celo 通过 Jello 硬分叉将其 Sepolia 测试网升级到 OP Succinct Lite，向主网启动更进一步： 今年早些时候，Celo 转向以太坊 L2 以支持现实世界支付，并成为第一个采用 OP Succinct Lite 和 EigenDA v2 的链。 🔹 访问以获取来自行业的更多报告 🔹

ZKM 🔹 审计 🔹 ZKM 的 Ziren 正在由 @VeridiseInc 进行审计，使用其 Picus 验证平台： Veridise 调整了 Ziren 的 Plonky3 约束，并通过 @AuditHubDev 进行了分析。初步结果确认了 AddSub 芯片在加法和减法中的确定性行为。 团队计划将验证扩展到完整电路，并将检查集成到 ZKM 的开发工作流程中。 🔹 出版物 🔹 @ProjectZKM 发布了一篇文章，解释了 GKR 协议如何通过使用多变量 Sumcheck 协议递归检查电路层之间的一致性来验证算术电路计算： 这篇文章解释了分层电路结构、多线性扩展的作用、Sumcheck 如何将验证简化为点评估，以及递归如何在输入层结束。它展示了为什么 GKR 对于大型电路是高效的，并且在现代 ZK 系统中具有基础性。 🔹 事件 🔹 ZKM 发布了一篇关于他们在 @EFDevcon 的经历的文章，亮点包括： • ZKONNECT 由 @brevis_zk 和 ZK之家主办：ZKM 首席技术官 @sd_eigen 参加了实时证明小组讨论 EVM 在 10 秒内证明，讨论了 GPU 加速的证明系统。 • 由 ZK之家和 Brevis 主办的验证智能：Stephen 讨论了 ZK 基于隐私的 AI 工作流程，并回顾了与 @VeridiseInc 的 Ziren 审计。联合创始人 @DacEconomy 参加了关于验证人类贡献的 AI 和工作小组。 • @EtherArgentina 黑客马拉松：ZKM 赞助了该活动，Stephen 担任评委，教育负责人 @alicelingl 指导团队。 • 由 @babylonlabs_io 和 @build_on_bob 主办的原生 BTCFi 峰会：讨论了与 @Bitcoin 对齐的金融和 BTC 扩展。 • StarkConnect 由 @Starknet 主办：Stephen 参加了关于使用 Starknet 扩展 Bitcoin 的会议，与 @AlpenLabs 和 @atomiqlabs 一起。 • ZK 现实世界峰会：与 @MantaNetwork、@ZKVProtocol 和 @nillion 的隐私保护链小组。 • 由 @invisiblgarden 主办的文化 Vivo：ZKM 作为赞助商回归，支持 ZK 和 AI 建设者的中心。 🔹 访问以获取来自整个行业的更多报告 🔹