Research On Application Of Blockchain Technology To Supply Chain Logistics Industry

Blockchain technology has created a new business execution mode for interenterprise business collaboration with its characteristics of transaction consensus,ledger synchronization,and non-tamperable information on the chain.Relying on the blockchain platform,it can achieve efficient collaboration between multiple different interest entities.Business,credible execution of transactions,and secure sharing of data can not only improve efficiency,but also ensure fairness.However,in the specific practice of combining blockchain technology with industrial applications,there are still many new problems to be solved.On the one hand,the privacy and security of transaction data on the blockchain,the disclosure of transaction results and transaction details on the chain,and the new security challenges faced by commercial applications;on the other hand,the realization of the business depends on the smart contract.The logical rationality and functional perfection of the contract need to be guaranteed,and the trusted and fair business faces new risks.In view of the above problems,this thesis focuses on the industrial application of blockchain technology,and studies the construction of blockchain platform for industrial application and the formal verification of intelligent contract correctness from two aspects : blockchain platform supporting intelligent contract operation and intelligent contract supporting business implementation.The main research contents are as follows :(1)The network architecture design,data storage mechanism,business system operation and maintenance of blockchain technology supporting specific industrial applications are studied.According to the needs of industrial business,it is proposed to design a hierarchical organizational structure on the network architecture,and associate the digital identity and real identity of nodes on the network with the mode of certificate chain,so as to ensure that the activities of business participants on the chain are controllable and supervised.On the data storage,the single-chain multi-book mode is designed,and the virtual division of node computing resources is added to different business domains to maintain the consistency of business books and ensure that business data will not be acquired by unrelated nodes.In terms of business operation and maintenance,a bottom-up authority management model is designed to manage business operators from three levels : blockchain network,smart contract and business interaction.(2)The application of supply chain logistics industry based on blockchain technology is studied.From the interaction between participating business entities and entities,the traditional supply chain logistics business scenario is analyzed,and a business implementation scheme based on blockchain is proposed.According to the different entities involved in the business,the whole business process is divided into three stages : supply and demand matching,contract signing and cargo transportation.Aiming at the business objectives that the supply chain logistics business needs to reach at each stage,the intelligent contract for implementing the blockchain business transaction operation is developed.With the help of Fisco Bcos blockchain platform,a blockchain network that meets the business needs is built to complete the contract deployment test.(3)The formal verification scheme and verification implementation of the completeness of smart contract business design are studied.In order to ensure that the smart contract can correctly realize the business requirements,the formal verification method of model checking is adopted.In the system modeling,based on the finite automata model,from the perspective of contract business implementation,the contract state set,the state transition relationship and the state transition condition are abstracted and extracted,and the deterministic automata model with constraints is constructed to formally model the contract business model.On the attribute specification,temporal logic is used to describe the business attributes that the contract needs to meet,and the attribute integrity design requirements of state and transformation coverage are proposed.Finally,based on the above modeling scheme,the Nu XMV formal modeling tool is selected to verify the completeness of the smart contract business design.(4)The formal verification scheme and verification implementation of the correctness of smart contract execution based on the blockchain platform supporting business transaction function implementation mechanism are studied.The correctness of smart contract business execution depends on the support of blockchain platform(system level)transaction consensus,etc.,and the guarantee of the correctness of contract code level(application level)transaction execution.Based on the execution process of the transaction on the blockchain,the user process,the transaction pool process,the transaction packaging,the block execution,and the contract execution are used to model the blockchain business execution system model.From the two aspects of system attributes and business attributes,the corresponding attribute specifications are designed.Finally,based on the above modeling scheme,the SPIN formal modeling tool is selected to verify the correctness of contract execution supported by the blockchain platform.