Development and Verification of Smart-Contracts for the ScientificCoin Platform

Abstract

We study the process of creating and testing models of programs in the Solidity language (smart-contracts) for the ScientificCoin crowdfunding platform. This platform is an Internet portal for investing in high-tech projects using blockchain technology. We examine the security of the blockchain-based method of conducting money transactions implemented on this platform and the approach to test and to verify used program code. We analyze the tools and algorithms which allow us to formalize the life cycle of the code in the blockchain system. An example of creating a smart-contract model and the way of checking the feasibility of its functional properties and the truth of invariants using the SMT solver are considered.