Reach

通過大幅降低進入區塊鏈的門檻和大幅提高 dApp 開發者的生產力，Reach 將使數千萬開發者參與區塊鏈社區，而不僅僅是當今參與區塊鏈社區的數千人。過去需要幾個月才能開發的去中心化應用程序將能夠在幾周內完成。 Reach 平臺通過用於指定 dApp 的特定領域語言 (DSL) 提供三項服務，以及一個專門的編譯器，在自動驗證正確性屬性的同時，將規範投射到完整的應用程序中。