# ZKM > ZKM是一种先进的基于MIPS的架构，它使用零知识证明来增强区块链的互操作性、可验证计算以及安全的物联网和云系统... - Canonical URL: https://iq.wiki/zh/wiki/zkm - Categories: Organizations - Tags: Founder, Infrastructure - Created: 2024-08-12T19:18:44.193Z - Last updated: 2025-07-28T15:40:29.321Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **ZKM，即零知识MIPS**，是一种先进的架构，它结合了MIPS（无互锁流水线级的微处理器），一种精简指令集计算机（RISC）CPU架构，以及[零知识证明（ZKPs）](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)，旨在通过增强互操作性和统一去中心化系统来解决[区块链](https://iq.wiki/wiki/blockchain)领域的碎片化问题。[[1]](#cite-id-kzyqqnjuqfb)[[2]](#cite-id-4sf5w29oacg) ## 概述 ZKM 是一个使用 MIPS 指令集的开源项目。它专注于研究驱动的方法，以改善可验证计算，从而实现更集成的[区块链](https://iq.wiki/wiki/blockchain)体验。该项目旨在通过增强互操作性和统一去中心化系统来解决[区块链](https://iq.wiki/wiki/blockchain)领域的碎片化问题。ZKM 正在开发一种通用 zkVM，旨在与各种[区块链](https://iq.wiki/wiki/blockchain)基础设施以及最终的非[区块链](https://iq.wiki/wiki/blockchain)系统集成。这种集成旨在实现链之间状态变化的的安全和去中心化通信，这对于更广泛地采用[区块链](https://iq.wiki/wiki/blockchain)技术至关重要。[[1]](#cite-id-kzyqqnjuqfb)[[3]](#cite-id-9m4015af2bq) 该项目旨在克服几个挑战：消除 7 天的提款窗口，为所有 [Layer 2 (L2)](https://iq.wiki/wiki/layer-2) 解决方案和替代 Layer 1 (Alt L1) [区块链](https://iq.wiki/wiki/blockchain)网络实现统一安全，并实现防篡改的物联网 (IoT) 和云计算。目标是促进更快、更方便的资金提取，在各种 [L2](https://iq.wiki/wiki/layer-2) 和 Alt L1 平台之间创建标准化的安全框架，并提高物联网设备和云计算系统的安全性和完整性。[[1]](#cite-id-kzyqqnjuqfb)[[3]](#cite-id-9m4015af2bq) ## 架构 # ## zkVM ZKM正在开发[零知识](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)虚拟机（zkVM），旨在促进不同计算任务中的[零知识证明](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)，以实现[区块链](https://iq.wiki/wiki/blockchain)、物联网设备和其他Web2解决方案之间的可验证计算互操作性。这涉及将[零知识](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)技术与MIPS架构集成，创建一个可验证的计算系统，确保对来自不受信任计算机的计算结果的信任。生成的[零知识证明（ZKP）](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)可以存储在[以太坊](https://iq.wiki/wiki/ethereum)上，这符合ZKM使用[以太坊](https://iq.wiki/wiki/ethereum)作为[区块链](https://iq.wiki/wiki/blockchain)和非[区块链](https://iq.wiki/wiki/blockchain)技术的基础结算层的愿景，这些技术利用zkVM。[[4]](#cite-id-n946ar05jh)[[5]](#cite-id-6sd1l6vsxgk) 它执行计算并生成[ZKP](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)以验证其有效性和结果。与zkEVM不同，zkVM与许多计算集成，允许开发人员创建和执行[零知识](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)应用程序，而无需考虑[区块链](https://iq.wiki/wiki/blockchain)网络。这种多功能性将其用途扩展到金融和以隐私为中心的应用程序之外，扩展到供应链管理、医疗保健和娱乐等数据完整性至关重要的领域。[[4]](#cite-id-n946ar05jh)[[5]](#cite-id-6sd1l6vsxgk) # ## ZK-MIPS MIPS（无互锁流水线级的微处理器）是一种为简单性而设计的微处理器架构，具有最少的指令集，从而更容易改进。[ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)-MIPS 将 MIPS 与 [ZK（零知识）](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 技术相结合。由于 MIPS 的极简性质，将 MIPS 代码转换为 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)-MIPS 相对简单，从而减少了错误和问题。转换后的代码被放置在一个使用 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 架构的专用虚拟机 (VM) 中，从而创建了所谓的 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)-MIPS。[[3]](#cite-id-9m4015af2bq)[[6]](#cite-id-aio4l5g8cem)[[7]](#cite-id-vpxunvgqvn) [零知识 (ZK)](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 验证计算或信息，而无需泄露底层数据。在 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)-MIPS 中，这意味着证明计算在 VM 内部正确执行，同时可能隐藏输入。计算被转换为适合使用 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 处理的不同格式，使用数学多项式和各种类型的承诺。 [[3]](#cite-id-9m4015af2bq)[[6]](#cite-id-aio4l5g8cem)[[7]](#cite-id-vpxunvgqvn) ## ## 特点 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)-MIPS 通过保护所有软件层之下的 [CPU](https://iq.wiki/wiki/central-processing-unit-cpu)/MIPS，提供通用的 [ZKP](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 安全性，使用户无需自行执行验证即可受益于 [ZKP](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 安全性。ZKM 与各种虚拟机（VM）兼容，如 MoveVM、WASM 和 RustVM，并与不同的 [区块链](https://iq.wiki/wiki/blockchain) [智能合约](https://iq.wiki/wiki/smart-contract) 引擎无缝集成。开发者无需更改代码库即可采用 ZKM，享受零成本或低成本的集成，并支持多个 [智能合约](https://iq.wiki/wiki/smart-contract) 和编程语言。ZKM 稳定的 MIPS 指令集提供了一致的开发环境，避免了频繁更改的 [EVM](https://iq.wiki/wiki/ethereum-virtual-machine-evm) 指令集的不稳定性。[[7]](#cite-id-vpxunvgqvn) 它利用 [以太坊](https://iq.wiki/wiki/ethereum) 的去中心化安全基础来验证交易，确保 [区块链](https://iq.wiki/wiki/blockchain) 和非 [区块链](https://iq.wiki/wiki/blockchain) 应用的强大安全性。支持 ZKM 的混合 [Rollup](https://iq.wiki/wiki/rollup) 通过提供即时确认和最终性，无需 7 天提款等待，从而增强了用户体验；通过 [ZKP](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 验证提高安全性；并延长了防欺诈挑战窗口，以实现安全的大额转账。ZKM 还扩展到 [Layer 2](https://iq.wiki/wiki/layer-2) 解决方案和 [区块链](https://iq.wiki/wiki/blockchain) 之外，为替代 Layer 1 [区块链](https://iq.wiki/wiki/blockchain) 提供优势，实现防篡改的物联网设备，并增强云计算环境的安全性。[[7]](#cite-id-vpxunvgqvn) ![zkMIPs.webp](https://ipfs.everipedia.org/ipfs/QmQDCdzQCtLEDPVwfqZa7q572APyiS4Dhbpf9pjbXN55mg) # ## 量子纠缠网络 ZKM正在开发具有纠缠[Rollups](https://iq.wiki/wiki/rollup)的量子网络，以实现通用结算。在这个网络中，“粒子”代表消息，其“特性”是属性，其“空间”是[区块链](https://iq.wiki/wiki/blockchain)。它确保一个[区块链](https://iq.wiki/wiki/blockchain)上的消息直接且立即与其他[区块链](https://iq.wiki/wiki/blockchain)上的等效属性相关联。[零知识证明（ZKP）](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)用于验证计算——从源链检索数据并将[ZKP](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)发布到目标链——确保正确的交易执行和结算。这种方法允许消息在量子网络中跨先前不兼容的[区块链](https://iq.wiki/wiki/blockchain)关联属性。[[8]](#cite-id-rjps00nlzog) ## ## 通用结算 通用结算指的是在一个[区块链](https://iq.wiki/wiki/blockchain)上执行的计算，其结果可以被任何其他[区块链](https://iq.wiki/wiki/blockchain)使用。以完全去中心化的方式实现这一点一直具有挑战性。目前的解决方案通常涉及在源链和目标链之间创建一个中间[区块链](https://iq.wiki/wiki/blockchain)，以促进通用结算，通常用于代币转移。然而，这种方法降低了安全性，因为无法确保中间系统足够去中心化，从而保证资产的安全转移。 [[8]](#cite-id-rjps00nlzog) ## ## 纠缠 Rollups 纠缠 [Rollup](https://iq.wiki/wiki/rollup) 结构实现了两个 [rollup](https://iq.wiki/wiki/rollup) 之间的无需信任的通信，允许交易在一个目标 [Layer 2 (L2)](https://iq.wiki/wiki/layer-2) 上执行、证明和再次执行，同时利用 [Rollup](https://iq.wiki/wiki/rollup) 的安全性和成本效益。这种结构通过 [Layer 2s](https://iq.wiki/wiki/layer-2) 促进了不兼容区块链之间的交互，支持额外的用例和优化，例如通用 [L2](https://iq.wiki/wiki/layer-2) 扩展。通用 [L2](https://iq.wiki/wiki/layer-2) 通过允许用户 [burn](https://iq.wiki/wiki/token-burn) 和 [mint](https://iq.wiki/wiki/minting) 原生资产到任何实现此结构的 [Layer 2](https://iq.wiki/wiki/layer-2)，使用销毁证明机制和 [Rollup](https://iq.wiki/wiki/rollup) 的原生 [mint](https://iq.wiki/wiki/minting) 功能，解决了跨生态系统的 [liquidity](https://iq.wiki/wiki/pol-protocol-owned-liquidity) 碎片化问题。 [[8]](#cite-id-rjps00nlzog)[[9]](#cite-id-c3lfib0zrc9) ![entagled.png](https://ipfs.everipedia.org/ipfs/QmaiSgNsS4bUPHkm329vgLGyE5vWmUgsySqxZ5HepgQGvw) ## 生态系统 # ## 贡献者积分系统 贡献者积分系统通过参与各种赏金和任务来积极参与 ZKM 生态系统，从而赚取积分。这些不可转让的积分在链上跟踪贡献，提供了一种量化和认可 ZKM 社区内成就的方式，包括一般推广、协议开发和教育进步。赚取积分包括从 ZKM 的贡献者委员会选择符合自己兴趣的活动。每个活动都包含一系列涵盖各种任务和贡献的赏金。完成这些赏金会导致积分累积。积累更多积分可以解锁 ZKM 生态系统中的独家奖励。[[10]](#cite-id-mcd2o6q3vni) ZKM 将为贡献者提供各种奖励，并随着时间的推移增加更多机会。奖励兑换将在贡献者委员会和积分系统首次启动后四周开始。可用奖励将包括提前访问社区计划、独家活动邀请、基于级别的徽章、项目介绍、课程完成证书和品牌商品等。[[10]](#cite-id-mcd2o6q3vni) # ## ZKM 教育中心 教育中心旨在引导用户进入 [ZK (零知识)](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 领域，服务于初学者和经验丰富的开发者。该中心由 ZKM 高级密码学家、米纳斯吉拉斯联邦大学助理教授 Jeroen van de Graaf 博士策划，提供课程以提升 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 技术教育。用户可以获得 ZKM 团队的个性化支持，并与其他社区成员合作。 [[11]](#cite-id-sk5zd8kdaz)[[12]](#cite-id-ib3w61385ya) 教育中心提供精选内容，包括课程、视频讲座、演示文稿、编程作业、教程和研讨会。它还提供积极的社区支持，通过社区电话会议和 AMA 提供与 ZKM 团队直接互动的机会，并提供包含推荐资源的资料库，以帮助 [ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps) 学习。 [[11]](#cite-id-sk5zd8kdaz)[[12]](#cite-id-ib3w61385ya) 参与者可以通过完成作业和创建内容来赚取 ZKM 积分，这些积分可以通过各种活动积累： [[11]](#cite-id-sk5zd8kdaz)[[12]](#cite-id-ib3w61385ya) - 观看视频讲座并完成相关的迷你测验 - 完成编程作业，并在 Discord 上分享 GitHub 链接 - 撰写博客文章或推文，扩展“零知识和 [SNARK](https://iq.wiki/wiki/zk-snark) 高级介绍”或 ZKM 内容库中的概念 - 参与 Discord 上的讨论 - 参与社区电话会议和 AMA - 积极为教育中心 Discord 频道做出贡献 - 通过贡献者委员会提交贡献 积累更多积分可以解锁奖励，例如提前访问社区计划、独家活动邀请和基于等级的徽章。 [[11]](#cite-id-sk5zd8kdaz)[[12]](#cite-id-ib3w61385ya) # ## 证明服务 证明服务为开发者提供访问高性能服务器的途径，这些服务器旨在处理生成[零知识证明](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)的计算需求，特别是针对[zk](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)-MIPS进行了优化，ZKM的专用zkVM软件用于将[ZKP](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)功能集成到各种应用程序中。Zk-MIPS支持Golang，允许在现有的Golang环境中生成证明，而无需复杂的修改。开发者可以使用标准的Golang编译器将Golang代码编译成MIPS指令，并使用ZKM的证明服务验证执行。稍后将引入对其他高级语言的支持。 [[13]](#cite-id-x2h9u706a3s) # ## Delphi Delphi是由Jeroen van de Graaf和Arjen K. Lenstra开发的，是一项旨在分享密码学假设评估的高级研究计划。大多数实际的密码学协议都依赖于计算或临时假设，评估这些假设对于理解系统风险至关重要。关于这些假设的讨论通常仅限于非正式场合或小团体。Delphi试图通过在线问卷收集和分享研究人员对关键假设强度的意见，从而使这些讨论变得明确和公开。[[14]](#cite-id-nrutu9wg36) 当前的Delphi论文侧重于经典密码学假设，而Delphi 2（一个单独的问卷）正在开发中，以解决[以太坊](https://iq.wiki/wiki/ethereum)、[zkSNARKs](https://iq.wiki/wiki/zk-snark)、[zk](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)友好哈希函数和类似的基元。这项工作旨在为社区提供这些较新基元的有价值的比较。[[14]](#cite-id-nrutu9wg36) ![delph.webp](https://ipfs.everipedia.org/ipfs/QmcziYvetpD64SkSfGUBicxcY244xKbRtrWaxorPiwkjdo) # ## GOAT Network 2024年7月8日，ZKM联合创始人[Kevin Liu](https://iq.wiki/wiki/kevin-liu) 透露了一个名为GOAT Network的[比特币](https://iq.wiki/wiki/bitcoin) [Layer 2](https://iq.wiki/wiki/layer-2)解决方案，计划于第三季度发布。该项目旨在使GOAT Network成为首个具有共享网络所有权的去中心化[比特币](https://iq.wiki/wiki/bitcoin) [Layer 2](https://iq.wiki/wiki/layer-2)，引入去中心化排序器模型，节点运营商可以保护网络并从其[比特币](https://iq.wiki/wiki/bitcoin)中获得收益，以及来自区块生产、交易排序和最大可提取价值（MEV）机会的费用。 [[16]](#cite-id-xqnuarfh1gg) GOAT Network将使用ZKM的证明服务作为其[ZK](https://iq.wiki/wiki/zero-knowledge-proofs-zkps)证明器组件。这项服务的进展将影响证明网络的去中心化。[Layer 2](https://iq.wiki/wiki/layer-2) [rollup](https://iq.wiki/wiki/rollup)网络中，排序器在将链下交易提交到主[区块链](https://iq.wiki/wiki/blockchain)之前，对其进行排序和批处理，而证明器生成加密证明来验证交易，避免在主链上进行处理。这些角色目前代表着单点故障和潜在的审查风险。与[比特币](https://iq.wiki/wiki/bitcoin)现有的状态通道[Layer 2](https://iq.wiki/wiki/layer-2)解决方案[闪电网络](https://iq.wiki/wiki/lightning-network)不同，GOAT Network与[以太坊虚拟机](https://iq.wiki/wiki/ethereum-virtual-machine-evm)兼容，并支持[智能合约](https://iq.wiki/wiki/smart-contract)功能。 [[16]](#cite-id-xqnuarfh1gg) > “GOAT Network推出的是 ZKM 寻求统一碎片化的 ) 宇宙的强大第一步。我们坚信去中心化，并且很高兴能够从第一天起就实现共享所有权模式。” - [Kevin Liu](https://iq.wiki/wiki/kevin-liu), ZKM CEO and Co-founder. ## 团队 - [Kevin Liu](https://iq.wiki/wiki/kevin-liu): 首席执行官 (CEO) - Jeroen Van De Graaf: 研究员 - Ming Guo: 首席科学家 - [Elena Sinelnikova](https://iq.wiki/wiki/elena-sinelnikova): 人事与团队文化负责人 - Lucas Peixoto Fraga: 研究员 - Pavel Sinelnikov: 开发者关系负责人 - Alice Liu: 教育负责人 - Ben Wynn: 社区负责人 - Berry Huang: 开发者 - Angell Li: 开发者 ## 合作关系 # ## 投资者 2024年5月7日，ZKM宣布于2023年11月成功完成Pre-A轮融资。该项目筹集了500万美元，由[OKX Ventures](https://iq.wiki/wiki/okx)领投，并由Amber Group、P2 Ventures、[Crypto.com](https://iq.wiki/wiki/cryptocom)、Leland Ventures、Pacific WaterDrip Digital Asset Fund、JSquare、Contribution Capital和[Metis Foundation](https://iq.wiki/wiki/metis)等支持者加入。 [[15]](#cite-id-75bje6gadhu)