Современные блокчейн-платформы позволяют создавать распределенные отказоустойчивые приложения (dApps), способные накапливать и распределять цифровые активы пользователей по описанным в смарт-контракте правилам. Краеугольным камнем в разработке dApp является безопасность приложения, так как оно оперирует цифровыми активами и криптовалютой пользователей.
В данном курсе рассматривается процесс разработки dApp для блокчейн платформы Ethereum и языка смарт-контрактов Solidity, с фокусом на вопросах надёжности и безопасности разрабатываемого решения через использование современных средств тестирования и статического анализа смарт-контрактов: Truffle, Mythril, SolTracer.