虚拟机

Ewasm 是以太坊2.0时代用于替换evm虚拟机的一个新的虚拟机实现，它汲取了webAssembly 的优势，将其应用到以太坊2.0虚拟机的实现，可以方便开发者利用多种语言实现智能合约并且运行在以太坊平台

本文详细介绍了Solana的rBPF虚拟机，包括其架构、工作原理以及如何通过Agave验证器执行Solana程序。文章还探讨了Berkeley Packet Filter (BPF) 和Extended Berkeley Packet Filter (eBPF) 的背景，以及Solana虚拟机的指令集架构 (ISA)。

本文将对比 zkEVM 和 zkVM 在技术上的差异，并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。

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

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

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

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