zkMips:开源、简单、稳定、通用 zkVM

zkMips 是 ZKM 的通用 zkVM,用于在链上验证 MIPS 程序是否在链下正确执行
zkMIPS 的工作原理
特征
为所有人提供一个 ZKP
我们保护金属(CPU/MIPS),因此您不必这样做
由于 zkMips 保护虚拟机下方的 CPU,因此 CPU 之上的所有软件都受益于 zkMIPS 安全性
因此,通过采用 zkMIPS,每个人都可以申领 zk proof 安全性,而无需自己进行 zk 打样
适用于所有虚拟机
MIPS 位于所有其他 VM 下方,因此 zkMips:
统一 zkEVM 的所有风格
支持替代区块链智能合约引擎虚拟机:
moveVM — zkmVM
WASM — zkWasm
RustVM — zkrVM
长期稳定性
利用 MIPS 指令集的稳定性,无需担心 EVM 指令集不断变化。
为所有人提供免费安全保障
利用以太坊庞大的去中心化区块链安全基础来验证所有交易,包括区块链和非区块链。
即插即用采用
ZK Proof 在 CPU 级别上生成,位于所有虚拟机、框架和应用程序之下,因此它具有:
零或低成本采用:开发人员无需更改或调整其现有代码库以获得 zk 证明
与技术无关的采用:开发人员不必再担心为zk证明采用特定的智能合约语言,无论是Solidity、Move、Rust、WASM等。这同样适用于非区块链/传统语言,例如C/C++、Java、Golang、Python、Javascript/Typescript等。
用例

混合汇总

使用所有 L2 的 ZK 有效性证明,体验近乎即时的提款
了解更多

纠结汇总

无需信任地连接不兼容的区块链,以实现统一的原生流动性和消息传递
了解更多

比特币 L2

从 Scriptless Script 到 Bridgeless Bridge ——用 zkVM 的力量扩展比特币
了解更多
GitHub