基于零知识证明的以太坊第二层扩展（ZK-Rollup）一直都是以太坊生态中被寄予厚望的一派。在理论上它可以比较平衡地解决效率和安全的问题。
Vitalik屡次在他的文章和公开演讲中都表示对这个技术几乎毫无保留的看好。
然而遗憾的是，在具体的实现上受制于当下工程技术方面的限制，零知识证明需要消耗大量的算力并且难以在较短的时间内完成复杂的计算。这使得它在应用方面难以和OP一派相竞，而且两者的差距还在拉大。
这种差距在生态建设方面显得尤为明显。根据L2Beat（https://l2beat.com/scaling/tvl）上的最新数据显示：Stark、zkSync、Linea和Scroll这四个ZK系加起来的TVL都比不上排名第三的OP系Base（排名第一和第二的分别为Arbitrum和Optimism）。
尽管如此，资本对于ZK系的热情似乎一直没有减退。最近A16Z就发布了自己的开源平台ZKVM。
要注意的是：和我们经常听到的ZKEVM不同，ZKVM少了一个字母，但意义却有明显的不同。ZKEVM强调的是兼容以太坊虚拟机，而ZKVM则是一个更加宽泛的虚拟机平台。理论上ZKVM的应用范围更广泛。
在我的记忆中，这是A16Z在加密赛道第一次亲自下场布局赛道的开发。
A16Z的动作、Vitalik的论述和ZK系在技术理论上的优势都提醒我们必须要保持关注ZK系第二层扩展系统的发展。
然而当下几个头部ZK系第二层扩展系统的发展实在是差强人意，而另一个冉冉升起的新星Metis在一些方面的做法倒是很值得关注。
Metis也是基于零知识证明的以太坊第二层扩展。但和其它“纯种”的ZK系扩展不同，它采用了一种混合系统，一部分交易采用OP的处理方式，另一部分交易采用ZK的处理方式。这使得它在效率和性能方面可以综合两者的优点。
不过实事求是的说，同样由于当下技术方面的局限，这种优势目前表现得还不是特别明显。
除此以外，它在排序器方面“自我革命”的做法倒是更值得圈点。
在以太坊的Rollup第二层扩展系统中，无论是OP系还是ZK系，它们在技术上都有一个共同点：那就是需要排序器对交易进行排序、打包最后送到以太坊上进行最终的确认。
目前绝大部分的第二层扩展系统为了实现上的便利和效率上的考虑统统采用了中心化的排序器，或者干脆直接用服务器进行处理。
这种中心化的处理在业内就是个公开的“秘密”，连Vitalik都公开诟病过这个问题。可无论大家怎么诟病，项目方们就是“雷声大、雨点小”，一边说要尽快去中心化，另一边却动作迟缓。
为什么？
因为中心化的排序器太符合项目方的利益了。
但Metis却大胆地开始了“自我革命”，开始尝试对排序器进行去中心化的推进并有了实质性的动作。
按照它的规划，未来只要愿意质押Metis代币的用户都可以参与Metis系统中交易的排序操作，就像以太坊中的质押一样。
这个做法还能解决当下很多第二层扩展系统代币赋能的问题，让代币产生价值。
更重要的是，如果ZK系的排序器实现了去中心化运作，未来还可能衍生出新的赛道：基于硬件算力的零知识证明“挖矿”。
在这种“挖矿”中，第二层扩展中的每个节点都要力争用最强的算力最快算出零知识证明结果，而强算力需要强GPU的堆叠。
所以一旦这种发展成为趋势，很有可能新的挖矿赛道会在以太坊的第二层扩展乃至所有需要零知识证明计算的领域中诞生。
当然，它能否发展起来，还要看项目方除了重视技术之外是否同样重视生态建设，否则未来的前景也不容乐观。
不过，这些有可能改变生态格局的新动向还是值得我们投资者关注的.
