Implementation smart contract with finite state machines

Abstract

Smart contract is an event-driven code contract with state attributes, which has been widely concerned and studied with the deep development of blockchain technology. This article proposes a new smart contract architecture, and discusses the main functions implemented at each layer and some of the key technologies and their operation mechanism in the blockchain. On this basis, it is attempted to establish a core description of commitment, and use a finite state machine to implement a formal description of smart contracts with the support of actions and finite periods. Finally, a commercial contract is implemented on the blockchain as an example to verify the feasibility of this standardized definition of smart contracts.