虚拟机

转发原文标题《零知识范式： 第 1 部分 – 什么是 zk-VM？》 摘要 本文深入探讨零知识证明（ZKP）及其在zk-VM中的应用。ZKP允许证明者在不泄露信息的情况下验证计算正确性，分为zkSNARKs（需可信设置、证明体积小）和zkSTARKs（无需可信设置、可扩展性强）两类。zk-VM作为生成ZKP的虚拟计算机，通过编译器、执行轨迹生成和验证阶段实现程序验证。评估zk-VM需权衡正确性、安全性、信任假设及速度、效率、简洁性三难困境。后续文章将详解zk-VM的算术和加密流程。

以太坊虚拟机（EVM）作为区块链基石支撑了Uniswap等顶级dApp，但其安全性不足、性能限制等问题日益凸显。新一代虚拟机（MoveVM、CosmWasm等）以更高安全基准、并行化设计等优势崛起，推动开发者按需选择执行环境。Initia等平台通过支持多虚拟机架构，为全栈应用提供定制化链栈，标志着区块链开发进入”虚拟机多元化+应用链专业化”的新阶段。EVM仍将主导市场，但行业正从单一虚拟机垄断转向多生态共存格局。

TL;DR 1、并行 EVM 是链上交易量发展到一定程度后出现的一种新叙事。并行 EVM 主要分为单体区块链和模块化区块链。单体区块链又分为 L1 和 L2 。并行 L1 公链分为两大阵营：EVM 和非 EVM 。目前并行 EVM 叙事处于发展的早期阶段； 2、拆解并行 EVM 的技术实现路径，主要包含虚拟机和并行执行机制两大方面。在区块链的语境下，虚拟机是指对分布式状态机进行虚拟的进程虚拟机，用于执行合约； 3、并行执行是指发挥多核处理器的优势，尽可能在同一时间同时执行多个交易，而保证最终状态与串行执行时结果一致； 4、并行执行机制分为消息传递、共享内存、和严格状态访问列表三大类。共享内存又分为内存锁模型和乐观并行化。无论哪种机制均提高了技术的复杂性； 5、并行 EVM 叙事既有行业增长的内在驱动因素，又需要从业者高度关注其可能存在的安全问题； 6、并行 EVM 各标的项目均以不同的方式提供了并行执行思路，既有技术上的共性又有自己的独特建树。