-
题名一种高级智能合约转化方法及竞买合约设计与实现
被引量：10
- 1
-
-
作者
朱岩
秦博涵
陈娥
刘国伟
-
机构
北京科技大学计算机与通信工程学院
北京市经济和信息化局
-
出处
《计算机学报》
EI
CSCD
北大核心
2021年第3期652-668,共17页
-
基金
国家科技部重点研发计划(2018YFB1402702)
国家自然科学基金(61972032)。
-
文摘
智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题,然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法.针对这一问题,本文设计了一种SPESC到目标程序语言(Solidity)的转化规则,并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架.首先,转化规则给出了根据SPESC合约当事人定义生成目标语言当事人子合约、以及SPESC其余部分生成目标语言主体子合约之间的对应关系;其次,除程序框架与存储结构外,目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制,这些机制能辅助编程人员半自动化地编写智能合约程序;进而,通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性,第一个实验邀请了计算机与非计算机人员分组阅读Solidity和SPESC的智能合约并回答问卷,结果表明阅读SPESC的速度约为阅读Solidity两倍,准确率也更高.然后以竞买合约为实例,给出了根据上述转化规则从SPESC合约转化到可执行Solidity合约语言程序,并通过以太坊私链部署运行来验证转化过程的正确性.实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性.
-
关键词
智能合约
面向领域语言
代码生成
spesc
-
Keywords
smart contract
domain specific language
code generation
spesc
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名SPESC:面向法律的智能合约设计与实践
被引量：2
- 2
-
-
作者
王迪
秦博涵
宋伟静
朱岩
-
机构
北京科技大学计算机与通信工程学院
-
出处
《网络空间安全》
2020年第9期39-46,共8页
-
基金
国家科技部重点研发计划(项目编号:2018YFB1402702)
国家自然科学基金(项目编号:61972032)。
-
文摘
智能合约是近年来随着区块链技术兴起而发展起来的一种程序设计、部署及运行的新构架,但目前仍缺少较为完备的面向法律智能合约语言。据此,文章对一种面向法律的智能合约描述语言—SPESC的规范化方法进行了详细介绍,它以类似于现实合同的结构、类似自然语言的语法设计实现智能合约的编撰,明确定义了当事人的义务和权利,制定了时间表达式规范及加密货币的交易规则,达到了提高合约法律性、便于法律人士与计算机人员协作合约开发、易于理解和使用的目的。
-
关键词
智能法律合约
spesc
规范
区块链
-
Keywords
smart legal contracts
spesc
specification
blockchain
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
