Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts
  for Verifiable Cloud Computing   Cloud computing has become an irreversible trend. Together comes the pressing
need for verifiability, to assure the client the correctness of computation
outsourced to the cloud. Existing verifiable computation techniques all have a
high overhead, thus if being deployed in the clouds, would render cloud
computing more expensive than the on-premises counterpart. To achieve
verifiability at a reasonable cost, we leverage game theory and propose a smart
contract based solution. In a nutshell, a client lets two clouds compute the
same task, and uses smart contracts to stimulate tension, betrayal and distrust
between the clouds, so that rational clouds will not collude and cheat. In the
absence of collusion, verification of correctness can be done easily by
crosschecking the results from the two clouds. We provide a formal analysis of
the games induced by the contracts, and prove that the contracts will be
effective under certain reasonable assumptions. By resorting to game theory and
smart contracts, we are able to avoid heavy cryptographic protocols. The client
only needs to pay two clouds to compute in the clear, and a small transaction
fee to use the smart contracts. We also conducted a feasibility study that
involves implementing the contracts in Solidity and running them on the
official Ethereum network.

25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an