SPESC:面向法律的智能合约设计与实践

发布时间：2021-01-15 00:45

　　智能合约是近年来随着区块链技术兴起而发展起来的一种程序设计、部署及运行的新构架,但目前仍缺少较为完备的面向法律智能合约语言。据此,文章对一种面向法律的智能合约描述语言—SPESC的规范化方法进行了详细介绍,它以类似于现实合同的结构、类似自然语言的语法设计实现智能合约的编撰,明确定义了当事人的义务和权利,制定了时间表达式规范及加密货币的交易规则,达到了提高合约法律性、便于法律人士与计算机人员协作合约开发、易于理解和使用的目的。 

【文章来源】：网络空间安全. 2020,11(09)

【文章页数】：8 页

【部分图文】：

SPESC语言用于商品购买的示例

参与方示例

SPESC中表达式是指由数字、算符、符号、变量等已有意义排列方法所得的组合,它是构成语句的基础。SPESC语言表达式大致分为五类:逻辑表达式、关系表达式、运算表达式、常数表达式、时间表达式。前四类与其它程序语言大致相同,但具有特有的时间表达式来描述合约中行为/动作之间的相互时序关系,下面将重点对时间表达式规范加以介绍。在现实合约中,条款中的权利与义务往往是通过时间限制的,比如,买家必须在签订合约后的三天内付款。所以时间表达对于合约条款条件的限定是非常重要的,因此,SPESC中建立了一系列时间表达式来更方便以及更准确地表达时序关系。更严格地说,在SPESC语言中时间表达式是为了支持前置条件、后置条件和资产转移的表达,并包含时间常量、动作完成时间、当时时间等形式。


本文编号：2977879