相对于其他，比如采用了和以太坊相同的账户模型的项目来说，可以说在起跑线上我们就落后了人家十米。大家都是百米赛跑，我们先落后了十米，这也是为什么我们在 2020 年初致力于开发工具，并日以继夜地进行工作的原因。

通过去年一整年，我们发布了各类 CKB SDK、ckb-indexer、ckb-x64-simulator、lumos、Capsule、animagus、mandrake 等一系列工具，开发应用的门槛降低了很多，已经有很多开发者开始使用这些工具在 Nervos 上搭建应用了，我觉得是把这个十米给补上了。

甚至有社区的小伙伴说，落后的十米是因为要在我们身上按上更好更具爆发力的弹簧。

我们的开发工具解决了非常多的开发问题，比如 Animagus，它解决了开发者把 UTXO 模型当作 CKB 账户层使用时遇到的大部分编程障碍，使 CKB 的全部优势得以实现：

• Lumos：一个基于 JavaScript/TypeScript 的框架，可以显著加快 dApp 的开发进度，Lumos 的目标是通过几个组件简化 Nervos CKB 上的 dApp 开发；
• Capsule：一个开发框架，它提供了一个使用 Rust 编程语言构建 CKB 脚本的解决方案（Rust 是一种编程语言，旨在让每个人都能构建可靠且高效的软件）；
• Polyjuice：Nervos CKB 上的以太坊兼容层，给 CKB 带来了灵活性，通过它完全可以在 Nervos CKB 上使用账户模型，这会带来无限的可能性；
• Force Bridge & Godwoken：Force Bridge 是一个跨链桥，初期将连接以太坊和 Nervos，并计划在未来整合其他区块链；Godwoken 是一个通用的框架，用于在 Nervos CKB 上构建 Rollup 解决方案……

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

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

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

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

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