以太坊正在上天堂，以太坊正在下地狱(18)_：以太坊正在上天堂

尽管取得了这些进展，以太坊社区仍然还有大量的工作需要完成，尤其是更好的形式化验证框架和工具，这也是以太坊开发人员的共同痛点。

底层基础架构

由于开发团队杰出的工作，以太坊的主要客户端：Geth和Parity在2018年继续得到改进和完善。同时，业界涌现出了新的客户端，如用Java开发的Pantheon和用.NET Core开发的Nethermind。

长期以来，人们一直认为以太坊需要使应用程序开发人员可用的节点基础架构多样化。这个市场一直由Infura统治，但在2018年，许多团队开始着手研究替代品。

Dappnode是一个旨在使运行个人以太坊节点更加便宜和便捷的项目，于2018年7月推出（甚至你可以买一个预先配置好的节点）。VIP node是一个允许用户“订阅”节点访问从而激励更多完整节点的服务，于去年上线。Denode同样是一个寻求为更加去中心化的节点基础架构提供市场激励的项目，在去年9月份它获得了以太坊基金会的资助。其他项目，比如在去年11月发布的Parity LightJS，它旨在使开发人员更容易构建不需要依赖完整节点的Dapp。