| Big data is a fundamental strategic resource of the country,known as the “diamond mine of the 21 st century”.It has gradually become an important component of comprehensive national power,which has a profound impact on national governance capacity,economic operation mechanism and social life style.Big data technology is a common foundation for addressing many national major real-life needs.To address the major challenges faced by big data opening and sharing,such as “it is difficult to store massive data,unreliable computing results,and easy to reveal user privacy”,this paper aims to build a rational outsourcing computation model,explore the evolution mechanism of cooperation strategy and design a revenue control method,integrating cryptography,smart contracts,blockchain technology and game theory,and put forward a series of rational outsourcing computing models that are safe,efficient and collusion-resistant.Based on these,this paper studies the mechanism of cooperation evolution and revenue control under the condition of limited rationality,solves the dilemma of “repeated prisoner’s dilemma” and achieves the goal of “win-win cooperation”.The main work and contributions of this paper include the following aspects:(1)In the cloud computing environment,data ownership and management rights are separated,computing and storage resources are asymmetric,which leads to untrusted outsourcing computation results and complicated cryptographic protocols.To solve these problems,an outsourcing computation game model based on dual servers is constructed.Under this model,a smart contract-based dual-server anti-complicity outsourcing computation protocol is constructed by introducing rational participants,which enables the full outsourcing of computation tasks and verification tasks and reduces the workload of users.In addition,in order to resist collusion attack occurring between the computation and verifier,the outsourcing contract,collusion contract and a long-term mechanism contract are designed,which realize an incentive mechanism for automatic execution of the outsourcing tasks and payments,and guarantee the reliability of the computation results.(2)To address the problem of lack of trust between resource-constrained user and cloud servers,which easily triggers collusion attacks and leads to unfair payments,a rational payment framework for outsourced computing based on Bitcoin anti-collusion is established.Under this framework,the outsourcing payment protocol under different conditions is constructed through the transaction logic of both participants.Moreover,the correctness and fairness of outsourcing services are addressed by taking advantage of the immutability of blockchain and the anonymity of Bitcoin.In addition,it proves that the rational outsourcing computation payment protocol based on the anti-collusion of Bitcoin system has integrity and fairness,which hinders the collusion behavior among cloud servers to some extent.(3)Under incomplete information,the rational participants’ self-interest behavior may unilaterally terminate cooperation or computing tasks,which makes protocol into the predicament of “repeated prisoner’s dilemma” prematurely.Combining the zero-determinant strategy,this paper analyzes the profit relation of rational outsourcing computation,and puts forward 1-to-1,1-to-9)discrete rational outsourcing computation model and continuous rational outsourcing computation model.Under these models,a linear relationship between the user’s and the calculator’s payoffs is established by a zero-determinant strategy,and the goal of controlling the opponent’s expected payoffs is achieved by the game subject.In addition,the discrete model incentive algorithm and the continuous model algorithm of the zero-determinant strategy are designed under the rule of “incentivizing trustworthiness and punishing breach of trust”,and the existence conditions of Nash equilibrium of zero-determinant strategy under different computing power are analyzed.(4)In the dynamic big data environment,the information interaction between individuals leads to changes in the system topology,and the data are interrelated in a non-deterministic or irregular way,which leads to problems such as incomplete control of data and untrusted environment.The complexity of the dynamic interactive system is analyzed in conjunction with potential game theory,and a rational outsourcing computation model based on potential game is established.Under this model,the consistency between the game equilibrium and the global optimal solution is achieved by aligning the utility function of participating individuals with the objective of the system potential function,and the existence and effectiveness of the equilibrium in the game model are verified.(5)To address the problems of low reliability of calculation results and high maintenance costs of the system due to mutual communication among participants in rational outsourcing computation,it is difficult to achieve lasting cooperation.The conditions for cooperation emergence and the evolutionary mechanism of cooperation are studied in conjunction with evolutionary game theory,and a gain control game model is established.Under this model,the payoff control methods of two-player and multi-player games are given by using the one-time memory strategy,the feasible region of the equilibrium strategy is analyzed,and the evolutionary path of cooperation is regulated.In addition,to address the shortcomings of the repeated game,which is vulnerable to the “prisoner’s dilemma” and “reverse thinking attack”,the conditions for the adaptable path to be satisfied are analyzed and a strategy updating algorithm is designed to motivate participants inhibits mutation individual rational cooperation,break the inefficient equilibrium of repeated prisoner’s dilemma against each other,and enhance the stability of the system. |