Cloud computing har blivit en oåterkallelig trend. Tillsammans kommer det trängande behovet av verifiability, för att försäkra kunden riktigheten av beräkning utkontrakterade till molnet. Befintliga kontrollerbara beräkningstekniker alla har en hög overhead, alltså om de är utplacerade i molnen, skulle göra cloud computing dyrare än på lokaler motsvarigheten. För att uppnå verifiabilitet till en rimlig kostnad utnyttjar vi spelteorin och föreslår en smart kontraktsbaserad lösning. I ett nötskal låter en klient två moln beräkna samma uppgift, och använder smarta kontrakt för att stimulera spänning, svek och misstro mellan molnen, så att rationella moln inte kolliderar och fuskar. I avsaknad av samverkan kan verifiering av korrekthet enkelt göras genom att dubbelkontrollera resultaten från de två molnen. Vi tillhandahåller en formell analys av spelen som framkallas av avtalen, och bevisar att kontrakten kommer att vara effektiva enligt vissa rimliga antaganden. Genom att tillgripa spelteori och smarta kontrakt, kan vi undvika tunga kryptografiska protokoll. Kunden behöver bara betala två moln för att beräkna i klar, och en liten transaktionsavgift för att använda smarta kontrakt. Vi genomförde också en genomförbarhetsstudie som innebär att genomföra kontrakten i Solidity och driva dem på det officiella Ethereum nätverket.
Baserat på spelteori och Ethereum smart kontrakt, Dong et al. REF föreslog ett protokoll för att kontrollera att beräkningen i molndata är korrekt.
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing
{'venue': "CCS '17", 'journal': None, 'mag_field_of_study': ['Computer Science', 'Economics']}