头雁
头雁|2025年07月08日 07:11
ZKM - 一款基于mips 的zkvm @ProjectZKM 最近更新了新版本 代号Ziren ZKM 是 为数不多的mips指令集的zkvm产品,他们选择了一条相对竞争没那么拥挤的赛道(相比zk-risc-v指令集来对比的话),mips是一个历史悠久的精简指令集,优势并非指令集数量和扩展性,而在于指令的固定和稳定性,zk-evm之前最大的挑战就是evm指令的不断变化,变化之后就会产生新的电路约束升级,而对于金融和crypto来讲,稳定性和安全更重要,所以zk-mips具有一定稳定性是他核心的价值点。这个项目的cto @sd_eigen 早期做了另一个zkvm项目Eigen_Network,当时主打隐私,后调整方向还是被并购了不得而知。 下面对比下mips32和risc-v指令集做个对比: RV32I 极简,扩展(如 M、A、F、D、C)灵活选择,指令编码简洁,支持 16/32 位。 核心指令集:RISC-V 的 RV32I(47 条)远少于 MIPS32 的核心整数指令(~150 条),体现 RISC-V 极简设计理念。 带扩展:RISC-V 的常见配置(如 RV32IMAFC 或 RV32G)指令数量约为 100-150 条,仍通常少于 MIPS32 的 200+ 条(包括浮点和扩展)。 指令复杂度:MIPS32 指令集更复杂,包含一些专用指令(如分支延迟槽、协处理器指令),而 RISC-V 追求简洁,扩展模块化,减少冗余。 设计理念差异 MIPS32:设计于 1980 年代,目标是高性能 RISC 处理器,指令集较为固定。 包含分支延迟槽(硬件特性,需额外指令管理),增加了实现复杂性。 指令集丰富,但部分指令针对特定硬件场景,可能不适合现代轻量级设计。 生态成熟,但闭源,扩展受限。 RISC-V:现代开源 ISA,设计于 2010 年代,强调模块化和灵活性。 没有分支延迟槽,指令编码简洁,易于硬件实现和软件优化。 可通过扩展定制指令集,适合从低功耗嵌入式到高性能计算。 开源生态,社区活跃,支持快速迭代和定制。 Ziren这次升级的一些信息: Ziren = zkMIPS v1.1.0 带 GPU + 网络验证器 -30倍GPU加速 -网络证明器支持并行证明 -主要约束优化 -工具链和预编译升级 -关键错误修复和审计改进 核心证明流程现已通过 GPU 加速,从而带来大幅提速: -核心证明生成速度提高30 倍 -聚合证明速度提高 15 倍 -bn254 包装证明也速度提高了 30 倍 更多更新细节:https://www.zkm.io/blog/ziren-whats-new 目前第一个运行Ziren的项目是一个叫 @GOATRollup 的,是一个基于比特币的Layer 2(二层)网络。GOAT Network 是首个基于 zkMIPS(零知识 MIPS 指令集)、BitVM3 和去中心化排序器(Sequencer)的比特币 Layer 2 网络。它通过乐观挑战协议(GOAT-OCP)实现信任最小化设计,项目目标是解决比特币在可扩展性、交易速度和成本上的局限,同时保持比特币 Layer 1 的安全性。 核心特点 去中心化:GOAT Network 通过去中心化的排序器节点(Sequencer Node Operators)实现社区驱动的网络运营,允许外部节点参与者共同管理区块生产和交易排序,分享收益。 安全性:项目采用 BitVM3 桥接方案和 zkRollup 技术,通过零知识证明(ZKP)确保交易的安全性和隐私性。 zkMIPS 支持用 Rust 和 Golang 等高级语言编写的程序,开发者无需审计零知识证明电路,只需验证业务逻辑即可,降低了开发门槛并提升安全性。 可扩展性:通过将部分交易移至链下处理,GOAT Network 显著提升比特币的交易速度并降低交易成本,同时继承比特币主链的安全性。 它支持 100% 的 EVM 兼容性,开发者可以高效构建 Web3 去中心化应用(DApps)。 可持续收益:GOAT Network 致力于为比特币持有者提供可持续的收益机会,拓展了比特币作为价值存储之外的用途。
+6
曾提及
分享至:

脉络

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读