Implementation smart contract with finite state machines

Implementation smart contract with finite state machines

연구 분야: Verification

학회: ICASIT 2020: Proceedings of the 2020 International Conference on Aviation Safety and Information Technology

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.