Formal-Verification of Smart-Contract Languages: A Survey

Vimal Dwivedi; Vipin Deval; Abhishek Dixit; Alex Norta

doi:10.1007/978-981-13-9942-8_68

Formal-Verification of Smart-Contract Languages: A Survey

Vimal Dwivedi
, Vipin Deval
, Abhishek Dixit
, Alex Norta

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

13 Citations (Scopus)

44 Downloads (Pure)

Abstract

A blockchain is a peer-to-peer electronic ledger of transactions that may be publicly or privately distributed to all users. Apart from unique consensus mechanisms, their success is also obliged to smart contracts. Also, These programs let on distrusting parties to enter reconciliation that are executed autonomously. Although a number of studies focus on security of introducing new programming languages., However, there is no comprehensive survey on the smart-contract language in suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. To fill this gap, we conduct a systematic analysis about smart-contract language properties that focus on e-contractual and pattern-based exploration. In particular, this paper gives smart-contract language taxonomy, introducing technical challenges of languages as well as recent solutions in tackling the challenges. Moreover, this paper also represents the future research direction in the introducing new smart-contract language.

Original language	English
Title of host publication	Advances in Computing and Data Sciences (ICACDS 2019)
Place of Publication	India
Publisher	Springer Singapore
Pages	738-747
Number of pages	9
Volume	1045
ISBN (Print)	9789811399411, 9789811399428
DOIs	https://doi.org/10.1007/978-981-13-9942-8_68
Publication status	Published (in print/issue) - 19 Jul 2019
Event	3rd International conference on Advances in Computing and Data Sciences - Ghasiabad, , Ghasiabad, India Duration: 12 Apr 2019 → 13 Apr 2019

Publication series

Name	Communications in Comuter and Information Science
Publisher	Springer, Singapore
Volume	1045
ISSN (Print)	1865-0929
ISSN (Electronic)	1865-0937

Conference

Conference	3rd International conference on Advances in Computing and Data Sciences
Abbreviated title	ICACDS 2019
Country/Territory	India
City	Ghasiabad
Period	12/04/19 → 13/04/19

Funding

This Ph.D. research is partially supported by Quantum Foundation, Singapore under the supervision of Prof. Alex Norta, Associate Professor, Department of Software Science, Tallinn University of Technology, Tallinn, Estonia. Email: [email protected] We thank our Prof. Alex Norta who provided insight and expertise that greatly assisted the research.

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure
SDG 12 Responsible Consumption and Production

Access to Document

10.1007/978-981-13-9942-8_68

Formal-verification of Smart-contract languages A SurveyAuthor Accepted Manuscript, 153 KB

Cite this

@inbook{96234e98c4b84890b8833b3847f93aeb,

title = "Formal-Verification of Smart-Contract Languages: A Survey",

abstract = "A blockchain is a peer-to-peer electronic ledger of transactions that may be publicly or privately distributed to all users. Apart from unique consensus mechanisms, their success is also obliged to smart contracts. Also, These programs let on distrusting parties to enter reconciliation that are executed autonomously. Although a number of studies focus on security of introducing new programming languages., However, there is no comprehensive survey on the smart-contract language in suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. To fill this gap, we conduct a systematic analysis about smart-contract language properties that focus on e-contractual and pattern-based exploration. In particular, this paper gives smart-contract language taxonomy, introducing technical challenges of languages as well as recent solutions in tackling the challenges. Moreover, this paper also represents the future research direction in the introducing new smart-contract language.",

author = "Vimal Dwivedi and Vipin Deval and Abhishek Dixit and Alex Norta",

year = "2019",

month = jul,

day = "19",

doi = "10.1007/978-981-13-9942-8\_68",

language = "English",

isbn = "9789811399411",

volume = "1045",

series = "Communications in Comuter and Information Science",

publisher = "Springer Singapore",

pages = "738--747",

booktitle = "Advances in Computing and Data Sciences (ICACDS 2019)",

note = "3rd International conference on Advances in Computing and Data Sciences, ICACDS 2019 ; Conference date: 12-04-2019 Through 13-04-2019",

}

Dwivedi, V, Deval, V, Dixit, A & Norta, A 2019, Formal-Verification of Smart-Contract Languages: A Survey. in Advances in Computing and Data Sciences (ICACDS 2019). vol. 1045, Communications in Comuter and Information Science, vol. 1045, Springer Singapore, India, pp. 738-747, 3rd International conference on Advances in Computing and Data Sciences, Ghasiabad, India, 12/04/19. https://doi.org/10.1007/978-981-13-9942-8_68

Formal-Verification of Smart-Contract Languages: A Survey. / Dwivedi, Vimal; Deval, Vipin; Dixit, Abhishek et al.
Advances in Computing and Data Sciences (ICACDS 2019). Vol. 1045 India: Springer Singapore, 2019. p. 738-747 (Communications in Comuter and Information Science; Vol. 1045).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Formal-Verification of Smart-Contract Languages: A Survey

AU - Dwivedi, Vimal

AU - Deval, Vipin

AU - Dixit, Abhishek

AU - Norta, Alex

PY - 2019/7/19

Y1 - 2019/7/19

N2 - A blockchain is a peer-to-peer electronic ledger of transactions that may be publicly or privately distributed to all users. Apart from unique consensus mechanisms, their success is also obliged to smart contracts. Also, These programs let on distrusting parties to enter reconciliation that are executed autonomously. Although a number of studies focus on security of introducing new programming languages., However, there is no comprehensive survey on the smart-contract language in suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. To fill this gap, we conduct a systematic analysis about smart-contract language properties that focus on e-contractual and pattern-based exploration. In particular, this paper gives smart-contract language taxonomy, introducing technical challenges of languages as well as recent solutions in tackling the challenges. Moreover, this paper also represents the future research direction in the introducing new smart-contract language.

AB - A blockchain is a peer-to-peer electronic ledger of transactions that may be publicly or privately distributed to all users. Apart from unique consensus mechanisms, their success is also obliged to smart contracts. Also, These programs let on distrusting parties to enter reconciliation that are executed autonomously. Although a number of studies focus on security of introducing new programming languages., However, there is no comprehensive survey on the smart-contract language in suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. To fill this gap, we conduct a systematic analysis about smart-contract language properties that focus on e-contractual and pattern-based exploration. In particular, this paper gives smart-contract language taxonomy, introducing technical challenges of languages as well as recent solutions in tackling the challenges. Moreover, this paper also represents the future research direction in the introducing new smart-contract language.

UR - http://dx.doi.org/10.1007/978-981-13-9942-8_68

U2 - 10.1007/978-981-13-9942-8_68

DO - 10.1007/978-981-13-9942-8_68

M3 - Chapter

SN - 9789811399411

SN - 9789811399428

VL - 1045

T3 - Communications in Comuter and Information Science

SP - 738

EP - 747

BT - Advances in Computing and Data Sciences (ICACDS 2019)

PB - Springer Singapore

CY - India

T2 - 3rd International conference on Advances in Computing and Data Sciences

Y2 - 12 April 2019 through 13 April 2019

ER -

Formal-Verification of Smart-Contract Languages: A Survey

Abstract

Publication series

Conference

Funding

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this