Grow Open Source Bounties Hackathons Grants Codefund Quests Kudos
Back to Grants

Reach Platform


11 DAI



79 DAI
14 contributors

Your contribution goes a long way!

1 DAI contribution

+ 2 DAI match

10 DAI contribution

+ 6 DAI match

100 DAI contribution

+ 14 DAI match

1,000 DAI contribution

+ 23 DAI match

Next update : 1 month, 3 weeks ago | Last updated : 1 month, 3 weeks ago


{"ops":[{"attributes":{"color":"rgba(0, 0, 0, 0.84)"},"insert":"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."},{"insert":"\n\n"},{"attributes":{"color":"rgba(0, 0, 0, 0.84)"},"insert":"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."},{"insert":"\n\n"},{"attributes":{"italic":true,"bold":true},"insert":"High-Level Language"},{"insert":"\nWe 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.\n\n"},{"attributes":{"italic":true,"bold":true},"insert":"Blockchain Agnostic"},{"insert":"\nWe 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.\n\n"},{"attributes":{"italic":true,"bold":true},"insert":"Safety Guarantees"},{"insert":"\nWe 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.\n\n"},{"attributes":{"bold":true},"insert":"Consensys Grant a Success! "},{"attributes":{"bold":true,"link":"https://medium.com/reach-sh/reach-graduates-the-consensys-grant-program-1d7cf736ef51?sk=6571a6f7c16df78070e19dae7101ba8c"},"insert":"Checkout the article."},{"insert":"\n\n"}]}

Activity Feed