DApps, Blockchain Decentralized Apps, are a multi-billion dollar market, fast growing and set to take over finance, but... writing safe DApps today is too difficult. That is why we at MuKn created Glow, a language that makes it tremendously easier to write, and verify, DApps—a “JavaScript for Blockchain”. We have a working prototype, and seek funding to turn it into a market-disrupting product. We at MuKn are building excavators instead. Our team uniquely combines expertise in all above-mentionned fields, and also in Programming Languages and Formal Methods. We encoded our expertise in a language, Glow, that abstracts over the complexity of Blockchain. With our language, you only need a single expert, in the subject matter of your DApp, whether it is derivatives trading, insurance, supply chain, etc. Our compiler and runtime take care of Blockchain. Glow makes DApps vastly simpler, hence cheaper, faster and easier to write—but also to audit. To further simplify audit, and unlike our competition, Glow has built-in support for formal methods to automate the verification of security properties. Note how independent audit is essential for DApps because users put their assets at risk with no recourse, which is not the case with centralized applications. Also unlike our competition, our language will run on every blockchain, not just a single one you must bet on. DApp writers and users won't care anymore which blockchain they use; Glow will therefore commoditize the underlying Blockchains and disrupt the market. Everyone will use Glow. All financial institutions will use our services. We will provide the marketplace for blockchain services. We will be the “Microsoft of Blockchain”.