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.
翻译：我们争论说,在现实部署中,存在一个等级层次,从这一层次上描述链链和智能合同的内容和行为背后的现实相关特征。 如果对这些描述基础的研究能够发展并确立这些描述的形式主义、工具和标准,那么这些系统的选择、设计、审计和法律控制就可以更加知情、更容易并提升到更高的水平。
相关内容
专知会员服务
5+阅读 · 2019年12月24日
Arxiv
0+阅读 · 2021年12月10日
Arxiv
0+阅读 · 2021年12月7日
相关VIP内容
专知会员服务
5+阅读 · 2019年12月24日
相关资讯
相关论文
Arxiv
0+阅读 · 2021年12月10日
Arxiv
0+阅读 · 2021年12月7日
微信扫码咨询专知VIP会员