Research On Fair Contract Signing Protocol Based On Fabric And Its Formal Verification

Guarantee of transaction fairness plays a vital role in dealing with various uncertainties in e-commerce.Therefore,a fair contract signing protocol(FCSP)has emerged,which can maintain transaction fairness.It can be divided into two modes,one with a trusted third party and the other without a trusted third party.With the rapid development of network transactions,the burden of the traditional centralized trusted third party management mode is getting bigger and bigger.However,the introduction of blockchain technology into third-party management to complete the decentralized implementation can not only avoid the performance bottlenecks caused by frequent participation of third parties,but also reduce the fair cost of the distributed implementation mode.Nevertheless,the booming online trading market also makes blockchain more and more complex.How to use blockchain technology to ensure the fairness of transactions without affecting the efficiency of transactions is one of the key issues to be solved urgently in the current e-commerce field.After a comprehensive analysis of the domestic and foreign research status of fair contract signing agreement based on blockchain,this paper studies and proposes a fair contract signing protocol based on Fabric and its formal verification method,designs a fair contract signing protocol in the insurance blockchain,and gives its fairness formal verification.The specific work of this paper is as follows:For the existing problems of fair contract signed protocol based on blockchain,including the complex content,low efficiency,application difficulty.Based on the Fabric league chain,proposing fast fair contract signed protocol(TFCSP),the paper describes the design idea of the protocol in detail,the protocol is divided into three stages,respectively in transaction submission,verification,upload provides fairness guarantee.For blockchain's chaincode(smart contract)on the chain that is immutable attributes and big deals in line,the application in the chain of blocks on the protocol must be strictly ensure the correct,so the comprehensive system based on Alternating-time Temporal Logic(ATL)model of detection and the BAN(Burrows,Abadi and Needham,BAN)logical theorem proving,use an existing formal analysis method for agreement-state transition model,an alternate state transition system for TFCSP is proposed in this paper.Through formal description of the message,process,specification and execution sequence of the protocol,a model of the alternate state transition of the protocol is established,and its formal verification objective is described.Through the mathematical derivation of the protocol system state transition,it is proved that the system state can satisfy the fairness under the trusted execution sequence.In addition,this paper uses formal verification tools to automate the fairness verification of the protocol,which also proves the fairness of the proposed protocol.In view of the problems existing in the current fair contract signing protocol based on blockchain,this paper puts forward the fair contract signing protocol based on Fabric and its formal verification method,which provides a new way of thinking for the development of fair contract signing protocol.