这种独特的设计让 aML 从我们今天所使用的大多数其他编程语言中脱颖而出，包括 C、Rust、JavaScript 等。我们希望这个完全经过形式验证的语言，包括经过形式验证的编译器，能够帮助并确保 CKB 智能合约的最大安全性。我们计划在 2021 年发布 aML 的初始版本供大家使用。

关于密码学原语，CKB VM 有别于其他区块链虚拟机的一个独特之处，就是能够提供灵活的密码学原语支持。

截至 2021 年 1 月，我们还没有看到第二个能以智能合约的形式、支持灵活的密码学原语的区块链虚拟机。

2021 年，我们将继续在这方面努力，希望将更多的密码学原语带入 CKB 的世界中。

Q7：近来关于 Layer2 的讨论很多，几个 Rollup 的项目方都在加紧上线进度，也有项目选择 Other Chains as Layer2，你们怎么看目前的以太坊性能扩展（特别是 Layer2）现状？

这里面有好几个点，我尝试拆细一点说。

首先说以太坊，以太坊长期以来的一个大目标是做 ETH 2.0，ETH 2.0 曾经的主要方向是分片，现在的以太坊已经改变了它的方向，改为以 Rollup 为中心的二层扩展路线。

我们认为以太坊经过多年尝试后，选择了 Nervos 的道路，这变相证明了 Nervos 从一开始就走在对的道路上，并且提前出发了三年。

大家可能对 Rollup 这个词不陌生，但是对 Rollup 的历史可能不熟悉，如果对以太坊的 Layer 2 发展有所了解的话，以太坊在最初的 Layer 2 的尝试是 Plasma，经过两三年的探索，发现很多问题还是难以解决，于是在 Plasma 的架构上往回退了一步，形成了今天的 Rollup 方案。

今天的 Rollup 方案，从技术角度看，是一个权衡和取舍后的折中方案，并且这个方案从历史发展进程的角度看，其实是一个过渡方案，用来解决当下以太坊在 2.0 的分片遇到巨大的问题而无法推进，有面临巨大的性能扩展压力面前的过渡方案。

展开讲会比较复杂，简单的说，Plasma 的数据放在 Layer 2，其相对于 Layer 1 的数据可用性问题一直没有解决，于是就退一步，不解决数据在 Layer 2 的可用性问题，把数据都放回去到 Layer 1 上，就把计算还留在 Layer 2，这就是退一步的 Plasma，就是今天的 Rollup。

Plasma 其实的可扩展性实际上比 Rollup 要好，Plasma 只需要在 Layer 1 上存很少的数据。而 Rollup 是这样做的：既然 Plasma 有这样一个问题，那么我们就把更多的数据存到 Layer 1 上面，这样就可以把这个问题给绕过去。

但代价就是，因为把更多的数据放到了 Layer 1 上，所以 Rollup 的可扩展性就没有 Plasma 好。但是它更安全，而且现在就可以用。虽然可扩展性不好，但总比以太坊现在快，总能够缓解一下现在的问题。所以，从实际效果上来说，Rollup 是一个很有实用性的方案。 (责任编辑：admin)