Why blockchain and smart contracts need semantic descriptions

07/09/2021
by   Zoran Škoda, et al.
0

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.

READ FULL TEXT
research
07/19/2020

STAN: Towards Describing Bytecodes of Smart Contract

More than eight million smart contracts have been deployed into Ethereum...
research
05/08/2023

Capturing Smart Contract Design with DCR Graphs

Smart contracts manage blockchain assets. While smart contracts embody b...
research
06/18/2018

Sustainable blockchain-enabled services: Smart contracts

This chapter contributes to evolving the versatility and complexity of b...
research
12/09/2022

A Systematic Literature Review on Smart Contracts Security

Smart contracts are blockchain-based algorithms that execute when specif...
research
04/11/2023

Analyzing the Impact of Elusive Faults on Blockchain Reliability

Blockchain recently became very popular due to its use in cryptocurrenci...
research
12/13/2019

Augmenting Fiat Currency with an Integrated Managed Cryptocurrency

In this work, we investigate how the governance features of a managed cu...
research
09/24/2022

Blockchain technologies in the design of Industrial Control Systems for Smart Cities

The proliferation of sensor technologies in Industrial Control Systems (...

Please sign up or login with your details

Forgot password? Click here to reset