虚拟机

前段时间应 Move 核心开发者 zrt 之邀，在 Move 社区的周会上做了一个分享，介绍了 zkMove 的整体架构并演示了其命令行工具的使用，这应该算是 zkMove 第一次公开亮相。我整理了一下相关内容，欢迎感兴趣的朋友一起探讨。

M1 是一个 Layer 1 区块链，它具有可定制的虚拟机、面向未来的架构、无缝基础设施部署、可组合性功能、激励对齐机制、全面的连接性、简化的开箱即用集成以及 Movement SDK 带来的性能升级。M1旨在通过其独特的功能来增强区块链生态系统的安全性、可扩展性和通用性。

该文章提议用RISC-V取代EVM作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率和简化性。此举将优化ZK-EVM的性能，并可能带来超过100倍的效率提升。文章还讨论了多种实现方案，包括支持双虚拟机、将现有EVM合约转换为调用RISC-V编写的EVM解释器合约等。

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。

该文章提出了一个激进的想法，用RISC-V取代EVM作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率，并简化其复杂性。文章探讨了实现这一想法的几种方式，包括支持两种虚拟机、将现有EVM合约转换为调用RISC-V编写的EVM解释器合约等，并分析了此举在长期内对以太坊L1扩展的潜在益处，尤其是在零知识证明（ZK-EVM）方面。

该文章提出了一个激进的想法，即用 RISC-V 替换 EVM 作为智能合约的虚拟机语言，以提高以太坊执行层的效率和简化性。核心思路是利用 RISC-V 在 ZK-EVM 证明方面的优势，同时保持现有的账户、跨合约调用和存储等抽象概念不变，并确保与旧式 EVM 合约的互操作性。

Ava Labs 发布了用于构建 Avalanche 虚拟机的 Rust SDK。

迄今为止，CKB-VM 是市面上唯一一个能在智能合约中直接部署密码学算法的区块链虚拟机，其他任何区块链虚拟机层都不具备实现达到与 CKB-VM 相近的能力。

与此同时，我们认为 CKB-VM 并不仅仅在区块链领域中适用, 在芯片逐渐碎片化的今天，CKB-VM 可以为云应用开发者提供一个稳定的指令集，并通过底层优化实现，将代码运行在更多体系结构之上，实现真正意义上的 write once, run anywhere 的愿景。