最近，看了不少做zkVM解决方案的项目，大体方向都是：轻量模块化。一个很强烈的感觉，ZK Solution的混战竞争正逐渐白热化。

初步观察到，有基于WASM提供多种语言开发的Solution，也有通过算法优化试图把ZK Prover系统运行到浏览器等设备上的Solution，也有针对Type 0 EVM等效提供亲和以太坊生态的ZK Solution，有意思的是，竟也有基于OP Stack的ZK Solution。模块化构造创造一切可能。

以前我们一直认为ZK Circuit电路很精密，ZK Prove流程很复杂，ZK一直披着神秘的面纱。目前头部ZK项目中zkSync和Starknet技术虽然靠谱，但生态还差点火候。某种程度上，这种ZK轻量化Solution正在一步步逼着ZK赛道的龙头大哥们快速发展和更迭。

要不然，等到项目普遍可以低门槛ZK化的那一天，ZK或许就仅仅是一种常见的技术选择了。就如同都在喊共识机制从POW转往POS，最终二者却成为了共存态。ZK和OP的关系也一样，虽然ZK比OP技术更强，但以后大概率是，一个系统是OP还是ZK都不重要了，或许只是一种技术选择。有做zkVM的朋友，可以DM深度交流下。