Smart contracts can be built using mainstream software stacks. You can make a leap from Solidity to the vast array of Linux-supported software components. You can achieve a million-fold increase in computational scalability, large file data availability, and low transaction costs. All this while maintaining the strong security guarantees offered by Ethereum. You can keep your DApps private, from games that hide players' data to Enterprise applications that use sensitive data. Descartes performs large computational tasks off-chain on a Linux virtual computer fully specified by smart contracts. The computations are fully verifiable, and can be enforceable on-chain by Descartes node runners. This preserves the strong security guarantees of underlying blockchain. With multimillion-fold computational gains and strong security guarantees, you can overcome the Ethereum scalability limitations.