Facebook的Diem团队梦碎，但成果留存：谈谈Move的编程魅力（上）

本文将讨论Move及其两个特性：支持高交易率的可编程资源以及助于提高安全性的形式化验证。

Vitalik：5 种不同类型的 ZK-EVM

这篇文章将试图描述 EVM 等效的不同“类型”的分类法，以及尝试实现每种类型系统的好处与代价。