arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2107.14101cs.CYcs.DC

Why blockchain and smart contracts need semantic descriptions

Zoran Škoda

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑