Reach

通过大幅降低进入区块链的门槛和大幅提高 dApp 开发者的生产力，Reach 将使数千万开发者参与区块链社区，而不仅仅是当今参与区块链社区的数千人。过去需要几个月才能开发的去中心化应用程序将能够在几周内完成。 Reach 平台通过用于指定 dApp 的特定领域语言 (DSL) 提供三项服务，以及一个专门的编译器，在自动验证正确性属性的同时，将规范投射到完整的应用程序中。