Research On Formalization Of Smart Contracts For Digital Wallets

Blockchain has evolved from programmable finance to programmable contracts to programmable society,and the technology has been widely used in all aspects of life.Consensus mechanisms and smart contracts are the core technologies of blockchain.Practical Byzantine fault-tolerant algorithms provide how different nodes in an untrusted channel can reach a consistent communication protocol;smart contracts define the obligations and rights between nodes,and managing nodes invoke digital wallet smart contracts that enable a particular transaction protocol to be formed between multiple nodes.In the face of the chaos that exists in the rental sector,the Agricultural Bank of China and Huawei Group have proposed a contractual solution based on blockchain technology to solve the problem of allowing tenants and lessees to safely and securely refund their deposits after the lease expires.The housing rental sector uses smart contracts to agree on processes that make housing information credible,lessor and tenant transactions real,and uses digital wallets to make deposits refundable,rents paid in a timely manner,and the housing rental process efficient.Based on the solutions proposed by Agribank and Huawei,this paper formally defines the smart contract as a contract,formally describes the validity of the contract,the behaviour of the contract,and proposes a generic algorithm for the contract based on the formally defined smart contract.For the possible privacy leakage when signing the contract,a PBFT contract based on partial blind signature is proposed,and a digital wallet contract model is designed for the transactions after signing the contract to protect the security of the digital wallet.The traditional leasing process is analysed and a leasing model suitable for the Alliance Chain is proposed.Based on smart contracts,a leasing platform based on the Alliance Chain is designed,and PBFT contracts based on partial blind signature technology and digital wallet contracts are applied to the leasing platform to simplify the leasing process and create a trusted and reviewable payment environment for leasing transactions.Finally,the construction and testing of the leasing platform is completed and the performance of the system is analysed.