Harz和Knottenbelt[11]研究智能合约语言和形式化验证要领。它们思量每种语言的范式、语义、安详存眷点、指令集和怀抱属性。他们还回首了个中一些语言的形式化验证东西，并描写了这些东西如何很好地检测智能合约中的裂痕。他们指出，语言的设计会对验证东西的有效性发生影响。

四、 智能合约语言

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。