Reach will enable tens of millions of developers to participate in the blockchain community, rather than only the thousands that participate today, by drastically lowering the barrier to entry into blockchain and drastically raising the productivity of DApp developers. A Decentralized Application that used to take months to develop will be able to be completed in weeks. The Reach platform provides three services via a domain-specific language (DSL) for specifying DApps and a specialized compiler that projects the specification into the complete application while performing automatic verification of correctness properties.