Verifiable Computing Applications in Blockchain

From weak clients outsourcing computational tasks to more powerful machines, to distributed blockchain nodes needing to agree on the state of the ledger in the presence of adversarial nodes, there is a growing need to efficiently verify the results of computations delegated to untrusted third partie...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Silvio Simunic, Dalen Bernaca, Kristijan Lenac
Formato: article
Lenguaje:EN
Publicado: IEEE 2021
Materias:
Acceso en línea:https://doaj.org/article/ba46162952a049548568a9267f0adf1e
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
id oai:doaj.org-article:ba46162952a049548568a9267f0adf1e
record_format dspace
spelling oai:doaj.org-article:ba46162952a049548568a9267f0adf1e2021-12-04T00:00:14ZVerifiable Computing Applications in Blockchain2169-353610.1109/ACCESS.2021.3129314https://doaj.org/article/ba46162952a049548568a9267f0adf1e2021-01-01T00:00:00Zhttps://ieeexplore.ieee.org/document/9620108/https://doaj.org/toc/2169-3536From weak clients outsourcing computational tasks to more powerful machines, to distributed blockchain nodes needing to agree on the state of the ledger in the presence of adversarial nodes, there is a growing need to efficiently verify the results of computations delegated to untrusted third parties. Verifiable computing is a new and interesting research area that addresses this problem. Recently, new applications of verifiable computing techniques have emerged in blockchain technology for secure key management, sybil-resistance and distributed consensus, and smart contracts, while providing desired performance and privacy guarantees. In this paper, we provide an overview of common methods for verifying computation and present how they are applied to blockchain technology. We group the presented verifiable computing applications into five main application areas, i.e., multiparty approval for secure key management, sybil-resistance and consensus, smart contracts and oracles, scalability, and privacy. The main contribution of this survey is to answer two research questions: 1) what are the main application areas of verifiable computing in blockchain technology, and 2) how are verifiable computing techniques used in major blockchain projects today.Silvio SimunicDalen BernacaKristijan LenacIEEEarticleVerifiable computingblockchainzero-knowledge proofverifiable random functionmultiparty computationtrusted execution environmentElectrical engineering. Electronics. Nuclear engineeringTK1-9971ENIEEE Access, Vol 9, Pp 156729-156745 (2021)
institution DOAJ
collection DOAJ
language EN
topic Verifiable computing
blockchain
zero-knowledge proof
verifiable random function
multiparty computation
trusted execution environment
Electrical engineering. Electronics. Nuclear engineering
TK1-9971
spellingShingle Verifiable computing
blockchain
zero-knowledge proof
verifiable random function
multiparty computation
trusted execution environment
Electrical engineering. Electronics. Nuclear engineering
TK1-9971
Silvio Simunic
Dalen Bernaca
Kristijan Lenac
Verifiable Computing Applications in Blockchain
description From weak clients outsourcing computational tasks to more powerful machines, to distributed blockchain nodes needing to agree on the state of the ledger in the presence of adversarial nodes, there is a growing need to efficiently verify the results of computations delegated to untrusted third parties. Verifiable computing is a new and interesting research area that addresses this problem. Recently, new applications of verifiable computing techniques have emerged in blockchain technology for secure key management, sybil-resistance and distributed consensus, and smart contracts, while providing desired performance and privacy guarantees. In this paper, we provide an overview of common methods for verifying computation and present how they are applied to blockchain technology. We group the presented verifiable computing applications into five main application areas, i.e., multiparty approval for secure key management, sybil-resistance and consensus, smart contracts and oracles, scalability, and privacy. The main contribution of this survey is to answer two research questions: 1) what are the main application areas of verifiable computing in blockchain technology, and 2) how are verifiable computing techniques used in major blockchain projects today.
format article
author Silvio Simunic
Dalen Bernaca
Kristijan Lenac
author_facet Silvio Simunic
Dalen Bernaca
Kristijan Lenac
author_sort Silvio Simunic
title Verifiable Computing Applications in Blockchain
title_short Verifiable Computing Applications in Blockchain
title_full Verifiable Computing Applications in Blockchain
title_fullStr Verifiable Computing Applications in Blockchain
title_full_unstemmed Verifiable Computing Applications in Blockchain
title_sort verifiable computing applications in blockchain
publisher IEEE
publishDate 2021
url https://doaj.org/article/ba46162952a049548568a9267f0adf1e
work_keys_str_mv AT silviosimunic verifiablecomputingapplicationsinblockchain
AT dalenbernaca verifiablecomputingapplicationsinblockchain
AT kristijanlenac verifiablecomputingapplicationsinblockchain
_version_ 1718373051391803392