Reach

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.

Website: http://reach.sh​
Our Links: www.reach.crd.co
Documentation: https://docs.reach.sh​
Questions & Support: michael@reach.sh


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.


We allow the developer to write and think at the level of business logic, rather than at the level of the intricate details of a blockchain protocol. Our DSL uses a subset of JavaScript to specify the entire DApp: the smart contract, the clients run on the front-end, the servers run on the back-end, and all communication between each of the pieces. Since the entire specification is in a single language, we enable any developer to quickly create, reason about and deploy DApps.


We represent the DApp with a generalized backend language, and we then use “connectors” to translate this backend language to the correct bytecode, while remaining faithful to the interfaces offered by actual networks. Our backend supports the ability to specify blockchain-specific functionality, where appropriate.


We ensure that the DApp is free from errors without having to write tests of what the program should do. Instead, developers write down what their program must not do, and we ensure that these bad outcomes never occur. The compiler uses type-checking, A Normal-Form transformation, information-flow security, and end-point projection to derive each component correctly from the single specification. The compiler is integrated with a satisfiability-modulo-theories (SMT) theorem prover (e.g. Z3) to automatically check the correctness of the application via developer-specific predicates, as well as automatically generated properties appropriate for all DApps.

:chains: SECRET HEADQUARTERS

:speech_balloon: Discord: https://bit.ly/reachondiscord​ (seriously, don’t tell anyone)

:chains: KEEP IN TOUCH

:file_cabinet: Github: https://github.com/reach-sh​

:play_or_pause_button: YouTube: http://bit.ly/reach-youtube

#️⃣​ Twitter: https://twitter.com/reachlang​

:+1: Facebook: http://bit.ly/reachlangfb​

:small_red_triangle: Reddit: http://bit.ly/reachreddit

2 Likes

Awesome update @Reach :grinning: Looking forward to hearing about the ongoing project updates. I think the community will be very excited.

1 Like

The new release (reach 0.1.4) is now published!
The Conflux integration is included in this version, the details can be found in the following change log:
https://docs.reach.sh/guide-changelog.html

3 Likes