抵达 我们正在构建下一代区块链开发平台,它将完全改变去中心化应用程序(DApp)开发的范式。 DApp具有巨大的潜力,但由于壁垒使区块链开发具有风险,并且仅限于密码学家等专家,因此DApps如今不切实际。 Reach平台是一个全面的环境,使初级开发人员无需多年的经验即可构建有用且安全的DApp,并将其轻松部署在各种不同的区块链网络上。 该存储库适用于Reach语言,Reach平台使用的特定于域的语言,用于可信赖的DApp。 阅读。 发展 如果要使用Reach编译器,则需要: 堆栈v2.5.1 z3 v4.8.10 坚固性v0.8.0 v2.2.0 在macOS上安装: $ b