Why blockchain and smart contracts need semantic descriptions
Computers and Society
2021-07-30 v1 Distributed, Parallel, and Cluster Computing
Abstract
We argue that there is a hierarchy of levels describing to that particular level relevant features of reality behind the content and behavior of blockchain and smart contracts in their realistic deployment. Choice, design, audit and legal control of these systems could be more informed, easier and raised to a higher level, if research on foundations of these descriptions develops and sets the formalisms, tools and standards for such descriptions.
Keywords
Cite
@article{arxiv.2107.14101,
title = {Why blockchain and smart contracts need semantic descriptions},
author = {Zoran Škoda},
journal= {arXiv preprint arXiv:2107.14101},
year = {2021}
}
Comments
early draft, to be significantly expanded