Blockchain-Based Result Verification for Computation Offloading
Authors: 
Benjamin Körbel, Marten Sigwart, Philip Frauenthaler, Michael Sober, Stefan SchulteAuthors Info & Claims
Pages 99 - 115
Abstract
Offloading of computation, e.g., to the cloud, is today a major task in distributed systems. Usually, consumers which apply offloading have to trust that a particular functionality offered by a service provider is delivering correct results. While redundancy (i.e., offloading a task to more than one service provider) or (partial) reprocessing help to identify correct results, they also lead to significantly higher cost.
Hence, within this paper, we present an approach to verify the results of offchain computations via the blockchain. For this, we apply zero-knowledge proofs to provide evidence that results are correct. Using our approach, it is possible to establish trust between a service consumer and arbitrary service providers. We evaluate our approach using a very well-known example task, i.e., the Traveling Salesman Problem.
References
[1]
Applegate, D.L., Bixby, R.E., Chátal, V., Cook, W.J.: The Traveling Salesman Problem - A Computational Study. Princeton University Press, Princeton (2007)
[2]
Ben-Sasson, E., Chiesa, A., Tromer, E., Virza, M.: Succinct non-interactive zero knowledge for a von Neumann architecture. In: 23rd USENIX Security Symposium, pp. 781–796. USENIX Association (2014)
[3]
Chatzopoulos D, Ahmadi M, Kosta S, and Hui P FlopCoin: a cryptocurrency for computation offloading IEEE Trans. Mobile Comput. 2018 17 5 1062-1075
[4]
Eberhardt, J., Heiss, J.: Off-chaining models and approaches to off-chain computations. In: 2nd Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, pp. 7–12. ACM (2018)
[5]
Eberhardt, J., Tai, S.: ZoKrates - scalable privacy-preserving off-chain computations. In: 1st IEEE International Conference on Blockchain, pp. 1084–1091. IEEE (2018)
[6]
Fedak, G., Bendella, W., Alves, E.: Blockchain-Based Decentralized Cloud Computing. https://iex.ec/wp-content/uploads/pdf/iExec-WPv3.0-English.pdf (2017)
[7]
Goldreich, O., Micali, S., Wigderson, A.: How to play any mental game or a completeness theorem for protocols with honest majority. In: 19th Annual ACM Symposium on Theory of Computing, pp. 218–229. ACM (1987)
[8]
Greenberg, A.: Hackers can mess with voltages to steal intel chips’ secrets. https://www.wired.com/story/plundervolt-intel-chips-sgx-hack
[9]
Kosba, A., Papadopoulos, D., Papamanthou, C., Song, D.: MIRAGE: succinct arguments for randomized algorithms with applications to universal zk-SNARKs. In: 29th USENIX Security Symposium, pp. 2129–2146. USENIX Association (2020)
[10]
Kosta, S., Aucinas, A., Hui, P., Mortier, R., Zhang, X.: ThinkAir: dynamic resource allocation and parallel execution in the cloud for mobile code offloading. In: 31st IEEE International Conference on Computer Communications, pp. 945–953. IEEE (2012)
[11]
Krejci S, Sigwart M, and Schulte S Brogi A, Zimmermann W, and Kritikos K Blockchain- and IPFS-based data distribution for the internet of things Service-Oriented and Cloud Computing 2020 Cham Springer 177-191
[12]
Mach P and Becvar Z Mobile edge computing: a survey on architecture and computation offloading IEEE Commun. Surv. Tutorials 2017 19 3 1628-1656
[13]
Marston S, Li Z, Bandyopadhyay S, Zhang J, and Ghalsasi A Cloud computing - the business perspective Decis. Support Syst. 2011 51 176-189
[14]
Pan J, Wang J, Hester A, AlQerm I, Liu Y, and Zhao Y EdgeChain: an edge-IoT framework and prototype based on blockchain and smart contracts IEEE Internet of Things J. 2019 6 3 4719-4732
[15]
Qiu X, Liu L, Chen W, Hong Z, and Zheng Z Online deep reinforcement learning for computation offloading in blockchain-empowered mobile edge computing IEEE Trans. Veh. Technol. 2019 68 8 8050-8062
[16]
ur Rehman Khan, A., Othman, M., Madani, S.A., Khan, S.U.: A survey of mobile cloud computing application models. IEEE Commun. Surv. Tutorials 16(1), 393–413 (2014)
[17]
Santos, N., Gummadi, K.P., Rodrigues, R.: Towards trusted cloud computing. In: 2009 Conference on Hot Topics in Computing. USENIX Association, Article No. 3 (2009)
[18]
Satyanarayanan M A brief history of cloud offload: a personal journey from odyssey through cyber foraging to cloudlets GetMobile Mob. Comput. Commun. 2014 18 4 19-23
[19]
Schwarz M, Weiser S, Gruss D, Maurice C, and Mangard S Polychronakis M and Meier M Malware guard extension: using SGX to conceal cache attacks Detection of Intrusions and Malware, and Vulnerability Assessment 2017 Cham Springer 3-24
[20]
Skrzypczak, A.: Golem Architecture. https://blog.golemproject.net/golem-architecture/ (2017). Accessed 20 May 2021
[21]
Sonm Pte. Ltd.: SONM - Supercomputer Organized by Network Mining. https://whitepaper.io/document/326/sonm-whitepaper
[22]
Teutsch, J., Reitwießner, C.: A scalable verification solution for blockchains. CoRR abs/1908.04756 (2019). http://arxiv.org/abs/1908.04756
[23]
Uriarte RB and De Nicola R Blockchain-based decentralized cloud/fog solutions: challenges, opportunities, and standards IEEE Commun. Stand. Mag. 2018 2 3 22-28
[24]
Wu H, Sun Y, and Wolter K Energy-efficient decision making for mobile cloud offloading IEEE Trans. Cloud Comput. 2020 8 2 570-584
[25]
Wu H, Wolter K, Jiao P, Deng Y, Zhao Y, and Xu M EEDTO: an energy-efficient dynamic task offloading algorithm for blockchain-enabled IoT-edge-cloud orchestrated computing IEEE Internet Things J. 2021 8 4 2163-2176
Index Terms
- Blockchain-Based Result Verification for Computation Offloading
Index terms have been assigned to the content through auto-classification.
Recommendations
SMT-Based Modeling and Verification of Cloud Applications
Services – SERVICES 2019AbstractCloud applications have been rapidly evolving and gained more and more attention in the past decade. Formal modeling and verification of cloud services are necessarily needed to guarantee their correctness and reliability of complex cloud ...
Tool Support for BPEL Verification in ActiveBPEL Engine
ASWEC '07: Proceedings of the 2007 Australian Software Engineering ConferenceThe BPEL is designed for integrating and orches- trating web services and it provides the profound so- lution to model business process relying on web ser- vice platform. ActiveBPEL is a commercial-grade open source implementation engine for BPEL. In ...
Towards effective offloading mechanisms in fog computing
AbstractFog computing is considered a formidable next-generation complement to cloud computing. Nowadays, in light of the dramatic rise in the number of IoT devices, several problems have been raised in cloud architectures. By introducing fog computing as ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Nov 2021
918 pages
ISBN:978-3-030-91430-1
DOI:10.1007/978-3-030-91431-8
© Springer Nature Switzerland AG 2021.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 22 November 2021
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 08 Dec 2024
Other Metrics
Citations
View Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in