2021 年，我们会继续改进现有的工具，并给大家带来一些新的工具：

Tippy 是 Nervos CKB 上一套完整的 dApp 开发套件，旨在提供所有在 CKB dApp 开发中能派上用场的工具。

比如时光倒流的功能。开发者在写智能合约和做应用时，需要有一个测试环境，时光倒流就是这个测试环境中的功能。假设我现在已经挖了三个块，但是我对结果不满意，想把链回滚到三个块之前，那么 Tippy 就可以实现这个需求。当然，它还会有其他很多的功能，比如内置迷你 CKB 浏览器、内置交易调试器等。

aML 是一种新的编程语言，用于编写 Nervos CKB 的智能合约。

aML 提供了一种现代编程语言，具有许多便捷功能（静态类型、模式匹配、垃圾收集器以简化内存管理），其中有一个功能在智能合约的编程中特别有用——形式验证：不仅该语言在设计时内置了一流的、最先进的、源代码级的形式验证，而且从 aML 到 CKB VM 中使用的 RISC-V 汇编的整个编译器也是经过形式验证的。

这种独特的设计让 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 为中心的二层扩展路线。 (责任编辑：admin)