编写一个不可变的WASM虚拟机

- WASM（WebAssembly）是一种低级的字节码格式，最初为浏览器设计，现在也在服务端、边缘计算等领域广泛使用。它能在多种平台上以接近原生的速度运行。 - 文章讨论的是在区块链和去中心化系统中运行 WASM。这里的"不可变"（immutable）指的是代码一旦部署就无法更改——这是智能合约平台（如以太坊）的核心要求，确保合约行为可预测、不可篡改。 - 实现"不可变的 WASM 虚拟机"意味着要解决一些技术难题：如何把 WASM 的模块结构（允许动态链接和导入/导出）改造成部署后无法修改的形式；如何处理 gas 计量（防止无限循环消耗资源）；如何确保不同节点运行同一段代码得到完全一致的结果（确定性执行）。 - 这类项目通常与 Cosmos SDK、Polkadot 等支持 WASM 智能合约的区块链生态相关，也可能与存储计算平台（如 Internet Computer 或 Celestia）有关。