第４４ 卷 第３ 期２０２１ 年３ 月计 算机 学 报ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳＶｏｌ ．４４Ｎｏ． ３Ｍａｒ． ２０２１一种高级智能合约转化方法及竞买合约设计与实现朱 岩 秦博涵ｕ陈 娥Ｈ刘国伟１ ：）（北京科技大学计算机与通信工程学院 北京１００ ０８３）２ ）（北京市经济和信息化局 北京 １００７４４）摘 要 智能合约是运行在区块链上的数字协议， 智能合约的开发涉及计算机、 金融、 法律等多个领域， 近年来高级智能合约语言已被提出用于解决不同领域人员阅读、 交流与协同开发难的问题， 然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法． 针对这一问题， 本文设计了一种ＳＰＥＳＣ到目标程序语言（Ｓｏｌｉｄｉｔｙ） 的转化规贝ＩＩ ， 并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架． 首先， 转化规则给出了根据ＳＰＥＳＣ合约当事人定义生成目标语言当事人子合约、 以及ＳＰＥＳＣ其余部分生成目标语言主体子合约之间的对应关系； 其次， 除程序框架与存储结构外， 目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制， 这些机制能辅助编程人员半自动化地编写智能合约程序； 进而， 通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性， 第一个实验邀请了计算机与非计算机人员分组阅读Ｓｏｌｉｄｉ ｔｙ 和ＳＰＥＳＣ的智能合约并回答问卷， 结果表明阅读ＳＰＥＳＣ的速度约为阅读Ｓｏｌｉｄｉｔｙ 两倍， 准确率也更高． 然后以竞买合约为实例， 给出了根据上述转化规则从ＳＰＥＳＣ合约转化到可执行Ｓｏｌｉｄｉｔｙ 合约语言程序， 并通过以太坊私链部署运行来验证转化过程的正确性．实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性．关键词 智能合约； 面向领域语言； 代码生成； ＳＰＥＳＣ中图法分类号ＴＰ３ １９ＤＯＩ号１ ０． １ １８９ ７／ＳＰ．Ｊ． １０１ ６． ２０２１ ． ００６ ５２ＡｎＡｄｖａｎｃｅｄＳｍａｒｔＣｏｎｔｒａｃｔＣｏｎｖｅｒｓｉｏｎａｎｄＩｔｓＤｅｓｉｇｎａｎｄＩｍｐｌｅｍｅｎｔａｔｉｏｎｆｏｒＡｕｃｔｉｏｎＣｏｎｔｒａｃｔＺＨＵＹａｎ１ ）ＱＩＮＢｏ Ｈａｎ１）ＣＨＥＮＥ１ ）ＬＩＵＧｕ〇 Ｗｅｉ２ ）１ ：） ｛ ＤｅｐａｒＬｍｅｎＬｏｆＣｏｍｐｕｔ ｅｒａｎｄＣｏｍｍｕｎｉ ｃａｔ ｉｏｎＥｎｇｉｎｅｅｒｉｎｇ？ＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙＢｅｉｊｉｎｇ？ Ｂｅｉｊｉ ｎｇ１０００８３）２）（ Ｂｅｉｊｉ ｎｇＭｕｎｉｃｉｐａｌＢｕｒｅａｕｏｆＥｃｏｎｏｍｙａｎｄＩｎｆｏｒｍａｔ ｉｏｎＴｅｃｈｎｏｌｏｇｙ？Ｂｅｉｊｉｎｇ１００７４４）ＡｂｓｔｒａｃｔＡｓｓｅｃｏｎｄｇｅｎｅｒａｔｉ ｏｎｂｌ ｏｃｋｃｈａｉ ｎｔｅｃｈｎｏｌ ｏｇｙ，ｓｍａｒｔｃｏｎｔｒａｃｔｓｈａｖｅｇｒｅａｔｌ ｙｅｎｒｉｃｈｅｄｔｈｅｆｕｎｃｔｉ ｏｎａｌｅｘｐｒｅｓｓｉ ｏｎｏｆｂｌ ｏｃｋｃｈａｉ ｎｔｏｍａｋｅａｐｐｌ ｉ ｃａｔｉ ｏｎｄｅｖｅｌ ｏｐｍｅｎｔｍｏｒｅｃｏｎｖｅｎｉ ｅｎｔ． Ｓｍａｒｔｃｏｎｔｒａｃｔｓａｒｅａｓｅｔｏｆｄｉｇｉｔａｌ ｌ ｙｅｘｅｃｕｔａｂｌ ｅｐｒｏｔｏｃｏｌ ｓｗｈｉ ｃｈｃｏｎｃｅｒｎｂｕｓｉ ｎｅｓｓ，ｆｉ ｎａｎｃｅ，ｃｏｎｔｒａｃｔｌ ａｗ，ａｎｄｉ ｎｆｏｒｍａｔｉ ｏｎｔｅｃｈｎｏｌｏｇｙ．Ｉｎｒｅｃｅｎｔｙｅａｒｓ， ａｄｖａｎｃｅｄｓｍａｒｔｃｏｎｔｒａｃｔｌ ａｎｇｕａｇｅｓ（ ＡＳＣＬｓ）ｈａｖｅｂｅｅｎｐｒｏｐｏｓｅｄｔｏｓｏｌ ｖｅｔｈｅｐｒｏｂｌ ｅｍｏｆｄｉｆｆｉ ｃｕｌ ｔｒｅａｄｉ ｎｇ，ｃｏｍｐｒｅｈｅｎｓｉ ｏｎ，ａｎｄｃｏｌ ｌ ａｂｏｒａｔｉ ｏｎｗｈｅｎｗｒｉｔｉ ｎｇａｓｍａｒｔｃｏｎｔｒａｃｔａｍｏｎｇｐｅｏｐｌ ｅｉ ｎｄｉ ｆｆｅｒｅｎｔｆｉｅｌ ｄｓ．Ｈｏｗｅｖｅｒ， ｔｈｉｓｋｉ ｎｄｏｆｌ ａｎｇｕａｇｅｓａｒｅｓｔｉｌ ｌ ｈａｒｄｔｏｐｕｔｉ ｎｔｏｐｒａｃｔｉｃｅｄｕｅｔｏｔｈｅｌ ａｃｋｏｆａｎｅｆｆｅｃｔｉ ｖｅｃｏｎｖｅｒｓｉ ｏｎｍｅｔｈｏｄｆｒｏｍｔｈｅＡＳＣＬｓｔｏｅｘｅｃｕｔａｂｌｅｓｍａｒｔｃｏｎｔｒａｃｔｐｒｏｇｒａｍｓ． Ａｉ ｍｉ ｎｇａｔｔｈｉｓｐｒｏｂｌｅｍ，ｗｅｐｒｏｐｏｓｅａｔｈｒｅｅｌａｙｅｒｓｍａｒｔｃｏｎｔｒａｃｔｆｒａｍｅｗｏｒｋ，ｉ ｎｃｌ ｕｄｉ ｎｇａｄｖａｎｃｅｄｓｍａｒｔ ｃｏｎｔｒａｃｔｌ ａｙｅｒ， ｂａｓｉｃｓｍａｒｔ ｃｏｎｔｒａｃｔｌ ａｙｅｒ，ａｎｄｅｘｅｃｕｔａｂｌ ｅｍａｃｈｉ ｎｅ ｃｏｄｅｌ ａｙｅｒ． Ａｆｔｅｒｃｏｍｐａｒｉ ｎｇａｎｄａｎａｌ ｙｚｉ ｎｇｔｈｅｐｒｏｓａｎｄｃｏｎｓｏｆｓｅｖｅｒａｌＡＳＣＬｓ，ｗｅｔａｋｅＳＰＥＳＣａｓａｎｅｘａｍｐｌｅｔｏｅｘｐｌ ｏｒｅｈｏｗｔｏｄｅｓｉｇｎｃｏｎｖｅｒｓｉ ｏｎｒｕｌｅｓｆｒｏｍｉ ｔｓｃｏｎｔｒａｃｔ收稿日期：２０２０ ０４ ２０； 在线发布日期：２０２０ ０９ ２２． 本课题得到国家科技部重点研发计划（ ２０１８ＹＦＢ１４０２７０２）、 国家自然科学基金（ ６１９７２０３２）资助． 朱 岩， 博士， 教授， 主要研究领域为信息安全与密码学、 安全计算、 区块链、 移动云计算． Ｅｍａｉｌ： Ｚｈｕｙａｎ＠ｕＳｔ ｂ．ｅｄｕ．ｃｎ． 秦博涵，硕士研究生， 主要研究方向为区块链、 智能合约． 陈 娥， 博士研究生， 主要研究方向为密码学和网络安全． 刘国伟， 硕士， 髙级工程师， 主要研究方向为大数据、 安全系统、 安全管理和标准．３ 期朱 岩等：一种高级智能合约转化方法及竞买合约设计与实现６５ ３ｔｏｔａｒｇｅｔｌ ａｎｇｕａｇｅｃｏｎｔｒａｃｔｉ ｎＳｏｌｉ ｄｉｔｙ．Ｗｅｓｐｅｃｉ ｆｙｔｈｅｃｏｎｖｅｒｓｉｏｎｒｕｌ ｅｓｆｒｏｍｔｗｏａｓｐｅｃｔｓ． Ｏｎｅｉｓｐｒｏｇｒａｍａｒｃｈｉ ｔｅｃｔ ｕｒｅｏｆｔｈｅｔａｒｇｅｔｌ ａｎｇｕａｇｅ，ｗｈｉ ｃｈｃｏｎｓｉ ｓｔｓｏｆｍａｉ ｎｃｏｎｔｒａｃｔａｎｄｐａｒｔｙｃｏｎｔｒａｃｔｓ．Ｔｈｅｃｏｒｒｅｓｐｏｎｄｉ ｎｇｒｕｌ ｅｓｐｒｏｖｉ ｄｅａｎａｐｐｒｏａｃｈｔｏｃｏｎｖｅｒｔｔｈｅｄｅｆｉｎｉｔｉ ｏｎｏｆＳＰＥＳＣｂａｓｅｄｃｏｎｔｒａｃｔｉ ｎｇｐａｒｔｉ ｅｓｉｎｔｏｐａｒｔｙｓｕｂ ｃｏｎｔｒａｃｔｓｏｎｔａｒｇｅｔｌ ａｎｇｕａｇｅ，ａｓｗｅｌ ｌａｓｔｏｐｒｏｄｕｃｅｔｈｅｒｅｓｔｏｆＳＰＥＳＣｃｏｎｔｒａｃｔｉ ｎｔｏｍａｉｎｓｕｂ ｃｏｎｔｒａｃｔｏｎｔａｒｇｅｔｌ ａｎｇｕａｇｅ． Ｔｈｅｏｔｈｅｒｉ ｓｔｈｅａｐｐｒｏａｃｈｔｏｓｐｅｃｉ ｆｙｎｏｔｏｎｌ ｙｐｒｏｇｒａｍａｒｃｈｉｔｅｃｔｕｒｅａｎｄｓｔｏｒａｇｅｓｔｒｕｃｔｕｒｅｏｎｂａｓｉｃｓｍａｒｔ ｃｏｎｔｒａｃｔｌ ａｙｅｒ，ｂｕｔａｌ ｓｏｉ ｍｐｏｒｔａｎｔｍｅｃｈａｎｉｓｍｓ，ｉ ｎｃｌ ｕｄｉ ｎｇｐｅｒｓｏｎｎｅｌ ｍａｎａｇｅｍｅｎｔ ，ｔｉ ｍｉ ｎｇｃｏｎｔｒｏｌ ，ａｎｏｍａｌ ｙｄｅｔｅｃｔｉ ｏｎ，ｅｔｃ． Ｔｈｅｓｅｍｅｃｈａｎｉｓｍｓｃａｎａｓｓｉｓｔｐｒｏｇｒａｍｍｅｒｓｔｏｓｅｍｉａｕｔｏｍａｔｉｃａｌ ｌｙｗｒｉ ｔｅｓｍａｒｔｃｏｎｔｒａｃｔｐｒｏｇｒａｍｓ．Ｍｏｒｅｏｖｅｒ，ｂｙｉ ｎｔｒｏｄｕｃｉｎｇｔｈｅｎｏｔａｔｉｏｎｏｆｇｒｏｕｐ，ｔｈｅＳＰＥＳＣｂａｓｅｄｓｍａｒｔｃｏｎｔｒａｃｔｃａｎｓｕｐｐｏｒｔｔｈｅｏｐｅｒａｔｉ ｏｎｏｆｄｙｎａｍｉｃａｌ ｌ ｙａｄｄｉ ｎｇｐａｒｔｉｃｉｐａｎｔｓｉ ｎｔｏｔｈｅｃｏｎｔｒａｃｔ．Ｗｅａｌ ｓｏｖｅｒｉ ｆｙｔｈｅｌ ｅｇｉ ｂｉｌｉｔｙｏｆＳＰＥＳＣａｎｄｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｔｈｅｃｏｎｖｅｒｓｉｏｎｐｒｏｃｅｓｓｅｓｔｈｒｏｕｇｈｔｗｏｃａｓｅｓｔｕｄｉ ｅｓ．Ｆｉ ｒｓｔ，ｗｅｉｎｖｉｔｅｓｏｍｅｓｔｕｄｅｎｔｓｆｒｏｍｄｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒｓｃｉｅｎｃｅａｎｄｄｅｐａｒｔｍｅｎｔｏｆｌ ａｗ．Ｔｈｅｙ，ｄｉ ｖｉ ｄｅｄｉｎｔｏｆｏｕｒｇｒｏｕｐｓ，ａｒｅａｓｋｅｄｔｏｒｅａｄｖｏｔｉ ｎｇａｎｄａｕｃｔｉ ｏｎｃｏｎｔｒａｃｔｓｉｎＳＰＥＳＣａｎｄＳｏｌｉ ｄｉｔｙ，ａｎｄａｎｓｗｅｒｑｕｅｓｔｉ ｏｎｓｄｅｓｉｇｎｅｄｆｏｒｔｈｅｃｏｎｔｒａｃｔｓ．Ｔｈｅｒｅｓｕｌ ｔｓｈｏｗｓｔｈａｔｔｈｅｓｐｅｅｄｏｆｒｅａｄｉｎｇＳＰＥＳＣｉ ｓａｂｏｕｔｔｗｉ ｃｅａｓｆａｓｔａｓｔｈａｔｏｆｒｅａｄｉ ｎｇＳｏｌｉ ｄｉｔｙ，ａｎｄｔｈｅａｃｃｕｒａｃｙｏｆｒｅａｄｉ ｎｇＳＰＥＳＣｉｓｈｉｇｈｅｒ． Ｔｈｅｎ，ｔａｋｉｎｇｔｈｅａｕｃｔｉ ｏｎｃｏｎｔｒａｃｔａｓａｎｉ ｎｓｔａｎｃｅ，ｗｅａｎａｌ ｙｚｅｔｈｅｐｒｏｃｅｓｓｏｆｂｉ ｄｄｉ ｎｇｃｏｎｔｒａｃｔｓａｎｄｃｏｍｐｉ ｌ ｅｔｈｅｍｉ ｎｔｏｃｏｎｔｒａｃｔｓｉ ｎＳＰＥＳＣ，ａｎｄｔｈｅｎｐｒｏｖｉ ｄｅｔｈｅｗｈｏｌｅｐｒｏｃｅｓｓｏｆｃｏｎｖｅｒｔｉ ｎｇｆｒｏｍａＳＰＥＳＣ ｂａｓｅｄｃｏｎｔｒａｃｔｔｏａｎｅｘｅｃｕｔａｂｌ ｅｃｏｎｔｒａｃｔｐｒｏｇｒａｍｉ ｎＳｏｌｉ ｄｉｔｙａｃｃｏｒｄｉ ｎｇｔｏｔｈｅａｂｏｖｅｃｏｎｖｅｒｓｉ ｏｎｒｕｌ ｅｓ，ａｎｄｖｅｒｉ ｆｙｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｔｈｅｃｏｎｖｅｒｓｉ ｏｎｐｒｏｃｅｓｓ，ｉ ｎｃｌ ｕｄｉ ｎｇｃｏｄｉ ｎｇ，ｄｅｐｌ ｏｙｉ ｎｇ，ｒｕｎｎｉ ｎｇ，ａｎｄｔｅｓｔｉ ｎｇ，ｔｈｒｏｕｇｈＥｔｈｅｒｅｕｍｐｒｉ ｖａｔｅｃｈａｉ ｎ．Ｔｈｅｉ ｎｓｔａｎｃｅｒｅｓｕｌ ｔｓｓｈｏｗｔｈａｔｔｈｅｃｏｎｖｅｒｓｉ ｏｎｒｕｌ ｅｓａｎｄｔｈｅｔｈｒｅｅ ｌａｙｅｒｆｒａｍｅｗｏｒｋｃａｎｓｉ ｍｐｌｉｆｙｔｈｅｗｒｉｔｉｎｇｏｆｓｍａｒｔｃｏｎｔｒａｃｔｓ，ｓｔａｎｄａｒｄｉ ｚｅｔｈｅｐｒｏｇｒａｍｓｔｒｕｃｔｕｒｅ，ａｎｄｈｅｌｐｐｒｏｇｒａｍｍｅｒｓｔｏｖｅｒｉ ｆｙｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｔｈｅｃｏｎｔｒａｃｔｐｒｏｇｒａｍ． Ｉｎｏｕｒｆｕｔｕｒｅｗｏｒｋ，ａｆｏｒｍａｌｒｅｐｒｅｓｅｎｔａｔｉ ｏｎｓｈａｌ ｌｂｅｅｓｔａｂｌ ｉｓｈｅｄｏｎｔｈｅｅｘｉｓｔｉ ｎｇＳＰＥＳＣｌａｎｇｕａｇｅｍｏｄｅｌ ．Ｔｈｒｏｕｇｈｆｏｒｍａｌｍｅｔｈｏｄｓ，ｗｅｃａｎｆｕｒｔｈｅｒｐｒｏｖｉ ｄｅｆｏｒｍａｌａｎａｌ ｙｓｉｓｔｏｏｌ ｓｔｏｖｅｒｉ ｆｙｐｒｅ ａｎｄｐｏｓｔｃｏｎｄｉｔｉ ｏｎｓｏｆｃｏｎｔｒａｃｔｔｅｒｍｓ，ａｓｗｅｌ ｌａｓｔｉ ｍｅｓｅｑｕｅｎｃｅｂｅｔｗｅｅｎｔｅｒｍｓ．Ｓｅｃｏｎｄｌ ｙ，ｉ ｎｖｉ ｅｗｏｆｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｔｈｅｇｅｎｅｒａｔｅｄＳｏｌ ｉ ｄｉ ｔｙｔａｒｇｅｔｃｏｄｅ，ｗｅｃａｎｃｏｎｔｉ ｎｕｅｔｏｉ ｍｐｒｏｖｅｔｈｅｇｅｎｅｒａｔｅｄｔａｒｇｅｔｃｏｄｅｂａｓｅｄｏｎｅｘｉｓｔｉ ｎｇｒｅｓｅａｒｃｈｅｓｏｎａｎａｌ ｙｓｉｓｏｒｄｅｔｅｃｔｉ ｏｎｖｕｌ ｎｅｒａｂｉｌｉ ｔｉｅｓ，ｏｐｔｉ ｍｉ ｚｅｔｈｅｐｒｏｇｒａｍｓｔｒｕｃｔｕｒｅａｎｄｓｐｅｃｉ ｆｉｃａｔｉ ｏｎｓ，ａｎｄｅｎｈａｎｃｅｔｈｅｓｅｃｕｒｉｔｙｏｆｔｈｅｃｏｎｔｒａｃｔ．Ｋｅｙｗｏｒｄｓｓｍａｒｔｃｏｎｔｒａｃｔ；ｄｏｍａｉ ｎｓｐｅｃｉ ｆｉｃｌａｎｇｕａｇｅ；ｃｏｄｅｇｅｎｅｒａｔｉ ｏｎ；ＳＰＥＳＣｉ 引 言智能合约［ １］作为第二代区块链的技术核心， 它是区块链从虚拟货币、 金融交易到通用平台发展的必然结果． 广义上讲， 智能合约就是一套数字形式的可自动执行的计算机协议［２］． 由于它极大地丰富了区块链的功能表达， 使得应用开发更加便利， 因此近年来它已引起学术界与工业界的广泛关注．狭义上讲， 智能合约就是部署并运行在区块链上的计算机程序． 智能合约的代码、 执行的中间状态、 及执行结果都会存储在区块链中， 区块链除了保证这些数据不被篡改外， 还会通过每个节点以相同的输人执行智能合约来验证运行结果正确性． 区块链的这种共识验证机制， 保证了智能合约的不可篡改性和可追溯等特性， 从而使得它具备了被法律认可的可能．智能合约相较于比特币的脚本指令系统， 可以处理更加复杂的业务逻辑， 并可以更加灵活地在区块链中存储包括合约状态在内的各种数据．目前各大区块链平台和厂商都添加了智能合约模块， 较为流行的智能合约平台包括以太坊（ Ｅｔｈｅｒｅｕｍ） 、 超级账本（ Ｈｙｐｅｒｌ ｅｄｇｅｒＦａｂｒｉｃ） 等．在智能合约语言方面， 以太坊的智能合约目前支持Ｓｅｒｐｅｎｔ 和Ｓｏｌｉ ｄｉｔｙ两种编程语言， Ｓｅｒｐｅｎｔ 类似于Ｐｙｔｈｏｎ语言， 而Ｓｏｌ ｉ ｄｉｔｙ类似于ＪａｖａＳｃｒｉｐｔ 语言； 超级账本支持如Ｇ〇、Ｊａｖａ 等传统编程语言进行编写； 此外， 其它平台也都在已有编程语言（ 如Ｃ、６ ５４ 计 算机 学 报 ２０２１年Ｃ＋＋Ｊａｖａ） 基础上给出了智能合约开发工具． 总之， 从语言形式和运行环境上讲， 目前的智能合约可以分为以下三种：（１） 脚本型智能合约． 通过区块链中定义好的脚本指令和堆栈式类Ｆｏｒｔｈ语言完成基本的计算与条件控制， 如比特币脚本系统．（２） 传统编程语言智能合约． 其语言直接采用传统程序语言， 部署在虚拟机（ ＶＭ） 或容器（ Ｄｏｃｋｅｒ）里， 通过规定好的接口与区块链进行交互． 如超级账本平台中的链码采用Ｊａｖａ、Ｇｏ等语言， Ｎｅｏ 平台支持将Ｃ＃Ｊａｖａ和Ｐｙｔｈｏｎ等多种语言编译为ＮｅｏＶＭ支持的指令集．（３） 专用智能合约语言． 模仿传统程序语言并添加了与区块链交互的特殊元素， 如以太坊的Ｓｏｌ ｉ ｄｉｔｙ语言， 同时该语言含有ｇａｓ计费等特殊功能．研究动机． 通过上述分类可知， 智能合约平台和语言已日益成熟且功能趋于完善． 然而， 由于智能合约通常涉及到计算机、 法律、 金融等多领域的协作， 而目前的智能合约编程语言存在对于非计算机领域人员不够友好， 对没学习过编程的人员来说难以理解等问题． 具体而言， 目前的智能合约语言存在以下几个缺点：（１） 程序语言与法律合约形式相去甚远．（２） 智能合约程序专业性强， 用户和法律人员难以理解．（３） 从法律合约到可执行智能合约代码生成没有建立直接联系．这些缺点导致合约的编写非常困难， 不同领域人员之间交流存在障碍， 大大制约了智能合约的开发效率和公众的认可程度．近年来高级智能合约语言（ＡＳＣＬ） 已被一些学者提出来解决上述问题． 这种语言是介于现实合同与智能合约之间的一种语言， 通过易读且规范化的语法， 帮助不同领域人员进行沟通， 并可（半） 自动化地实现向平台智能合约语言的转化， 辅助编程人员进行编写．相关工作． 基于区块链的智能合约概念被提出以来， 不少学者在程序设计与平台构造等方面都做了大量研究工作． 这些工作中的多数研究是通过形式化语言验证合约的正确性， 如文献［３ ７］等； 也有不少研究是从法律角度讨论智能合约， 如文献［８ １１］等． 但以易于读写的语法建立高级智能合约语言模型， 并实现向可执行智能合约语言转化的工作比较少． 下面将介绍与ＡＳＣＬ相关的几种研究：文献［１２］提出了一种被称为Ｓｉ ｍｐｌｉｃｉｔｙ 的功能性语言， 该语言通过对抽象机器上操作语义的评估，计算空间和时间资源消耗的上限， 在执行之前计算出比特币脚本和以太坊虚拟机中的资源消耗费用，有利于解决智能合约的预付费问题．文献［１３］提出了一种类自然智能合约语言（ ＳｍａＣｏＮａｔ） ， 以可读性与安全性为目标， 通过限制用户定义变量名、 限制嵌套的使用、 代码分节、 拓展基础类型、 自然语法、统一身份表示的几种措施增强合约的可读性与安全性．文献［１４］提供了一个新的自动生成智能合约的框架， 其框架利用语义规则对特定领域的知识进行编码， 然后利用抽象语法树的结构来合并所需的约束， 最终可以通过经过约束的语法编码为区块链的智能合约．文献［１５］提出了一种新智能合约语言（Ｆｍｄｅｌ ） ，着重从金融的角度描述了合约的资金转移动作及乘法、逻辑、 时序表达式． 但Ｆｉ ｎｄｅｌ只包含两种基本动作：Ｚｅｒｏ与Ｏｎｅ； 两种乘法运算：Ｓｃａｌ ｅ 与Ｓｃａｌ ｅＯｂｓ；Ｇｉ ｖｅ 变更执行方； 三种逻辑表达式：ａｎｄ、 ｏｒ 和ｉｆ； 以及Ｔｉｍｅｂｏｕｎｄ 时间表达式． 因此， 该语言功能较单一．文献［１６］提出了一种类自然语言智能合约语言（ ＳＰＥＳＣ） ， 它是一种以解决智能合约语言对于非计算机人员难以理解的问题为目标提出的高级智能合约语言． ＳＰＥＳＣ合同结构包括合约名称、 合约当事人、合约条款和附加属性四部分， 前三者分别与现实合同中的合同名称、 合同主体和合同主要内容对应，合约属性则是为了利用区块链不可篡改性记录合约中的重要信息及变更过程．与其它智能合约语言相比较（ 见第２ 节） ， ＳＰＥＳＣ的语法易读、 结构清晰， 且包含完整的语言模型定义， 是智能合约未来的发展趋势之一， 更接近本文对高级智能合约语言的要求， 但目前ＳＰＥＳＣ还没有转化为可执行智能合约语言的生成器， 因此， 本文将继续针对这一问题进行研究．本文主要工作． 本文针对高级智能合约语言与可执行智能合约语言之间缺少转化方法的问题， 通过常用合约的实例化研究， 设计一种针对ＳＰＥＳＣ语言的可执行代码生成器， 给出了ＳＰＥＳＣ与目标程序语言（ 以Ｓｏｌ ｉ ｄｉ ｔｙ 为例） 之间的转化关系， 可简化智能合约的编写、 规范智能合约的程序结构、辅助编程人员验证代码的正确性． 具体工作如下：（ １） 提出一种包括高级智能合约层、 智能合约层和机器代码执行层的三层智能合约系统框架， 该舉 着等：一种胃攀赞飯合錢翁化＃．， ｓ竞买ｔ纣駕计与黧现 ６５ ５ ３ 期据幾長處編＃了已有撺ＳｉｉｍＣｅＮａｔ 、 ＳＷＲＬ、 Ｆｉｎｄｄ、ＳＰＥＳＣ等高级智能合．约谱言特点基础上而提出的，弁給出了离级智能合约语貪编写智能合约的箱本雛獲》德给出了一种ＳＰＥＳＣ到１标輕春语言（Ｓｏｌｉｄｉ ｔｙｉ的转化规则． 首先， 给．出了根据ＳＰＥＳＣ合约当事人定义生成目标语言当事人乎合约、以及ＳＰＥＳＣ其余部分生成＿标语言主体子合约的对歲关系Ｉ 其次，除程序框架与存储结构外， 目标语言程序还包含当事人人炅贊理、程序时序控制、 异常检测等机制， 这些机制能辅助编程人貝半自动化地编写智能合约程序，本文以竞实合约为桌例＊ 给出了根据上述转化规则从ＳＰＥＳＣ合约转化到可执行Ｓｏｌ ｉ ｄｉｔｙ合约语貧程序、以及该程序的部箸、运行、测试的全过裎．首先， 通过引人当事人群体， 实现了支持当事人动态加人的ＳＰＥＳＣ竞：买智能費约； 然后Ｖ在 成可执行Ｓｏｌｉｄｉｔｙ竞买合约谣言碁惠＿， 通过以太坊私链部蓍并运行测试， 验怔了转化过程的正确性，组织结构？ 本文粲２节将ＳＰＥＳＣ考几种相关工作对比分析； 第３节介绍包含高缀智能｜钧语Ｉｆ的智能食约系统框樂第４ 节介绍ＳＰＥＳＣ 的语法＊第５节分析竞实的流程？第６ 节．展示如何通过ＳＰＥＳＣ编写竞买合约； 第７ 节说明以Ｓｏｌｉ ｄｉｔｙ 为目标语言的ＳＰＥＳＣ．编译规则满ｇ节将计算机与－法律學生分组阅读ＳＰＥＳＣ与Ｓｏｌ ｉ ｄｉ ｔｙ编写的合約，， 完成问答验证易用性， 并将生成的Ｓｏｌ ｉｄｋｙ智能含约部箸并测试；最后迸行总结： 与眞望？２ 相关工作Ｔ商我们对本文相关的几个工作１＆１ ５］进行梳理， 并将它们与ＳＰＥＳＣ［ １ ６ ］相比较＞从而介绍ＳＰＥＳＧ的机制与优势．（；□ｇｍａＧｏＮａｔ［ １ ３ ］与ＳＰＥＳ０＿？被择．出 两： 奢结抅栢似． 姻图１ 所：示， ＳｍｓＧｓＮａｔ 合： 约？含合頻＇头（Ｈｅａｄｉ ｎｇ） 、 账户（ＡｃｗｕｎｔＳｅｐｔｉｏｏ．）、 资产＇｛Ａｓｓｅｔ＇ －ＳｅｃｔｉＱ．ｎ）、 协议（ＡｇｒｅｅｍｅａｊＳＭｒｔｉ ｏｎ）、？件｛Ｅｖｅｎｔ－Ｓ＜＾ｔ１〇ｎ．） ， 其中， 合约头、 账户、 事件分辄类似于ＳＰＥＳＣ．中的合约名称 事人、条款，而资产辱协议分别用来声明合约中渉及的资产以及对资产初始化． 诙含釣中展示ＴＳ＿ＪＧＥ＞Ｎｒｔ： 语言编写的出督停车蔡来控制停车场的合约．１ＣｏｎｔｒａｃｔｉｎＳｍａＣｏＮａｔｖｅｒｓｉ ｏｎ０．１．２３§ＩｎｖｏｌｖｅｄＡｃｃｏｕｎｔｓ：４Ａｃｃｏｕｎｔ＇Ｂａｒｒｉｅｒｉｎ＇ｂｙ＇ＡＣｏｍｐ＇ｂｙＧｅｎｅｓｉ ｓａｌｉ ａｓ＇Ｂａｒｒｉ ｅｒｉｎ＇．ｓＡｃｃｏｕｎｔ＇ＢａｒｒｉｅｒＯｕｔ＇ｂｙ＇ＡＣｏｍｐ＇ｂｙＧｅｎｅｓｉｓａｌｉａｓ＇ＢａｒｒｉｅｒＯｕｔ＊．６７§ＩｎｖｏｌｖｅｄＡｓｓｅｔｓ：？ＡｓｓｅｔＴｈｅＣｏｉ ｎ＇ｂｙＧｅｎｅｓｉ ｓａｌｉａｓ＇ＴｈｅＣｏｉ ｎ＇．９ＡｓｓｅｔＰａｒｋＴｉｃｋｅｔ＊ｂｙＳｅｌｆａｌｉａｓ＇Ｔｉｃｋｅｔ＇．ｉ 〇Ａｓｓｅｔ’ＯｐｅｎＢａｒｒｉ ｅｒ＇ｂｙＳｅｌｆａｌｉａｓ’Ｏｐｅｎ’，ｕｉ２ §Ａｇｒｅｅｍｅｎｔ：ｉ ｓＳｅｌｆｉｓｓｕｅｓ＇Ｔｉ ｃｋｅｔ＇ｗｉｔｈｖａｌｕｅ４２．ｕＳｅｌｆｉｓｓｕｅｓ＇Ｏｐｅｎ＊ｗｉｔｈｖａｌｕｅ１ ．１５１ ６§ＩｎｐｕｔＥｖｅｎｔ：？ ７ ｉｆＩ ｎｐｕｔｉｓｅｑｕａｌｔｏ＇ＴｈｅＣｏｉｎ＇ｆｒｏｍＡｎｙｏｎｅｉｓａｎｄｉｆｖａｌｕｅｏｆＩ ｎｐｕｔｉｓｅｑｕａｌｔｏ０．３ｉ ９ｔｈｅｎ２〇Ｓｅｌｆｔｒａｎｓｆｅｒｓ＇Ｔｉ ｃｋｅｔ＇ｗｉ ｔｈｖａｌｕｅ１ｔｏｏｗｎｅｒｏｆＩｎｐｕｔ．２１ Ｓｅｌｆｔｒａｎｓｆｅｒｓ＇Ｏｐｅｎ＇ｗｉｔｈｖａｌｕｅ１ｔｏ＇Ｂａｒｒｉ ｅｒｉ ｎ＇．２２Ｓｅｌｆｉｓｓｕｅｓ＇Ｏｐｅｎ＇ｗｉｔｈｖａｌｕｅ１． ２３ｅｎｄｉｆ２４２５ ｉｆＩ ｎｐｕｔｉｓｅｑｕａｌｔｏ＇Ｔｉ ｃｋｅｔ＇ｆｒｏｍＡｎｙｏｎｅｔｈｅｎ２６Ｓｅｌｆｔｒａｎｓｆｅｒｓ＇Ｏｐｅｎ＇ｗｉｔｈｖａｌｕｅ１ｔｏ＇ＢａｒｒｉｅｒＯｕｔ＇．２７Ｓｅｌｆｉ ｓｓｕｅｓ＇Ｏｐｅｎ＇ｗｉｔｈｖａｌｕｅ１．２８ｅｎｄｉｆ图１ＳｍａＣｏＮａｔ 合约翁于欒产做： 出： Ｔ： 更加具体的描述考限定，， 但暴Ｓｉ取ＣｅＭｓｔ与乘文中对ＡＳＣ．Ｌ■＇要：拿相比害＿一些差系： ①ＳｍａＣｏＮａｔ 中株有＿： 达如钶隹合约中存储＿息， Ｐ、支持对于资产转移的描述＜因此应用范爾较小； ？ＳｍａＣｂＮａｔ 中没有对于时序的控制， 每个ＩｎｐｕｔＥｖｅｎｔ 之间相互独立， 仅通过资产进行联系， 条款之间的关系更难梳理：与理懈，（２）文献［１Ｃ釆用改进后的网络本体輋賃ＣＯＷＬ）—语义网规则语貪＜ＳＷＲＬ）描述智能合约． 如＿２ 所示， 子图（ａ）是通过ＳＷＲＬ表示的智能合钓， 子图（ｂ）是曲ＳＷＲＬ， 转化的ＪＳ０Ｎ格式键值对， 子图Ｃｃ） 是：最终生成的Ｇｏ语言智能合钓． ｆｉ２展示了对病人信息进行校ＩＩ的食约， 该合鈞要求疴人性别为女＇性５ 年爾大于＆參尽管该文献提供了从ＳＷＲＬ自动转化为智能合约的生成器， 但是该锫言（ 如廚２Ｃｔｆ） 所示）采用本（ａ）ＳＷＲＬ智能合约（ｂ）ＪＳＯＮ格式键值对（ｃ）Ｇｏ培言智能合约图２蓮斌语ＸＲ痛典１ （ 满＆０’生威會詩６ ５６ 计導机攀报： ＿１苹体论语言的语怯． 表示，不易读写， 且主要虚用于对数据的限制考检验， 缺芝对于数据、 合约状态变化以及金＿方面韵描述．（３｝ Ｆｉ ｍｋｌ［１ ５３是一种声明式面向金融的智能合约语ｆ， 通过两种资金转移动作与乘法、逻辑、 时序三类表达式的组合编写合约． 其合鈞最終体现为一个表迖式． 如下所示：￡ｚｃｂ ￣！ Ａｎｄ（ＧｉｘｉＭＳｃｏｌｅｉ１， ０．（ ｆｍ－ｉ１：ＳＩ＞＞＞ｉ，Ａｆ（？ｐｗ＋１ｖｅａｒｓ．Ｂｗｕｌｅｉｌ１？ （ＪｎｃｉｌＳｌ＇ｉｉ） ）｝．读翁达式翁示ｖＨ｜攒人向倩掌人： 償礬１０ ＵＳＤ，一＿后借款人还款ｌｌＵＳ＇Ｄ． 由此可见， Ｆｉｎｄｅｌ 可以表示具有时序苯系的筒单金融合约＊但无珐３＾持变量的定义， 且一个合约只能渉及两个当事人， 与高级智能含约语１ＴＡＳＣＬ要求不符＞（４５ＳＰＥＳＣ［１ ６］语言类似擎自， 然靜肓， 通过采用瑪实世界合屛中的语法元素，构建了ＳＰＥＳＣ谙法模型， 支持含缚当霧人权利 与义务（ｓｈａｌ ｌ ）、 以及資产转移规则的定义？例如， ＳＰＥＳＣ描述的买卖合数如圈５所示．ｃｏｎｔｒａｃｔＳｉｍｐｌｅＰｕｒｃｈａｓｅ２｛ｐａｒｔｙＳｅｌｌｅｒ｛ｐｏｓｔ〇ｃｏｌｌｅｃｔ〇｝ｐａｒｔｙＢｕｙｅｒ｛一｝ｉｎｆｏ： ＰｒｏｄｕｃｔＩｎｆｏｔｅｒｍｎｏｌ： Ｂｕｙｅｒｃａｎｐａｙｔｅｒｍｎｏ２： Ｓｅｌｌｅｒｓｈａｌｌｐｏｓｔｗｈｅｎｗｉｔｈｉｎ５ｄａｙａｆｔｅｒＢｕｙｅｒｄｉｄｐａｙ．ｔｅｒｍｎｏ３：ＢｕｙｅｒｃａｎｃｏｎｆｉｒｍＲｅｃｅｉｖｅ一＂ｔｅｒｍｎｏ４： Ｓｅｌｌｅｒｃａｎｃｏｌｌｅｃｔ一＂ｔｙｐｅＰｒｏｄｕｃｔＩｎｆｏ｛ｐｒｉｃｅ： Ｍｏｎｅｙｍｏｄｅｌ： Ｓｔｒｉｎｇ图３ＳＰＥＳ） Ｃ、合：餘示例该合约展示了销售者和购买： 者之间商品买卖的基本流程， 包含四条条款： 购粟者可以付款—荽者付款后． 销售者戀在５天内发货？ 购实者Ｗ确认收货； 错售者有权收取货款．ＳＰＥＳＣ兼腻了现：实合约与现有智＇能合约的诗点： 通过条款方式明确了合约当事人的权利与义务、同时面向甫法与金融领域定义了灣事人行为、 资产转移拇作、 履行期限以及变量化的合约信息．因此，ＳＰＥＳＣ支持编写买卖、竞买借贷．金融娄合鈞， ，， 同时也可寒现投裏ｓ存怔等司法类合约． 与其它方案相比， ＳＰＥＳＣ更接近于ＡＳＣＬ要求．３ 系统框架３． １ 系统目标禱于区块链的智能合约系统通常是指支捧可自动执行的含约代码生成并运行的软件系统． 现有的智能合约系统可分为两层： 智能合跨层与机器代码执行层？ 为了增强合约的规范性和易读性， 本文的智能合约系统在这两层结构之上添加一层高级智能合约层， 高级智能合约语言在智能含鈎语言之上提供了更优化的封裝， 形成了类似于高敏程序Ｍ＃与低级程序 言之间的美系， 如Ｃ＋＋谙言与汇编语言．对本文的智能合约系统提出以下＇棄求：（１） 高级智能合约谱言更便于阅读与理解＊（ ２）规范化智能合约的编写．Ｃ３：） 能支持高效的智能合约生成．⑷生成更系统的目标语言智能合约程序框架？３． ２ 智能合约编写框架基于本文所提出的三层智能合约系统， 合釣当事人通过高级智能合约语言编写智能合釣的流程及框架如菌４ 趼示？ 在此框架中， 嘗先， 用户可以根据现实合同或真：实？樹进行高级智能合约语言的编辱５ 然后， 通过高级智能合约语言的编译器， 将合约转化为传统程序语言编写的智能合约； 最后＾生成机器代码并将其部署运行祖区块链中？现实合同 髙级智能合约语言 智能合约语言？ 法律效力 转％？结构规范 ？图灵完备？自無语言？时序逻辑 ？事件触发？人工裁决？类自然语言？链上交互＾ＪＬ虚拟机执行１鑪１ 内存，数据， 机器１１机器结果１数据 代码 １１代码＞成发布执行结果ｒ 读取数据区雌下载代码Ｖ部署区块Ｎ－１区块Ｎ Ｊ区块 ＊ ＮＨ１＞慮４ 智能鲁韵 架（ １） 现实合词在符合法律故精浞下签订成立后就具有法律效力． 规实合词的书写与？式相对自坩，没有严格规． 定的格式， 郎使合同中脊存歧义或缺曹， 也可以由司法机构根据法律与合约当＃人的真实意图进行栽决． 它与目前的智能合约相比， 具有以下特朱 岩等：一种高级智能合约转化方法及竞买合约设计与实现 ６５ ７３ 期①具有法律效力；②采用自然语言， 书写自由；③一旦出现争议可由人工裁决．（２） 高级智能合约语言将计算机程序、 法律、金融等多个方面的特点融合在一起， 以一种既比程序语言更容易被理解、 又比自然语言更规范的方式表达合约内容． 本文所采用的ＳＰＥＳＣ具有以下特点：①参考现实合同的结构；②通过时序逻辑表达时序关系；③采用类自然语言的语法．（３） 现有智能合约语言与传统的程序语言类似， 并在此基础上设计或预定义了区块链相关特殊元素或操作． 由于智能合约主要涉及多个用户之间的交互， 因此多采用事件触发的方式， 由用户调用并触发智能合约运行． 目前主流的智能合约语言如Ｓｏｌ ｉ ｄｉ ｔｙ、Ｊａｖａ、ＧＯ等具有以下特点：①语言是图灵完备的， 表达能力强；②事件触发的方式执行；③预定义了与区块链交互的操作．（４） 智能合约通过编译生成机器代码后， 可在虚拟机或容器中运行， 它的部署执行步骤主要分下面三步：①部署智能合约． 将机器代码发布到区块链中， 使得其它参与共识的节点可以获取智能合约以便验证；②执行智能合约． 在执行或验证智能合约前，将智能合约代码下载到本地， 同时将存储在区块链中的合约状态恢复到内存中， 并在本地虚拟机中运行；③发布执行结果． 根据输人参数运行智能合约后， 将执行结果与其它参与验证节点共识， 记录到区块链中．４ＳＰＥＳＣ介绍下面介绍本文采用的高级智能合约语言ＳＰＥＳＣ的基础， ＳＰＥＳＣ智能合约由四部分组成： 合约名称、合约当事人描述、 合约条款、 附加信息．定义１． 合约． ＳＰＥＳＣ合约具体定义如下：Ｃｏｎｔｒａｃｔ：：＝Ｔｉｔｌ ｅ｛Ｐａｒｔｉｅｓ＋Ｔｅｒｍｓ＋ Ａｄｄｉｔｉ ｏｎａｌ ＋｝．合约的当事人可能是个人、组织或是群体， 合约中应记录其关键属性和行为．定义２．当事人． 合约当事人具体定义如下：Ｐａｒｔｉｅｓ：：＝ｐａｒｔｙｇｒｏｕｐ？ＰａｒｔｙＮａｍｅ｛Ｆｉｅｌ ｄ＋Ａｃｔｉｏｎ＋｝．在上述定义中，ｇｒｏｕｐ关键词表示合约的当事人是群体， Ｒｅｉ ｄ表示当事人在合约中的需要记录的关键属性， Ａｃｔｉ ｏｎ声明了当事人在合约中的权利与义务．个体当事人是指合约中拥有一定权利或义务的个体， 如买家、卖家等． 群体当事人是指在合约中拥有相同权利与义务的多个个体， 如投票人、 竞拍人等， 群体当事人既可以在合约执行前事先指定， 也可以在合约运行中动态加人或退出．当事人定义是为了便于处理与记录当事人的信息． 每个个体在区块链中都有对应的账户地址， 因此，当事人属性中默认包含地址属性， 用户可以通过设定具体地址来规定当事人的具体身份， 也可以不在编写ＳＰＥＳＣ时规定， 而在智能合约运行时根据条款与执行情况进行变更．合约中的条款分为权利条款和义务条款两种，权利表示在一定条件下可以执行的动作， 义务表示在一定条件下必须完成的动作， 而未满足条件的动作或未被写人合约的动作表示禁止执行的动作．定义３． 条款． 合约条款具体定义如下：Ｔｅｒｍｓ：ｔｅｒｍｔｎａｍｅ：ＰＮａｍｅ（ｓｈａｌ ｌ｜ ｃａｎ）ＡＮａｍｅ（ｗｈｅｎＰｒｅｃｏｎｄｉｔｉ ｏｎ） ？（ｗｈｉｌｅＴｒａｎｓｆｅｒＯｐｅｒａｔｉ ｏｎ＋） ？（ｗｈｅｒｅＰｏｓｔＣｏｎｄｉｔｉ ｏｎ） ？．在上述定义中， ＰＮａｍｅ 表示当事人， ＡＮａｍｅ 表示执行的动作， Ｐｒｅｃｏｎｄｉｔｉ ｏｎ表示可执行该条款的前置条件， ＴｒａｎｓｆｅｒＯｐｅｒａｔｉ ｏｎ表示执行该条款的过程中伴随的资产转移， ＰｏｓｔＣｏｎｄｉ ｔｉ ｏｎ表示该条款执行结束后该满足的后置条件． 前置与后置条件区分的依据是： 合约的业务逻辑可通过前置条件与时间表达式予以表达， 对于程序预期外的情况， 可通过后置条件予以限制．资产转移的操作被分为存人、 取出、 转移三种．定义４． 资产转移． 资产转移操作定义如下：ＴｒａｎｓｆｅｒＯｐｅｒａｔｉ ｏｎ： ；＝｛ Ｄｅｐｏｓｉ ｔ｝ｄｅｐｏｓｉｔ（ｖａｌ ｕｅＲＯＰ）？ＡｓｓｅｔＥｘｐ｜ ｛ Ｗｉ ｔｈｄｒａｗ｝ｗｉｔｈｄｒａｗＡｓｓｅｔＥｘｐ｜ ｛ Ｔｒａｎｓｆｅｒ｝ｔｒａｎｓｆｅｒＡｓｓｅｔＥｘｐｔｏＴａｒｇｅｔ在上述定义中， ＲＯＰ表示关系操作， 包含＞、＜、＝、＞＝和＜＝， ＡｓｓｅｔＥｘｐ 表亦资产表达式， 用于描述转移的资产， Ｔａｒｇｅｔ 表示资产转移的目标账户．为了保证智能合约检查与记录的功能， 所有资产转移需通过合约账户实现． 如Ａ向Ｂ转账的操作， 需先由Ａ向合约账户转账， 再由合约账户向Ｂ６ ５８ 计導机攀报： ＿１苹转账ｆ通过上述方法Ｓ 合约便于根据条款对转账条件与金额检查， 同时在食约中记录转账信息， 因此，合约中渉及的资产转移本质应分为Ｗ种，即账户向合约转移和含约＿向账户转移， 如图３（ａ）所示．图５ 黉产＿＿德＃由于从用户账户向合约转移资产的操作只能由该用户自ａ主动执行， 而不能强制执行，因此为了区分执行者考其它账户 资产转移操作分为三种， 如图５（ Ｗ所示ｓ（１） 存人（ｄ印ｏＭｔ）？ 用户由域将憲： 产存人合约．（ ２） 取出（ ｗｉｔｈｄｒａｗ） ． 根据合约条款从合约取出资产‘Ｃ泊转移（ｔｒａｎｓｆｅｒ）？ 根据合约条款从合约向其它账户转移资产．在三种资产转移操作中， 存人操怍与后两种操作不同， 在后两＃中， 操作的资产都是事隹在合约条款中约定， 由常量填是魔鴦可以准确描述的． 而在存人操作中， 由于蕞由用户主动执行；》荐人资产不一定由合约直接规定含约Ａ能对资产进行限定， 如在第！５ 节描述的合约中， 合對无法直接规定竞实人在竞拍时的出价、而可以Ｐ良制为出价一定要大于当前＿高价■此外？ 资产转移操作述． 与墨体的智能含约乎台及语言有关？ 例如． 在以太坊平含中， 账户既可以基合约账户也可以是用户账户？由于Ｓｏｌｉｄｉｔｙ 编写的合钓中可以定义布收到以太币时自动执行的接收方法， 向未知用户转移资． 产可能存在安全风险． Ｍ此，在以以太坊作为智能合萄平台时， 虛尽量通过用户主动取款的方式代眷转账方式．程． 竞买（Ａｕｃｔｉｏｎ） 是专门从事？拍卖：亚务的机构■接受货主的委托， 在规． 定的时间与场所， 按照一定的章鐘和规则， 将要抬卖的货物向买主展示， 公开叫价竞购， 巔后由拍卖人把货物卖给符合规则的买主的一种现货交易方式． 本文主褰讨论以最高价成交的竞买合约．意买合＿约渉及两个当事人：（ １．） 捎卖人． 即从事拍卖括动的企业法人．（ ２） 彘买人．即参加竞购拍卖标的的公民、法人或其它组织，最高价竞买流程如图８ 所示； 其流程如下：（１） 首先， 由拍卖人或主持人开始竞拍， 并设置竞拍底价和竞栢结束时间．（ ２）竞拍斯间竞．买人ｆｉ时可以进行出价＊ 筒时Ｊｂ交狎金ｔ： 如果出价大于目前爾裔价，ｌｉｌ讀为新＇嫿高价， 押金放人资金池， 并将之前儀湾齿价着所变押金退回ｙ否则， 出价不大 目前讀高价， 出价失败， 道国押金＾（ ３＞ 在竞拍时间结東后， 拍卖人可以收取合釣中掌高通价齒押禽－嫌６ 费福程５ 竞买合约６ＳＰＥＳＣ编写竞买合约本文將通过基ＳＰＥＳＣ的拍論会錄实钶？珙Ｂ４義上：迷的濂程中？用ＳＰＥＳＣ编写合约（见附件Ａ）ＳＰＥＳＧ生成器， 并验证生成合釣的正确性以及三＆分为三个部分：合约框架的可用＇性ｉ举节将介绍竟买脅约规卿及流（１） 食约当事人？ 如前所述， 竞买合釣包含竞买朱 岩等：一种高级智能合约转化方法及竞买合约设计与实现 ６５ ９ ３ 期人与拍卖人两方． 首先， 竞买人的定义如下：ｐａｒｔｙｇｒｏｕｐｂｉｄｄｅｒｓ｛ａｍｏｕｎｔ：ＭｏｎｅｙＢｉｄＯＷｉｔｈｄｒａｗＢｉｄ（ ） 還Ｍ人属于群体当事人， 是．超户在执行＾竞拍操作Ｂｕｉ 时表明参与竞、 买弁注册成为竞买人． 竞买人包含货币裘型的属性ａｍｏｕｎｔ， 甩擎ｆｅ录竞买人的押金池， 用 轉牧无敏的进价？ 同时ＷｌｔｈｄｒａｗＢｉ ｄ 声明了竞买人可以回收查价失败所交的押金．其次， 拍卖人的定义如下：ｐａｒｔｙａｕｃｔｉｏｎｅｅｒ｛ＳｔａｒｔＢｉｄｄｉｎｇ（ｒｅｓｅｒｖｅＰｒｉｃｅ：Ｍｏｎｅｙ，ａｕｃｔｉｏｎＤｕｒａｔｉｏｎ：Ｄａｔｅ）Ｃｏｌｌ ｅｃｔＰａｙｍｅｎｔ（ ）Ｊ拍卖人即拍品所有者属于个体当事人， 声明了拍卖人可以执行的两个动作： 开始竞拍ＳｔａｒｔＢｉｄｄｉｎｇ 和结束竞拍Ｃｏｌ ｌｅｃｔＰａｙｍｅｎｔ． 在执行开始竞拍时， 需要输入两个参数： 底价ｒｅｓｅｒｖｅＰｒｉｃｅ 和竞拍时间ａｕｃｔｉｏｎＤｕｒａｔｉｏｎ．（ ２）合釣中记录的附加信息． 本含约中主寒舊粟记＿三个变量：ｈｉｇｈｅｓｔＰｒｉｃｅ：ＭｏｎｅｙｈｉｇｈｅｓｔＢｉｄｄｅｒ：ｂｉｄｄｅｒｓＢｉ ｄｄｉｎｇＳｔｏｐＴｉｍｅ：Ｄａｔｅ第一个变量为货币鸯遵， 记緣了当前最高价， 第二个变量为竞买人类翌， 记焉了当前最高出价者第三个变量为曰期类型． 记歲了竞拍结束时间＿在此处定义的債滇会被记． 豪到区块链中＞ 从而保证Ｋ块链不仅记录了信息当前的状态， 还会ｉｓ录含约执行过ｐ中每一步执行后的历史状态？由于＆块链数据具有不可篡政性和时序性， 保证了智能合约状态的不可篡改性和可追溯性， 智能合釣与Ｋ块链绪合簡一方蔺优势就体瑰在途Ｍ？ｐ： ） 条繫， 本会钧中；ｇｓ在載： 条条在第３ 节的竞买合约分析中可以着也， 有三个＿裏当事人主动触发的过程＊ 分别是： ①开始食拍、②钽价竞拍和③：收取货款， 其佘流程可由程序自动完處，由于任何账户可以柱册为竞买人， 且本■ 文中以Ｓｏｌｉ ｄｉｔｙ为目标语 如第４节所述， 如果直接向拍卖人发Ｈ资金：是有安耷风险的， 让拍卖人自己取钱会更加安全． 因此， 在爾写含约时添加收回狎金条款，如： 圈７ 所亦，通过Ｐｅｔｒｔ网表應了拍蠢： 过黯的状态＿移：圈雜中， 合约分为四种状态： 和五种动作． 状态包括生效、 竞拍中、 竞拍结束、合约终止ｊ 动作： 包猜开始食拍、出价竞拍、 收回押金、时间结東、收取货款？在五种动作中， 时间结隶是斑甘箕机自动触发＊ 其佘四种为用户触发；？ 根据四种动作， 编写如下条款．－条款１． 发起竞拍条款寒义如下：ｔｅｒｍｎｏｌ：ａｕｃｔｉｏｎｅｅｒｃａｎＳｔａｒｔＢｉｄｄｉｎｇ，ｗｈｅｒｅｈｉｇｈｅｓｔＰｒｉｃｅ＝ｒｅｓｅｒｖｅＰｒｉｃｅａｎｄＢｉｄｄｉｎｇＳｔｏｐＴｉ ｍｅ＝ａｕｃｔｉｏｎＤｕｒａｔｉｏｎ＋ｎｏｗ．拍卖人（ ａｕｃｔｉｏｎｅｅｒ） 有权触发动作发起竞拍（ＳｔａｒｔＢｉｄｄｉ ｎｇ）， 在动作执行后， 当前最高价（ｈｉｇｈｅｓｔ－Ｐｒｉｃｅ） 应为拍卖人输入的底价（ ｒｅｓｅｒｖｅＰｒｉｃｅ）， 结束时间（Ｂｉｄｄｉ ｎｇＳｔｏｐＴｉ ｍｅ） 应为当前时间（ ｎｏｗ） 加上输入的竞拍持续时间（ ａｕｃｔｉｏｎＤｕｒａｔｉｏｎ） ．条款２．出价竞拍条款定义如下：ｔｅｒｍｎｏ２：ｂｉｄｄｅｒｓｃａｎＢｉｄ，ｗｈｅｎａｆｔｅｒａｕｃｔｉｏｎｅｅｒｄｉｄＳｔａｒｔＢｉｄｄｉｎｇａｎｄｂｅｆｏｒｅＢｉｄｄｉｎｇＳｔｏｐＴｉ ｍｅｗｈｉｌ ｅｄｅｐｏｓｉｔ￥ｖａｌｕｅ＞ｈｉｇｈｅｓｔＰｒｉ ｃｅｗｈｅｒｅｈｉｇｈｅｓｔＰｒｉｃｅ＝ｖａｌｕｅａｎｄｈｉｇｈｅｓｔＢｉｄｄｅｒ＝ ｔｈｉｓｂｉｄｄｅｒａｎｄｔｈｉｓｂｉｄｄｅｒ： ：ａｍｏｕｎｔ＝ｔｈｉｓｂｉｄｄｅｒ Ｉ ！Ｏｒｉｇｉ ｎａｍｏｕｎｔ＋ｖａｌｕｅ．竞买人（ｂｉ ｄｄｅｒｓ｝ 可以在拍卖人发起竞拍ｇ＊且在竞拍结東前， 向合鈞转账（ｄｅｐｏｓｉｔ） 进行出价（Ｂｉ ｄ）？其：中 抬盡人发起竟撤０由 ？ａｒｔｉ ０＿５ｒｄｉｄＳｔａｒｔＢｉｄｄｉ ｎｇ＿孝， 在囊拍结乘翁由ｂｅｆｏｍＢｉｄｄｉｎｇ－蠢示， 如果出价＜￥＊１ 咖５大于巨前聲畜价（ｌｉｉｇｈｅｓｔＰｒｉ—Ｊ出价成功｜： 如栗离价小于讓警ｆ最畜价， 则出价失败．动作执行成功后， 巖芮出价人的属性（ ｔｈｉｓｂｉ ｄｄｅｒ： ：ａｍｏｕｎｔ） 中愈泪職了幾败的街价总额ｓ 其中为方便表达， Ｏｒｉｇｉ ｎ关键词表示动作执行前的值，６６０ 计 算机 学 报 ２０２１年合约当前最高价（ ｈｉｇｈｅｓｔＰｒｉｃｅ） 与最高价出价人（ｈｉｇｈｅｓｔＢｉｄｄｅｒ） 应为本次出价（ ｖａｌ ｕｅ） 与出价人（ｔｈｉｓｂｉｄｄｅｒ） ．条款３． 回收押金分为两条子条款定义如下：ｔｅｒｍｎｏ３＿ｌ：ｂｉ ｄｄｅｒｓｃａｎＷｉｔｈｄｒａｗＢｉｄ，ｗｈｅｎｔｈｉｓｂｉｄｄｅｒｉｓｎ＾ｔｈｉｇｈｅｓｔＢｉｄｄｅｒａｎｄｔｈｉｓｂｉｄｄｅｒ： ：ａｍｏｕｎｔ＞０ｗｈｉ ｌｅｗｉｔｈｄｒａｗ￥ｔｈｉｓｂｉｄｄｅｒ Ｉ；ａｍｏｕｎｔｗｈｅｒｅｔｈｉｓｂｉｄｄｅｒ Ｉ ！ａｍｏｕｎｔ＝０．如果竞买人ａ！ｄｄｅｒｓ〗 不是最高出价者， 且当前合约中存有押金（ｔｈｉｓｂｉｄｄｅｒ： ：ａｍｏｕｎｔ ＞０）， 可以取回无效的竞价（ ＷｉｔｈｄｒａｗｒＢｉｄ） ． 条款执行成功后，该竞买人押金记录（ ｔｈｉｓｂｉｄｄｅｒ：： ａｍｏｕｎｔ） 应为０．ｔｅｒｍｎｏ３＿２：ｂｉｄｄｅｒｓｃａｎＷｉｔｈｄｒａｗＢｉｄ，ｗｈｅｎｔｈｉｓｂｉ ｄｄｅｒｉｓｈｉｇｈｅｓｔＢｉｄｄｅｒａｎｄｔｈｉｓｂｉ ｄｄｅｒ： ：ａｍｏｕｎｔ〉ｈｉｇｈｅｓｔＰｒｉ ｃｅｗｈｉ ｌｅｗｉｔｈｄｒａｗ￥ｔｈｉｓｂｉｄｄｅｒ Ｉ ：ａｍｏｕｎｔ－ｈｉｇｈｅｓｔＰｒｉ ｃｅｗｈｅｒｅｔｈｉ ｓｂｉｄｄｅｒ Ｉ ！ａｍｏｕｎｔ＝ｈｉｇｈｅｓｔＰｒｉｃｅ．如果竟：实人是最髙出价者＊ 且当前合约中存有震靈襲人竞价失败的狎金＇《ｔｈｉｓｂＭｓｉｇｒ ；：：ｈｉｇｈ成Ｐｒｉｃｅ）， 可以取回无敎的耷价－条款执行成功后， 该．龛駕．人押金记录应为最高价．条款４． 结束竞拍条款定义如下ｔｔｅｒｍｎｏ４：ａｕｃｔｉｏｎｅｅｒｃａｎＣｏｌ ｌ ｅｃｔＰａｙｍｅｎｔ，ｗｈｅｎａｆｔｅｒＢｉｄｄｉｎｇＳｔｏｐＴｉｍｅａｎｄｂｅｆｏｒｅａｕｃｔｉｏｎｅｅｒｄｉｄＣｏｌｌ ｅｃｔＰａｙｍｅｎｔｗｈｉ ｌｅｗｉｔｈｄｒａｗＳｈｉｇｈｅｓｔＰｒｉｃｅ．拍卖人（ａｕｃｔｉ＇ｍｉｅｅｔ） 在竞拍时间謂東后＊ 且没有收取过货擊Ｕ可以收取、货款（Ｃｏｌｌ ｅｃｔＰａｙｍｅｎｔ） 并将趣商价货象敗出Ｃ ｗｉｔｈｄｒａｗ）．７ 目标代码生成本节通过竞买合约的例子．． 讲述ＳＰＥＳＣ的目标代码生成方抜， 从而斑编写好的ＳＰＥＳＣ合约自动生成￥ｏｌ ｉ ｄｉ ｔｙ代猶７．１ 目标语言合约框架生成的Ｓｏｌ ｉｄｉ ｔｙ 合约分为两部分：（１） 当事人合约 当事人，定义生成的合约． 芏要负賣３事人人员的管理、关键事件的记录与统计和记录飾查询功能．（ ２） 主合约． 由其它部分生成的合约， 主要包括变量的定义、修饰器（Ｍｏｄｉｆｅｒ）．以及条款生成的方法．下面分别对这两个方＿的生成过程进行阐述．如圈８所 蘭中麋ｐ了由ＳＰＥＳＣ自动生成的Ｓｏｌｉ ｄｉｔｙ潘言竞赛合约类图， 并通过带颜色的线标明ＴＳＰＥＳＣ元素与其对应关系， Ｓｏｌｉ ｄｉｔｙ语官竞繁合约盎分为三个部分， 拍卖人倉约、竞实人含约与舞买由体合约？拍卖人合约中包含相卖人的地址、 人员的注册与查坷方法以及对其所属的两个条款ＳｔａｒｔＢｉｄｄｉｎｇ与Ｇｏｌ ｌ ｅｃｔＰａｙｍｅｎｔ的记录？竞买人合约包含由地址和ＳＰＥＳＣ中定义的变儳ａｍｏａｔ姐戒的結构体＞结构体数鳥、 映射遠：、人虽＿加与查询 法以及ａｍｍｎｔ 的貴＿与乘取方法．龛买主体合约中包含当拳入的定义、ＳＰＥＳＣ中二条附加慑＆私ｉｇ：ｈｅ： ＭＰｒｉＣ０、 ｈｉｇｆｉ械Ｂｉｄｄｅｒ、Ｂｉｄｄｈｒ§－＆吵７７騰的定义以及拫据五条条款生成的四个方法和商个修饰簾Ｃ：ｏ ｎｌ ｙｂ ｉｄｄａｃｓ、邱１ ｙｓｕｅｔｉｍｉｅｅ； ｒ ）．， 其中，图ａｓｆＥｓｅ，＿成合ｉｉ■图讀：處養＃舉 着等：一种胃攀赞飯合錢翁化＃．， ｓ竞买ｔ纣駕计与黧现 ６６１ ３ 期龜歡３．１ 聲Ｓ．２ 声明猶悬興一个动作＂Ｗｉｔｈｄｒａ衩Ｂｉ ｄ，因Ｊｆｅ只生成一个方法》此外， 对于当事人的管理， 除了基本的操作外， 未被使用的管理操作会以注释时方式提供， 如象取当事人群体列表、 删除个体等， 如皋用户在方法的实现中需要使用ｙ可以解除注释使用． 而对于不参与时序控制前条款：， 如竞憂合约中的出价竞拍（ｆｉｄ）和取屈押金（ Ｗｉｔｈｄｒｓｗｍｄ）， 不．＃令约中生成记暴执行情况的属性与方法， 实际执行積况仍可以在区块镶中浪溯＾恒不在合约中另行记录与处理．７． ２ 当事人合约的生成每个当事人都会对应生成一个当事人含约＊＿于＿事人可分为个体ａ＃人■群体当事，人两类（见第． ４节），因此， 灣事人合约可分为个体当事人合．约（Ｉｎｄｉ ｖｉｄｕａｌＰａｒｔｙＧｃｎｔｒａｃｓｔＪ或群体当拿人合翁（ＧｒｏｕｐＰａｒｔｆ－Ｃ〇ｆｔ： ｔｒａｃｔ个体当事人＃约被用来规范一定权利或义务行为猶个体， 如实家、■ 卖家对遺的食约， ＃体挡事Ａ＃约则用来规定拥有相同权利与义务＇行为的多个个体， 如投擊人、竞拍人对应的合约． 群体当事人合约与： 个体当參人＿区； 拿于： 群体当事人合绮顏食数：组及映射络构体及増删操作＞使得群体当事人可以在： 合约运行中动态加入或退出．两乘当＊人合约结构如图９＇所示？闺Ｉ 当＿， 人合維＿＃情况１？当＃入个体生威的Ｓｏｌ ｉｄｉｔｙ合约肉容按类別分为三个部分．⑴当事人属性， 当事人个体露要记遽的内容包括账户地址、成员嵐？性、条款执行记睪， 账户地址作为账户的唯一身份标识， 对：应账户＃区： 块键中的地址（１１． 成员属性是在ＳＰＥＳＣ中由用户使定的＿： 要记录的属性， 并会在屢性操作中生成对应的设定与获取方法＊秦款执行记議Ｒｅｅ？ｊｒｉ： 裂成规厕如下： 对＿该当事人限定的条款集合中中的每个条款“ＲｅｅｏｉｔｄＩ＼＾＇－ｌｉ＿ｉｓ－＾Ｍ＾Ｉ３ｄｎｅ＊；Ｖ？？；？ £ｒ＃｝ ■其中， 《？＿： 着取条歉ｚ 的动作名４变量各以下划线起始是为了与用户定义变量Ｋ分． 例如， 对于条款１对应的动作ＳｔａｒｔＢｉｄｄｉ ｎｇ， 按上述规则将生戚两个变量： ＿ｉｓＳｒｄＷｌＷｉｉｆｅ發 记录条款Ｚ 暴费執行完威与－ＳｆｉａｒｒＳＭｒ ｉｉ吨 记暴条款？ 执行时间，如图１０ 所示，竞实例－中拍蠢人未在／ＳＰＥＳＣ中隹义薦性Ｕ低＃酉个衡屬華軟ＳｔａｒｔＢｉｄｄｉ ｎｇ 利Ｇｏｌ ｌ ｅｃｔＢａｙｍｅｎｔ， 每个条拿隹翁前述猶两个屬性，例Ｗｌ：＿ｉｓＳＭｎＢｉｄｄｉｎ：ｇＤｏａｅ， ｆｆｌ ＿Ｓｔ￡ｉ ｒｔＢｉｄｄｉｔｉｇＴｉｍｅ．此外？： 瘦讀— 欢Ａｉｉｒｆ－？％＊＊麗于记奪抬素人地址．Ｉ／／ａｔｔｒｉｂｕｔｅｓｏｆａｃｔｉｏｎＳｔａｒｔＢ ｉｄｄｉｎｇｂｏｏｌ＿ｉｓＳｔａｒｔＢｉｄｄｉｎｇＤｏｎｅ；ｕｉｎｔ＿Ｓｔａ ｒｔＢｉｄｄｉｎｇＴｉｍｅ；／／ａｔｔｒｉｂｕｔｅｓｏｆａｃｔｉｏｎＣｏｌｌｅｃｔＰａｙｍｅｎｔｂｏｏｌ＿ｉｓＣｏｌｌｅｃｔＰａｙｍｅｎｔＤｏｎｅ；ｕｉｎｔ＿ＣｏｌｌｅｃｔＰａｙｍｅ ｎｔＴｉｍｅ；ａｄｄｒｅｓｓ＿ａｕｃｔｉｏｎｅｅ ｒＡｄｄｒｅｓｓ；图圾 拍翁Ａ合蠢变暴⑵人员管理． 根据当事人是群体还蠢个ｆｒ，生成对应管理方法． 个体管理较齿简单， 包括注册、注销与查询三种方法在竞实例子中抢卖人只渉及注＾册＊％查询拍禽人地址两种方法， 如图１１ 所示．ｆｕｎｃｔｉｏｎｒｅｇｉｓｔ（ａｄｄｒｅｓｓ）ｐｕｂｌｉｃ｛＿ａｕｃｔｉｏｎｅｅｒＡｄｄ ｎｅｓｓ＝ａ；｝ｆｕｎｃｔｉｏｎｇｅｔＡｄｄｒｅｓｓ（ ）ｐｕｂｌｉｃｖｉｅｗｒｅｔｕｒｎｓ（ａｄｄｒｅｓｓ） ｛ｒｅｔｕｒｎ＿ａｕｃｔｉｏｎｅｅｒＡｄｄｒｅｓｓ；Ｈｕ 拍肩Ａ的人黄管載（泊条款执行管理？ 对于当事人的每条条款， 生成条款执行记＿方法， 在条款执行完毕后记录完成时间； 生成査询方法， 返回条款完成时间． 拍卖人的开始竞拍条款生成方祛如图１２ 所示．Ｉ ｆｕｎｃｔｉｏｎＳｔａｒｔＢｉｄｄｉｎｇＤｏｎｅ（ ）ｐｕｂｌｉｃ｛＿ＳｔａｒｔＢｉｄｄｉｎｇＴｉｍｅ＝ｎｏｗ；＿ｉｓＳｔａｒｔＢｉｄｄｉｎｇＤｏｎｅ＝ｔｒｕｅ；｝—ｆｕｎｃｔｉｏｎＳｔａｒｔＢｉｄｄｉｎｇＴｉｍｅ（ ）ｐｕｂｌｉｃｖｉｅｗｒｅｔｕｒｎｓ（ｕｉｎｔ＂） ｛ｉｆ（＿ｉｓＳｔａｒｔＢｉｄｄｉｎｇＤｏｎｅ）｛ｒｅｔｕｒｎ＿ＳｔａｒｔＢｉｄｄｉｎｇＴｉｍｅ；＞—ｒｅｔｕｒｎｍａｘ：ｌ＞＇图１２ 拍卖人条款执行管理方法① 账户在区块链中的地址通常是账户公钥的哈希．参与方个体个体变量地址成员属性条款执行记录方法人员管理注册注销查询属性操作获取设定条款执行管理记录函数查询函数参与方群体个体变量地址成员属性条款执行记录群体变量数组〈 结构体〉映射〈 地址， 数组坐标〉方法人员管理增加删除查询属性操作获取设定条款执行管理记录函数６ ６２ 计導机攀报： ＿１苹情况２． 当豪人：群体除当事人个体的内容外，还包含更丰霄的＿人管理方法， 以及多种记录的查＿方式？具律生成规则如下：（１） 当事人属往？ 对于当拿人群体， 为了使当事人可以遍历， 采用结构体数ＩＩ记录个体内容＊同时为了方便用户逋过地址查询用户个体僮息， 添加账户地址到幾載坐：＿＿映｜｜＿ＣＭ：ａｐｐｉｉｉｇｔａｂｌｅ｝， 如图ｌｆ所示． 其中数组中记录的用户个体变屬与当事人个体的崔舊鮮同．ＭａｐｐｉｎｇＴａｂｌｅＡｒｒａｙ嫌１３ 貪參Ａ＃体人綦誉ｉｓ（ ２） 人员管理？ 当事人群体人员：管理包括添加、删除１査询．添加操作如图１３ 虚： 线中Ａ．１１与Ａ．２） 所示， 例如， 为了添加新的当事人个体 Ａ． １） 首先将个体燈息插人数组最后一位； Ａ．２） 然： 后在映射表中记录辑个体地址Ａｄｄｒｅａ＞ ｓＢ对应雜数逾坐标ＪＶ＿删除操作如图１３ 虛线中Ｂ． １） 到Ｂ． 幻所示， 例如， 为了删除个体 根据地址ＡｄｃｔｅｓｓＡ从映射中查询到其在数组的＇坐标Ｋ后＜ ＾． １）将数组最后一象ＪＶ的个体Ｐｇ替换掉 位的信息， 并将第ＩＶ位输空； Ｂ． ２）将映射中记录的 坐标替换为新坐标Ｋ；ＢＪ） 将匕的坐标：替换为初： 始像０． 如果删除的个体是黎龜中畢后一隹，则直接將数组和映射表对应位置資置Ｊ？ 空即可？在竞裏合约中， 竞买人渉及添加与查询操作， 如薦１４ＪＦ示．ｆｕｎｃｔｉｏｎａｄｄ（ａｄｄｒｅｓｓａ） ｐｕｂｌｉｃ｛＿ｂｉｄｄｅｒｓＥｎｔｉｔｙ．ｐｕｓｈ（ｂｉｄｄｅｒｓｔｙｐｅ（ ｛＿ｂｉｄｄｅｒｓａｄｄｒｅｓｓ： ａ，ａｍｏｕｎｔ：０｝） ） ；＿ｕｓｅｒｌｉｓｔ［ａ］＝一ｓｕｍ；＿ｓｕｍ＋＋ｊ｝ｆｕｎｃｔｉｏｎｃｏｎｔａｉｎｓ（ａｄｄｒｅｓｓｉ）ｐｕｂｌｉｃｖｉｅｗｒｅｔｕｒｎｓ（ｂｏｏｌ）｛ｒｅｔｕｒｎ＿ｕｓｅｒｌｉｓｔ［ａ］ ！＝０ｊ＞Ｉ图１ ４ 營买人： 的人员；會理方窗ＧＴ） 条款执行管理． 当事人群体生成的合约中＞除３事人个体包含的记录方法外， 在＃约中记款第一个人与最后一个人的完戚条款的时间４是供以下”兰种查询方式ｉ①Ａ１ 丨 查询． 最后一个个体完成时间；②Ｆｉｒｓｔ查询． 第一个个体完戚时间；③Ｔｈｉｓ 查询■ 这个当拳人个体完成时间，如在，投票合约中， 主持人在所有人都投票Ｈ后才能统计， 思ＳＰＥＳＣ表示如ｔｅｒｍｎｏｌ：ｃｈａｉｒｍａｎｃａｎｃｏｕｎｔ，ｗｈｅｎａｆｔｅｒａｌ ｌｖｏｔｅｒｓｄｉｄｖｏｔｅ．则通过＿一种方式：盡： 衡时间＿７．３ 主体合约生成生成的主体合约主要分商部分．第一部分是合约属性和当事人的定义与初始化． 合约的属性就是甩户在ＳＰＥＳＣ中定义的合约信息， 当事人通过上一？节定义的当事人含鐘囊： Ｓ义． 其中， 生成的变量默认访问权限为公开、（ｐｕｂｌ ｉｃ》类ｉｆｓＳｏｌｉ ｄｉｔｙ中念开权琅变量可以通过合约直接访问，从而象取合约状暮例如， 竞．实者可以查询合约中／ｊ％／ｊ 德 廉知＿貪出价人地址，而＿： 定自 ３是否中标．第ｊ部分是条款的处理＊ＳＰＥＳＣ合约中的每个条款包含一个动作ｓ 在Ｓｏｌｉｄｉｔｙ中对应生成一个方法？＃费中包貪执行条件裣测、方法主体翁执行＿，擧橇测三个部分＊ 如果条件检测失败， 程序会抛出异常弁傲栢应处理．義Ｓｏｌｉｄｉｔｙ中抛出： 暴常＇分为ｔｅｑｕｉｒ＃、．ａ銘妓ｔ：和ｒｅｖｅｒｔ： 三种？ 其中， ＴｅｃｊｕｉｒｅＪＩ■傭爾趙＂宁检测执行条件， 如方法的输人或合约的状态等， 如果检测不＇通过， 以禽纺平舍奢返述痛卞的：負趙 Ｉ 而ａｓｓｅｒｔ关键词用于检测鞋＃的？外情况， 在正确运行的程序中ａｇｇｅｒｔ 检测永远不会失败，一旦检测失败， 意味着程序中存在错谋，应该修改代码ｓ 而ｒｅｗｒｔ 关键词与ｒｅｑｕｉｒｅ 类似， 但可以通过与其它语旬错含表达更眞＿的情祝？条款的执行条件有三种限制：（ １） 当事人限制． 条款规定有哪些当事人可以执行－（ ２） 条件限制＞ＳＰＥＳＣ条款市的前置条件，（ ３＞ 金额限制？ 交易操作中的ｄｅｐｏｓｉｔ］吾句， 调用该方法青粟向合约存入的金额限制．执行条件检测失败属于程序正常状态， 应返还用户剩余费甩＊ 并Ｍ滚状态？因此， 使用关镩爾ｒｅｉｇｕｉ ｒｅｒｅｖｅｒｔ．在条款所生成的方法最后会根据Ｓ置条件生成舉 着等：一种胃攀赞飯合錢翁化＃．， ｓ竞买ｔ纣駕计与黧现 ６６３：３ 期相应的执行结果检测， 辅助用户编写方法主体逻辑＊检验程序中的错误、一旦？置条件裣测失畋， 袁． 味着程序中参在错误３因此， 使用 关键饲进行检测．ＳＰＥＳＣ编译规则将依据条款的后蹙条件＿测生成方法所包含的主体内容， 翁内容作为编程人员的参考． 词时＞编程人员也需依照业务逻辑及其它细节曾查、 补充完成主体逻辑的设计． 在这个过程中，已知方法输人和结果＞用户只需麥关；注单个方法的实现，通过后蠻条件验证执行正确性即可．在本例子尊中， 巷序逻辑相对比较筒单．因此，在自动生． 成后ｔ只需添加竞实人注册代码后＞ 检查代码逻辑没有＇问窥， 就可以直接运行．如面１Ｓ 所示＾ＳＰＥＳＣ语言代码记齿Ａ， 所生成的Ｓｏｌ ｉｄｉ ｔｙ代码记： 为Ｂ，ｗｈｅｎ＾？ｆｔｅｒａｕｃｔｉｏｎｅｅｒｄｉｄＳｔａｒｔＢｉｄｄｉｎｇＩ ｂｅｆｏｒｅＢｉｄｄｉｎｇｓｔｏｐＴｉｍｅ（ｗｈｉｌ６）ｄｅｐｏｓ ｉ ｔ￥ｖａｌｕｅ＞ｈｉｇｈｅｓｔＰｒｉｃｅｆｗｈ ｅｒｅｈｉｇｈｅｓ ｔＰｒｉｃｅ＝ｖａｌｕｅａｎ ｄＩ ｈｉｇｈｅｓ ｔＢｉｄｄｅｒ＝ｔｈｉ ｓｂｉｄｄｅｒａｎｄ｜ ｔｈｉｓｂｉｄｄｅｒ： ： ａｍｏｕｎｔ＝ｔｈｉｓｂｉｄｄｅｒ： ｃ＾） ｒｉ＾ａｍｏｕｎｔ＋ｖａｌｕｅ．＼（ａ）ｌｆ ｕｎ ｃｔｉ ｏｎＢｉｄ（ ）ｐｕｂｌｉ ｃｆｐ ａｙａｂｌ ＆） ｛！ ｉｆ（Ｉ  ｂ ｉｄｄ ｅｒ ｓ ． ｃ ｏｎｔａｉ ｎ ｓ（ｍｓｇ． ｓｅｎｄｅｒ））ｉ ｂ ｉｄｄｅｒ ｓ ． ａ ｄｄ（ｍ５ｇ． ｓ ｅｎｄｅｒ） ； ／／ ＲＥＱＵＩＲ Ｅｒｅｑｕｉ ｒｅ（ｎｏ ｗ■ａｕ ｃｔｉ ｏｎ ｅｅｒ ． Ｓｔａｒ ｔＢｉ ｄ ｄｉ ｎｇＴｉｍｅ （）＆＆ｒｅｑｕｉｒｅ（ｍｓｇ． ｖ ａｌｕ ｅ＞ｈ ｉｇｈ ｅｓｔＰｒ ｉｃｅ） ；ｔｈｉｓ ｂ ｉｄ ｄｅｒ ｔＢ ｉ ｄｄ ｉｎｇＳｔｏｐＴｉｍｅ） ；ｂｉ ｄ ｄｅｒ ｓ．ｇｅｔａｍｏｕｎｔ（ｍｓｇ．ｓｅｎ ｄｅｒ ）ｊ／／ ＵＳＥ ＲＣＯＤＥＨＥ ＲＥｈｉｇｈｅ ｓｔＰ ｒｉｃ ｅ＝ｍｓｇ． ｖａ ｌ ｕｅ；ｈｉｇｈｅ ｓｔＢ ｉｄｄｅｒ ＝ｍｓｇ．ｓ ｅｎｄｅｒｊｂｉ ｄ ｄｅ ｒｓ ． ｓｅｔ ａｍｏｕｎ ｔ（ｍｓｇ． ｓｅ ｎ ｄｅｒ，ｂ ｉｄ ｄ ｅｒ ｓ ．ｇｅｔａ ｍｏｕ ｎｔ（ｍｓｇ． ｓ ｅｎ ｄ ｅｒ）－＋ｍｓｇ． ｖａｌ ｕｅ／／ ＣＨＥ ＣＫＩａｓ ｓｅｒｔ（ｈｉｇｈ ｅｓｔＰｒ ｉｃｅ＝ｍｓｇ．ｖａ ｌｕｅ＆＆ｈｉｇｈｅ ｓｔＢ ｉｄｄ ｅｒ ＝ｍｓｇ．ｓｅｎ ｄｅｒ ＆＆ｂ ｉｄ ｄ ｅｒ ｓ ．ｇｅｔ ａ ｍｏｕ ｎｔ（ｍｓｇ． ｓ ｅｎ ｄ ｅｒ）＝ｔｈ ｉｓ＿ｂ ｉ ｄｄ ｅｒ＿Ｏｒｉ＿ａ ｍｏｕ ｎｔ＋ｍｓｇ． ｖａ ｌ ｕｅ） ；（ｂ）图１５蠢嶽２ 对应儀系（１：） 根据Ａ 續１ 行中：动作１名ＢＭ：曼處柑词方法名（Ｂ乎福第１ 行记为Ｂ１） ． 如果检测到Ａ中含有资产转移语旬＊如第４行的ｗｈｉ ｌ ｅ关键词， 则．为方法添加科ｙａｂｋ关键词，表明方法可以接收或发送以太币：（２１根藤Ａ第１行６ｆ５Ｂｉｄｄｅｒｓ的银定生成当事人检测． 然而在本例中拫据費约实际意？，出价的人即为食实人，因此， 需果春动去掉当事人限制并添加当事人注册代码（Ｂ２？３） ： 如果出价者不是竞餐人则注册成为竞买人；（Ｊ０根据ＳＰＥＳＣ中在拍卖人开始鸾实后竞裘时间结東前的前置条件（Ａ２？３）与出价大于最高价的棄求（Ａ４） 生成了两条执行赛求（ Ｂ４？３根据ＳＰＥＳＣ中的后置条件（ＡＳ－？７）， 自动生成了三条执行代码Ｂ７？９〉 ：记录了最高价， 最高出价人和焉高出价人的资？金池， 供编程人ａ参考；（５．） 根据后量条件（ Ａ５？生成了断言（Ｂ１０？１１） 用于结果检测，其中Ａ第Ｔ行中使用了Ｏｒｉ关键词表示诶变議泰方法执行前的值， 因此在方法主体前记录该变量ＣＢ６），以便于在检测时使用．上述例子中，所生成的执行代码术縛要修改， 就可以茈确运行，但如果将第二条条款的后置条件：膂换为如下语句：ｗｈｅｒｅｔｈｉｓｂｉｄｄｅｒ ！；ａｍｏｕｎｔ＝ｔｈｉｓｂｉｄｄｅｒ ：： Ｏｒｉａｍｏｕｎｔ＋ｈｉｇｈｅｓｔＰｒｉｃｅａｎｄｈｉｇｈｅｓｔＰｒｉｃｅ＝ ｖａｌｕｅａｎｄｈｉｇｈｅｓｔＢｉｄｄｅｒ＝ ｔｈｉｓｂｉｄｄｅｒ．条款表达意思相周， 但生成的方法主体会． 错吳地将ｉ一个最慕价加人本饮出价者前資：金池！ｆｆ’Ｃ断言可＂以成功检测出错误ｈ需要手动调整程序ｆｆ生成的语句顺取７． ４ 表达式实现ＳＰＥＳＣ． 辨共含有Ｓ録达式： 逡辑、关系、运算、常量和时间表达式． 在ＳＰＥＳＣ谱賃的转化模型中， 所有表达式都继敢Ｅｘｐｒｅｓｓ 抽象类， 增强了互操作性？如表１ 所示Ｌ中薦示了ＳＰＥＳＣ？达式对应的编程镇言运箕符， 以德生成后的优先锲．表ＩＳＰＰＳＣ表达式对应运算符及优先级优先级 生成运算符 ＳＰＥＳＣ表达式ＡｃｔｉｏｎＥｎｆｏｒｃｅｄＴｉｍｅＱｕｅｒｙＴｈｉｓＥｘｐｒｅｓｓｉｏｎ２Ｉ ＮｏｔＥｘｐｒｅｓｓｉｏｎ３ ＭｕｌｔｉｐｌｉｃａｔｉｖｅＥｘｐｒｅｓｓｉｏｎＡｄｄｉｔｉｖｅＥｘｐｒｅｓｓｉｏｎＴｉｍｅＬｉｎｅＲｅｌａｔｉ ｏｎａｌＥｘｐｒｅｓｓｉｏｎＴｉｍｅＰｒｅｄｉ ｃａｔｅ６＝＝、 ！＝Ｒｅｌａｔｉ ｏｎａｌＥｘｐｒｅｓｓｉｏｎ７ＡｎｄＥｘｐｒｅｓｓｉｏｎＴｉｍｅＰｒｅｄｉ ｃａｔｅ８｜ ｜ ＯｒＥｘｐｒｅｓｓｉｏｎＣｏｎｄｉｔｉｏｎａｌ Ｅｘｐｒｅｓｓｉｏｎ？．ＩｍｐｌｙＥｘｐｒｅｓｓｉｏｎＳＰＥＳＣ中的时间表达式类型分为时间点与时间段， 其中类型为日期（Ｄａ？）的當量与变養＃动作完成时间表：： 达式（ＡＧｔ；ｉｏｎＥｎｆｏｔ＆ＷＴＴｉ ｎｉｅＱｕｅｔｙ）ｖ金遍＇６ ６４ 计 算机 学 报 ２０２１年时间表达式（ Ｇｌ ｏｂａｌ Ｔｉ ｍｅＱｕｅｒｙ） 属于时间段； 而类型为时间（Ｔｍｉｅ） 的常量与变量属于时间点．时间线表达式（ Ｔｍｉ ｅＬｍｅ） 中， 时间点与时间点不能进行加减运算， 时间点与时间段运算结果为时间点， 时间段与时间段运算结果为时间段． 而时间谓词表达式（ＴｉｍｅＰｒｅｄｉｃａｔｅ） 的返回结果为布尔值， 其生成规则如下：ａｆｔｅｒａｎｏｗ＾＞ａａａｆｔｅｒｂ＝〉＞ａ〉＞ｂｃａｆｔｅｒｂ＝〉＞ｎｏｗ〉＞ｃ＋ｂｗｉｔｈｉｎｃａｆｔｅｒｂ＝＞（ｎｏｗ＞ｂ） ＆＆（ｎｏｗ〈ｂ＋ｃ）其中， ａ 与ｂ属于时间点， ｃ 属于时间段， ｎｏｗ为当前时间．８ 实验及结果针对ＳＰＥＳＣ语言及其转化规则， 本节将通过两个实验分别测试ＳＰＥＳＣ语言所生成合约的易用性和ＳＰＥＳＣ合约转化可执行合约的有效性．８． １ＳＰＥＳＣ语言易用性实验针对ＳＰＥＳＣ语言的特性， 我们设计了一个问卷式对照实验， 从阅读时间与准确性两方面评估ＳＰＥＳＣ合约是否比现有的智能合约更易于理解．（１） 参加者． 本次实验邀请了１５ 名参与者， 包括９ 名计算机科学系（ ＣＳ） 学生以及６ 名法学系（Ｌ）学生． １５ 名参与者被随机分为两组（ 即ＧＡ和ＧＢ）．ＧＡ由四名ＣＳ 学生（ 即ＧＡＣＳ） 和三名法律学生（ 即ＧＡＬ） 组成． ＧＢ由５ 名ＣＳ学生（ 即ＧＢＣＳ） 和３ 名法律学生（ 即ＧＢＬ） 组成．（２） 智能合约． 本次实验所用智能合约包含“借贷合约”与“竞买合约”两种， 其中， 借贷合约（ ＬｅｎｄｍｇＳＯ） 改编自Ｇｉｔｈｕｂ 上的开源Ｓｏｌｉ ｄｉｔｙ 程序？． 竞买合约（ Ａｕｃｔｉ ｏｎＳＯ） 改编自Ｓｏｌ ｉ ｄｉ ｔｙ 文档中描述的官方示例？． 作为对照， 将上述两种ＳｏＨｄｉｔｙ 合约编写为ＳＰＥＳＣ合约形式， 被称为Ｌｅｎｄｉ ｎｇＳＰ 和Ａｕｃｔｉ ｏｎＳＰ．（３） 问卷与数据收集． 实验采用针对不同合约的问卷回答形式， 每个人得到２ 份问卷， 分别是借贷问卷、竞买问卷． 试卷包括１〇 个问题， 采用标识ａ．，表示问卷：ｒ 中第＿ｙ 个问题， 具体问题如下：Ｑｉ ． ｉ 谁能执行ｃｏｎｆｉｒｍ函数？ （ ＳＳ）Ｑｕ借款的条件是什么？（ ＳＳ）Ｑｌ ． ３ 借款会造成什么影响？ （ ＳＳ）Ｑｕ还款会造成什么影响？ （ ＳＳ）Ｑｕ借贷者的义务有哪些？ （ＭＳ）Ｑｕ什么条件下可以参与竞拍？（ ＳＳ）Ｑ２ ． ２ 如何取回自己失败的竞价？（ ＳＳ）Ｑ２ ． ３ 目前最高出价者可取回之前失败竞价吗？ （ＳＳ）Ｑｕ结束竞买会造成什么影响？（ ＭＳ）Ｑ２ ． ５ 竞买者有哪些权利？ （ＭＳ）其中ＳＳ、ＭＳ分别表示单选和多选．（ ４） 实验过程． 首先， 我们对所有参与者在前一个小时讲解了ＳＰＥＳＣ和Ｓｏｌｉ ｄｉｔｙ 的基本语法和语义； 其次， 通过购买合约的两种语言示例回答参与者的问题； 然后， 要求ＧＡ和ＧＢ分别阅读Ｌｅｎｄｉ ｎｇＳＰ和ＬｅｎｄｍｇＳＯ， 并填写相关借贷合约的问卷， 我们对每个参与者答题时间进行记录； 最后， 要求ＧＡ和ＧＢ分别阅读Ａｕｃｔｉ ｏｎ ＳＯ和Ａｕｃｔｉ ｏｎＳＰ， 并填写有关竞买合约的问卷并记录时间．（５） 实验结果． 在上述实验过程中， 我们从回答过程与回答结果中统计了作答平均时长 与平均准确率 ， 其中， Ｇ表示组别， Ｑ表示问题． 实验结果如表２ 和表３ 所亦．表２ 问卷１统计（借贷合约）哼． ／％ ＰＶ％ ｐＣ＾ｙ％￣Ｐ％Ｊ％ＧＡＣＳ７ ６２． ８ １００． ０ １００． ０ ７５． ０ ７５． ０ ８３． ５ ８３． ９ＧＡＬ ７２２． ３ １００． ０ １００． ０ １００． ０ １００． ０ ８９． ０ ８８． ７ＧＡ ７４５． ４ １００． ０ １００． ０ ８５． ７ ８５． ７ ８５． ９ ８６． ０ＧＢＣＳ １５５１． ２ ２０． ０ ８０． ０ ６０． ０ ０ ６３． ４ ３９． ６ＧＢＬ １１９３． ７ ６６． ７ ０ ６６． ７ ０ ６６． ７ ３９． ２ＧＢ １４３９．６３７．５ ５０． ０６２．５０６４．６３９．４表３ 问卷２ 统计（竞买合约）丁Ｇｑ２ 巧，，Ｆｇ／％ ｙ２．２Ｐｇｑ／％ ＾２． ３ 吃． ４／％ＧＡＣＳ １２６４． ０ ５０． ０ ５０． ０ ２５． ０ ７５． ０ ９５． ０ ６４． ５ＧＡＬ １４３７． ３ ３３． ３ ３３． ３ ６６． ７ ５５． ６ ５８． ３ ４３． ０ＧＡ １３３８． ３ ４２． ９ ４２． ９ ４２． ９ ６６． ７ ７９． ３ ５５． ３ＧＢＣＳ６６４． ２ ６０． ０ １００． ０ １００． ０ １００． ０ １００． ０ ９１． ７ＧＢＬ ７５６． ０ ０ ３３． ３ ６６． ７ １００． ０ １００． ０ ５０． ０ＧＢ ６９８． ６ ３７． ５ ７５． ０ ８７． ５ １００． ０ １００． ０ ７６． ０从表２ 和表３ 结果可知： 对于借贷合约， 阅读ＳＰＥＳＣ合约的ＧＡ完成速度比Ｓｏｌｉ ｄｉｔｙ 的ＧＢ 快（ 前者用时是后者〇．５２ 倍） ， 答题准确率更高（ 提高１ 倍多 对于竞买合约， 阅读ＳＰＥＳＣ合约的ＧＢ完成速度同样比Ｓｏｌ ｋＨｔｙ 的ＧＡ快（ 前者用时是后者〇．５２ 倍） ， 且答题准确率更高（提高约０．４ 倍）．８． ２ＳＰＥＳＣ语言转化实验针对ＳＰＥＳＣ合约转化有效性， 我们将通过实验①ｈｔｔｐｓ ： ／／ｇｉ ｔｈｕｂ． ｃｏｍ／ｔ ｅｒｚｉｍ／ｄａｐｐｂｉｎ②ｈｔｔｐｓ ： ／／ ｓｏｌｉｄｉｔｙ， ｒｅａｄｔｈｅｄｏｃｓ． ｉｏ／ｅｎ／ｄｅｖｅｌｏｐ／ ｓｏｌｉｄｉｔｙｂｙｅｘａｍｐｌｅ． ｈｔ ｍｌ ＾ｓｉｍｐｌｅｏｐｅｎ ａｕｃｔ ｉｏｎ朱 岩等：一种高级智能合约转化方法及竞买合约设计与实现 ６６ ５３ 期的方式验证第７ 节方法生成的Ｓｏｌ ｉｄｉｔｙ智能合约．下面介绍从编写ＳＰＥＳＣ到执行完成流程中的实验环境、 实验步骤及预测结果以及实验结果与分析．（１）ＳＰＥＳＣ语言模型与生成器ＳＰＥＳＣ包含７０ 条语言模型与６４ 条语法规则，以及一千多行的生成器代码， 最终形成一个Ｅｃｌ ｉｐｓｅ插件， 通过插件编写ＳＰＥＳＣ代码并生成目标代码．ＳＰＥＳＣ的语法和生成器通过ＥＭＦ与Ｘｔｅｘｔ 实现，其中， ＥＭＦ是一个建模框架和代码生成工具， Ｘｔｅｘｔ是一个开发程序语言和特定领域语言的框架．（２） 区块链测试平台实验系统运行在三个Ｗｉ ｎｄ〇ｗｓ７系统的虚拟机下， 区块链采用以太坊平台， 以太坊Ｇｅｔｈ 客户端版本为１．７．０ ｓｔａｂｌ ｅ． 创世区块的参数如图１６ 所示．’ ’ｈｏｍｅｓ二ｅａｄＢｌｏｃｋ”： ０，＂ｅｉｐｌ５５Ｅｌｏｃｋ”：：，’ ’ｃｏｉｎｂａｓｅ＿ ■： ＂ ＯｘＯＯＯｊ ｊ ＤｕＯ ＯＯＯｊｊ ＤｕＯＯＤＯｊｊ Ｄ Ｄ ＯＯＯＯＯｊ Ｄ Ｄ ０００ ００ ＯＤ Ｄ ０＇ ＊，＇ ＇ｄｉｆｆｉｃ－ＬＬｌｔｙ＂： ｒ？ ＇ｍｉｘｈａｓｈ＂： ＂ Ｄｘ Ｃ ０ ０ Ｃ１ Ｃ ０  ０ｕ Ｃ ０ ０ Ｃ１ Ｃ ０ ０ ０ Ｃ ０ ０ Ｃ１ ｊ ０ ０ ０ Ｃ ０ Ｃ＞ Ｃ１ ｊ ０  ０ ０ Ｃ ０ ０  Ｃ１ ｊ ０  ０ ０ Ｃ＇ ０ ０图１６ 创世块参数实验中三个虚拟机共部署３ 个节点， 分别是一个拍卖人节点Ａ和两个竞买人节点Ｂ１ 与Ｂ２． 每个节点的主要账户初始状态如表４ 所示．表４ 账户状态账户 Ａ Ｂ１ Ｂ２地址０ｘＣＡ３５ｂ７ｄ９１５４５８ＥＦ５４０ａＤｅ６０６８ｄＦｅ２Ｆ４４Ｅ８ｆａ７３３ｃ０ｘｌ４７２３Ａ０９ＡＣｆｆ ６Ｄ２Ａ６０ＤｃｄＦ７ａＡ４ＡＦｆ３０８ＦＤＤＣ１６０Ｃ０ｘ４Ｂ０８９７ｂ０５１３ｆ ｄＣ７Ｃ５４１Ｂ６ｄ９Ｄ７Ｅ９２９Ｃ４ｅ５３６４Ｄ２ｄＢ余额１００ｅｔｈｌＯＯｅｔｈｌＯＯｅｔｈ（３） 编译环境Ｓｏｌ ｉ ｄｉ ｔｙ合约需要编译为机器代码才能在以太坊虚拟机中运行， 本文使用以太坊的Ｒｅｍｉ ｘ编译器， Ｒｅｎｎｘ是一个开源工具， 包含编写合约、测试、调试和部署的功能． Ｒｅｍｉ ｘ用ＪａｖａＳｃｒｉｐｔ 编写， 支持在浏览器和本地使用．（４） 合约测试合约的测试流程如下， 其中查询步骤由于不影响合约状态、 不造成任何开销且随时可以执行而被省略：步骤１． 由Ａ部署合约， 此时合约中拍卖人由Ａ注册， 只有Ａ可以执行方法ＳｔａｒｔＢｉｄｄｉ ｎｇ， Ａ无法执行其它方法， 其它账户也无法执行任何方法．步骤２．Ａ执行ＳｔａｒｔＢｉ ｄｄｉ ｎｇ方法开始竞拍， 并设置底价为２ｅｔｈ， 设置结束时间为执行后５ ｍｍ（ 以太坊中的时间每生成一个区块更新一次， 执行时间为当次区块时间， 以太坊平均１５ｓ 生成一个区块，因此可能存在少量误差）． 此时， ＳｔａｒｔＢｉ ｄｄｉ ｎｇ、Ｗｉ ｔｈｄｒａｗＢｉ ｄ、 Ｃｏｌ ｌ ｅｃｔＰａｙｍｅｎｔ方法不能被执行． 任何账户可以执行Ｂｉ ｄ方法进行出价， 但出价若少于或等于２ｅｔｈ， 执行失败．步骤３．Ｂ１ 执行Ｂｉ ｄ方法出价参与竞拍， 出价３ｅｔｈ． 此时， 最高出价者为Ｂ１， 最高价为３ｅｔｈ， Ｂｌ 的资金池里有３ｅｔｈ， 方法可执行情况与步骤２ 相同．步骤４．Ｂ２ 执行Ｂｉｄ方法出价竞拍， 出价４ｅｔｈ．此时， 最高出价者为Ｂ２ ， 最高价为４ｅｔｈ， Ｂ２ 的资金池里有４ｅｔｈ． 所有账户可以执行Ｂｉ ｄ方法， Ｂ１ 可以执行ＷｉｔｈｄｒａｗＢｉ ｄ．步骤５．Ｂ１ 执行ＷｉｔｈｄｒａｗＢｉ ｄ收回押金， 然后再次执行Ｂｉ ｄ出价竞拍， 出价５ｅｔｈ． 此时， 最高出价者为Ｂ１， 最高价为５ｅｔｈ， Ｂｌ 的资金池有５ｅｔｈ， Ｂ２ 资金池有４ｅｔｈ．步骤６． 等到竞拍时间结束． 此时， 只有Ａ可以执行Ｃｏｌ ｌ ｅｃｔＰａｙｍｅｎｔ ， Ｂ２可以执行ＷｉｔｈｄｒａｗＢｉｄ．步骤７．Ａ执行Ｃｏｌｌ ｅｃｔＰａｙｍｅｎｔ 收取货款， Ｂ２执行Ｗｉ ｔｈｄｒａｗＢｉ ｄ收回押金（ 不分先后顺序）． 合约结束， 合约中没有资金， 没有方法可以执行．（ ５） 实验结果与分析经过实际运行测试， 测试结果与上述流程中预测的方法可执行情况、合约状态相符． 账户余额与执行消耗ｇａｓ 情况如表５ 所示， 其中执行消耗ｇａｓ 指的是智能合约程序在以太坊虚拟机中执行所需消耗的ｇａｓ， 即程序实际执行的步骤． 存储消耗ｇａｓ 指的是更改区块链中数据所需消耗的ｇａｓ， 即将上传到区块链的变量的更改． Ｇａｓ 所消耗的以太币为ｃｏＭ＝Ｘｇａｓｐ＊ｒｉｃｅ， 其中ｇａｓＰｒｉｃｅ为ｇａｓ单价， 由合约用户在执行合约时设置， 单价的高低影响矿工处理的优先级．６ ６６ 计 算 机 学 报 ２０２１年表５ 运行情况当事人 操作 参数 账户余额／ｅｔｈ 总消耗ｇａｓ 执行消耗ｇａｓ 存储消耗ｇａｓ拍卖人Ａ 部署（初始化） Ａ９９． ９； Ｂｌ：１００． ０？Ｂ２：１００：０ ２１２４ ０４ ０ １５７７ ９８０ ５４６ ０６０拍卖人Ａ ＳｔａｒｔＢｉｄｄｉ ｎｇ 底价：２ｅｔｈ； 时间：３００ｓ Ａ９９． ９； Ｂｌ：１００． ０？Ｂ２：１００：０ １１０ ７３ ７ ８ ９０１７ ２１ ７２０竞买人Ｂ１ Ｂｉｄ 存人：３ｅｔ ｈ Ａ９９． ９； Ｂｌ：９６． ９；Ｂ２：１００：０ １５６５５ ２ １３５２８０ ２１ ２７２竞买人Ｂ２ Ｂｉｄ 存人：４ｅｔ ｈ Ａ９９． ９； Ｂｌ： ９６． ９；Ｂ２：９５． ９ １４１５５ ２ １２０ ２８０ ２１ ２７２竞买人Ｂ１ Ｗｉ ｔｈｄｒａｗＢｉｄ Ａ９９． ９； Ｂｌ：９９． ９；Ｂ２： ９５． ９ ４４３６１ ３８ ０８ ９ ６２７２竞买人Ｂ１ Ｂｉｄ 存人：５ｅｔ ｈ Ａ９９． ９； Ｂｌ：９４． ９；Ｂ２：９５：９ ８４ ４８ ０ ６３ ２０８ ２１ ２７２拍卖人Ａ ＣｏｌｌｅｃｔＰａｙｍｅｎｔ Ａ１０４． ９； Ｂｌ：９４． ９；Ｂ２：９５：９ ８１８６１ ６０ ５８ ９ ２１ ２７２竞买人Ｂ２ Ｗｉ ｔｈｄｒａｗＢｉｄ Ａ１０４． ９； Ｂｌ：９４． ９；Ｂ２：９９：９ ４４ ３６１ ３８ ０８ ９ ６２７２自动生成的Ｓｏｌ ｉ ｄｉ ｔｙ 智能合约中， 程序员仅对方法内的代码检查与修改， 而合约的接口、 变量、 修饰器、合约间的关系等程序结构由生成器自动生成．因此， ＳＰＥＳＣ规范化了Ｓｏｌｉ ｄｉｔｙ合约的结构．上述实验以竞买合约为例展示了通过ＳＰＥＳＣ编写、生成、运行的完整流程． 上述实例表明， 合约既可以通过时序逻辑表示描述执行流程， 也可以通过变量记录的合约状态描述， 因此， 该流程对于其它合约同样适用， 如买卖、竞买、借贷、 投票等．但对于合约中出现的除以太币外其它资产， 如自定义代币、买卖的货物等， 只能通过变量记录， 未来可以增加对资产的定义及操作．９ 总结与展望本文提出了ＳＰＥＳＣ的生成规则， 通过ＳＰＥＳＣ编写智能合约， 可以自动生成人员管理， 提供便捷的操作与查询接口， 用户不需要考虑当事人存储结构， 但增加了适用性的同时也会稍微增加运算开销； 可以根据条件生成时序控制， 记录条款执行情况；ＳＰＥＳＣ无法保证生成正确的函数体， 但可以根据后置条件生成方法结果检测， 辅助编写与检测程序．为了进一步改善ＳＰＥＳＣ语言， 后续工作将包括以下方面： 首先， 为验证ＳＰＥＳＣ编写合约的正确性，目前已有很多通过形式化验证合约正确性的研究， 如前文提到的文献［３ ７］等， 未来可以在已有的ＳＰＥＳＣ语言模型基础上， 建立形式化表示， 通过形式化的方法， 验证合约条款的前置、 后置条件， 以及条款间时序的正确性， 为用户提供形式化分析工具． 其次， 对于生成的Ｓｏｌ ｋＨｔｙ 目标代码正确性， 目前已有一些分析或检测漏洞的研究， 如文献［１７ ２０］等， 未来研究可以根据这些研究继续改进生成的目标代码， 优化程序结构和规范， 增强合约安全性和正确性．致 谢 感请何啸老师在可读性实验中提供的帮助， 感请实验室所有同学的帮助！参 考 文 献［１］Ｌｉ ｎｎｈｏｆ ｆＰｏｐｉ ｅｎＣ， ＳｃｈｎｅｉｄｅｒＲ，ＺａｄｄａｃｈＭ． Ｄｉｇｉ ｔ ａｌＭａｒｋｅｔｐｌａｃｅｓＵｎｌｅａｓｈｅｄ． Ｂｅｒｌ ｉｎ，Ｇｅｒｍａｎｙ：Ｓｐｒｉｎｇｅｒ，２０１８［２］ＳｚａｂｏＮ． Ｓｍａｒｔ ｃｏｎｔｒａｃｔｓ ： Ｂｕｉｌｄｉｎｇｂｌ ｏｃｋｓｆｏｒｄｉｇｉ ｔ ａｌｍａｒｋｅｔｓ． ＴｈｅＪｏｕｒｎａｌｏｆＴｒａｎｓｈｕｍａｎｉｓｔＴｈｏｕｇｈｔ ？ １９９ ６，（１６） ； １８ ２０［３］ＳｃｈｒａｎｓＦ？ＥｉｓｅｎｂａｃｈＳ？ＤｒｏｓｓｏｐｏｕｌｏｕＳ． Ｗｒｉｔｉｎｇｓａｆｅｓｍａｒｔｃｏｎｔ ｒａｃｔｓｉｎｆ ｌｉｎｔ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆ ｔｈｅＣｏｎｆｅｒｅｎｃｅＣｏｍｐａｎｉｏｎｏｆ ｔ ｈｅ２ｎｄＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＡｒｔ ， Ｓｃｉｅｎｃｅ？ ａｎｄＥｎｇｉｎｅｅｒｉｎｇｏｆＰｒｏｇｒａｍｍｉｎｇ． ＮｅｗＹｏｒｋ， ＵＳＡ， ２０１８：２１８ ２１９［４］ＣｏｂｌｅｎｚＭ． Ｏｂｓｉｄｉａｎ： Ａｓａｆｅｒｂｌｏｃｋｃｈａｉｎｐｒｏｇｒａｍｍｉｎｇｌａｎｇｕａｇｅ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆ ２０ １７ＩＥＥＥ／ＡＣＭ３９ｔ ｈＩｎｔ ｅｒｎａｔ ｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＳｏｆｔ ｗａｒｅＥｎｇｉｎｅｅｒｉｎｇＣｏｍｐａｎｉｏｎ（ ＩＣＳＥＣ） ．ＢｕｅｎｏｓＡｉｒｅｓ， Ａｒｇｅｎｔ ｉｎａ ，２０１７： ９７ ９９［５］ＩｄｅｌｂｅｒｇｅｒＦ？ＧｏｖｅｒｎａｔｏｒｉＧ？ ＲｉｖｅｒｅｔＲ？ ｅｔａｌ ． Ｅｖａｌｕａｔｉｏｎｏｆｌｏｇｉｃｂａｓｅｄｓｍａｒｔ ｃｏｎｔ ｒａｃｔｓｆｏｒ ｂｌ ｏｃｋｃｈａｉｎｓｙｓｔ ｅｍｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆ ｔｈｅ２０ １６ＲｕｌｅＭＬ１０ｔｈＩｎｔｅｒｎａｔｉｏｎａｌＳｙｍｐｏｓｉｕｍ． ＳｔｏｎｙＢｒｏｏｋ，ＵＳＡ，２０１ ６： １６７ １８３［６］ＳｅｒｇｅｙＩ ， ＫｕｍａｒＡ，Ｉ ｌｏｂｏｒＡ． Ｓｃｉｌｌａ： Ａｓｍａｒｔ ｃｏｎｔ ｒａｃｔｉｎｔｅｒｍｅｄｉａｔｅｌｅｖｅｌｌａｎｇｕａｇｅ． ＡｒＸｉｖｐｒｅｐｒｉｎｔ ａｒＸｉｖ： １８０ １．００ ６８７ ，２０１８［７］Ｆｒａｎｔ ｚＣＫ，ＮｏｗｏｓｔａｗｓｋｉＭ． Ｆｒｏｍｉｎｓｔｉｔ ｕｔ ｉｏｎｓｔｏｃｏｄｅ：Ｔｏｗａｒｄｓａｕｔｏｍａｔ ｅｄｇｅｎｅｒａｔｉｏｎｏｆ ｓｍａｒｔｃｏｎｔ ｒａｃｔｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆ ２０１６ＩＥＥＥ１ｓｔＩｎｔ ｅｒｎａｔ ｉｏｎａｌＷｏｒｋｓｈｏｐｓｏｎＦｏｕｎｄａｔ ｉｏｎｓａｎｄＡｐｐｌｉｃａｔ ｉｏｎｓｏｆＳｅｌｆｘＳｙｓｔｅｍｓ（ＦＡＳｘＷ）． Ｔｕｃｓｏｎ， ＵＳＡ，２０ １６： ２１０ ２ １５［８］ＫａｓｐｒｚｙｋＫ． Ｔｈｅｃｏｎｃｅｐｔ ｏｆ ｓｍａｒｔ ｃｏｎｔｒａｃｔｓｆｒｏｍｔｈｅｌｅｇａｌｐｅｒｓｐｅｃｔｉｖｅ． ＲｅｖｉｅｗｏｆＣｏｍｐａｒａｔ ｉｖｅＬａｗ，２０１８ ， ３４ （ ３）： ２１ ３０［９］ＧｏｌｄｅｎｆｅｉｎＪ？Ｌｅｉｔ ｅｒＡ． Ｌｅｇａｌｅｎｇｉｎｅｅｒｉ ｎｇｏｎｔｈｅｂｌｏｃｋｃｈａｉｎ：４Ｓｍａｒｔｃｏｎｔ ｒａｃｔｓ＾ａｓｌｅｇａｌｃｏｎｄｕｃｔ． ＬａｗａｎｄＣｒｉｔｉｑｕｅ，２０１８，２９（２） ： １４１ １４ ９［１０］ ＧｏｍｅｓＳＳ． Ｓｍａｒｔｃｏｎｔ ｒａｃｔｓ： Ｌｅｇａｌｆｒｏｎｔｉｅｒｓａｎｄｉｎｓｅｒｔｉｏｎｉｎｔｏｔｈｅｃｒｅａｔｉｖｅｅｃｏｎｏｍｙ． ＢｒａｚｉｌｉａｎＪｏｕｒｎａｌｏｆ Ｏｐｅｒａｔｉｏｎｓ＆－Ｐｒｏｄｕｃｔ ｉｏｎＭａｎａｇｅｍｅｎｔ ，２０ １８， １５（ ３）： ３７６ ３８５朱 岩等：一种高级智能合约转化方法及竞买合约设计与实现 ６６ ７ ３ 期［１１］ＡｌｌｅｎＪＧ．Ｗｒａｐｐｅｄａｎｄｓｔａｃｋｅｄ： ４Ｓｍａｒｔｃｏｎｔｒａｃｔｓ？ａｎｄｔｈｅｉｎｔｅｒａｃｔｉｏｎｏｆｎａｔｕｒａｌａｎｄｆｏｒｍａｌｌａｎｇｕａｇｅ． ＥｕｒｏｐｅａｎＲｅｖｉｅｗｏｆＣｏｎｔｒａｃｔＬａｗ？２０１８，１４（４）：３０７－３４３［１２］Ｏ’ＣｏｎｎｏｒＲ．Ｓｉｍｐｌｉｃｉｔｙ：Ａｎｅｗｌａｎｇｕａｇｅｆｏｒｂｌｏｃｋｃｈａｉｎｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２０１７ＷｏｒｋｓｈｏｐｏｎＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅｓａｎｄＡｎａｌｙｓｉｓｆｏｒＳｅｃｕｒｉｔｙ（ＰＬＡＳ？１７）． ＮｅｗＹｏｒｋ，ＵＳＡ，２０１７ ：１０７－１２０［１３］ＲｅｇｎａｔｈＥ，ＳｔｅｉｎｈｏｒｓｔＳ． ＳｍａＣｏＮａｔ：Ｓｍａｒｔｃｏｎｔｒａｃｔｓｉｎｎａｔｕｒａｌｌａｎｇｕａｇｅ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２０１８ＦｏｒｕｍｏｎＳｐｅｃｉｆｉ？ｃａｔｉｏｎ＆－ＤｅｓｉｇｎＬａｎｇｕａｇｅｓ（ＦＤＬ）． Ｇａｒｃｈｉｎｇ，Ｇｅｒｍａｎｙ，２０１８ ：５－１６［１４］ＣｈｏｕｄｈｕｒｙＯ，ＲｕｄｏｌｐｈＮ，Ｓｙｌｌ ａＩ，ｅｔａｌ． Ａｕｔｏ－ｇｅｎｅｒａｔｉｏｎｏｆｓｍａｒｔｃｏｎｔｒａｃｔｓｆｒｏｍｄｏｍａｉｎ－ｓｐｅｃｉｆｉｃｏｎｔｏｌｏｇｉｅｓａｎｄｓｅｍａｎｔｉｃｒｕｌｅｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２０１８ＩＥＥＥＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＩｎｔｅｒｎｅｔｏｆＴｈｉ ｎｇｓ（ｉＴｈｉｎｇｓ）ａｎｄＩＥＥＥＧｒｅｅｎＣｏｍｐｕｔｉｎｇａｎｄＣｏｍｍｕｎｉｃａｔｉｏｎｓ（ＧｒｅｅｎＣｏｍ）ａｎｄＩＥＥＥＣｙｂｅｒ，ＰｈｙｓｉｃａｌａｎｄＳｏｃｉａｌＣｏｍｐｕｔｉｎｇ（ＣＰＳＣｏｍ）ａｎｄＩＥＥＥＳｍａｒｔＤａｔａ（ＳｍａｒｔＤａｔａ）．ＮｏｖａＳｃｏｔｉａ ，Ｃａｎａｄａ２０１８：９６３－９７０［１５］Ｂｉ ｒｙｕｋｏｖＡ，ＫｈｏｖｒａｔｏｙｉｃｈＤ，Ｔｉｋｈｏｍｉ ｒｏｖＳ．Ｆｉｎｄｅｌ： ＳｅｃｕｒｅＤｅｒｉｖａｔｉｖｅＣｏｎｔｒａｃｔｓｆｏｒＥｔｈｅｒｅｕｍ／／Ｐｒｏｃｅｅｄｉ ｎｇｓｏｆｔｈｅＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＦｉｎａｎｃｉａｌＣｒｙｐｔｏｇｒａｐｈｙａｎｄＤａｔａＳｅｃｕｒｉｔｙ（ＦＣ２０１７）．Ｓｌｉｅｍａ，Ｍａｌｔａ，２０１７ ：４５３－４６７［１６］ＨｅＸｉａｏ，ＱｉｎＢｏｈａｎ，ＺｈｕＹａｎ，ｅｔａｌ． ＳＰＥＳＣ： Ａｓｐｅｃｉｆｉｃａｔｉｏｎｌａｎｇｕａｇｅｆｏｒｓｍａｒｔｃｏｎｔｒａｃｔｓ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２０１８ＩＥＥＥ４２ｎｄ ＡｎｎｕａｌＣｏｍｐｕｔｅｒＳｏｆｔｗａｒｅ ａｎｄ ＡｐｐｌｉｃａｔｉｏｎｓＣｏｎｆｅｒｅｎｃｅ（ＣＯＭＰＳＡＧ）． Ｔｏｋｙｏ，Ｊａｐａｎ，２０ １８ ： １３２－１３７［１７］ＬｕｕＬ，ＣｈｕＤＩ Ｉ，ＯｌｉｃｋｅｌＩ Ｉ， ｅｔａｌ． Ｍａｋｉｎｇｓｍａｒｔｃｏｎｔｒａｃｔｓｓｍａｒｔｅｒ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２０１６ＡＣＭＳＩＧＳＡＣＣｏｎｆｅｒｅｎｃｅｏｎＣｏｍｐｕｔｅｒａｎｄＣｏｍｍｕｎｉｃａｔｉｏｎｓＳｅｃｕｒｉｔｙ． Ｖｉｅｎｎａ， Ａｕｓｔｒｉａ，２０１６ ： ２５４－２ ６９［１８］ＡｔｚｅｉＮ？ＢａｒｔｏｌｅｔｔｉＣｉｍｏｌｉＴ． ＡｓｕｒｖｅｙｏｆａｔｔａｃｋｓｏｎＥｔｈｅｒｅｕｍＳｍａｒｔＣｏｎｔｒａｃｔｓ（ＳｏＫ）ｆ／ＰｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅ ｏｎＰｒｉｎｃｉｐｌｅｓｏｆＳｅｃｕｒｉｔｙａｎｄＴｒｕｓｔ．Ｂｅｒｌｉｎ， Ｇｅｒｍａｎｙ：Ｓｐｒｉｎｇｅｒ，２０１７ ， １０２０４：１６４－１８６［１９］ＢｈａｒｇａｖａｎＫ，ＳｗａｍｙＮ，ＳａｎｔｉａｇｏＺａｎｅｌｌａ－Ｂｅｇｕｅｌｉｎ，ｅｔａｌ．Ｆｏｒｍａｌｖｅｒｉｆｉ ｃａｔｉｏｎｏｆｓｍａｒｔｃｏｎｔｒａｃｔｓ ： Ｓｈｏｒｔｐａｐｅｒ／／Ｐｒｏｃｅｅｄｉｎｇｓｏｆｔｈｅ２０１６ＡＣＭＷｏｒｋｓｈｏｐｏｎＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅｓａｎｄＡｎａｌｙｓｉｓｆｏｒＳｅｃｕｒｉｔｙ． ２０１６：９ １－９６［２０］ＰａｒｉｚｉＲＭ，ＤｅｈｇｈａｎｔａｎｈａＡ． Ｓｍａｒｔｃｏｎｔｒａｃｔｐｒｏｇｒａｍｍｉｎｇｌａｎｇｕａｇｅｓｏｎ ｂｌｏｃｋｃｈａｉｎｓ： Ａｎｅｍｐｉｒｉｃａｌｅｖａｌｕａｔｉｏｎｏｆｕｓａｂｉｌｉｔｙａｎｄｓｅｃｕｒｉｔｙ／／Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆｔｈｅ２０１８ＩｎｔｅｒｎａｔｉｏｎａｌＣｏｎｆｅｒｅｎｃｅｏｎＢｌｏｃｋｃｈａｉｎ（ＩＣＢＣ２０１８），Ｃｈａｍ：Ｓｐｒｉｎｇｅｒ，２０１８ ： ４５ ３－４６７附录Ａ．ＳＰＥＳＣ编写的竞买合约完整实例．１ｃｏｎｔｒａｃｔＳｉｍｐｌｅＡｕｃｔｉｏｎ｛２ｐａｒｔｙｇｒｏｕｐｂｉｄｄｅｒｓ｛４ａｍｏｕｎｔ： Ｍｏｎｅｙ５Ｂｉｄ（ ）６ＷｉｔｈｄｒａｗＯｖｅｒｂｉｄＭｏｎｅｙ（ ）７｝８９ ｐａｒｔｙａｕｃｔｉｏｎｅｅｒ＾ＳｔａｒｔＢｉｄｄｉｎｇ（ｒｅｓｅｒｖｅＰｒｉｃｅ： Ｍｏｎｅｙ，ｂｉｄｄｉｎｇＴｉｍｅ： Ｄａｔｅ）１１ＳｔｏｐＢｉｄｄｉｎｇ（ ）１２｝１３１４ｈｉｇｈｅｓｔＰｒｉｃｅ：Ｍｏｎｅｙ１５ｈｉｇｈｅｓｔＢｉｄｄｅｒ： ｂｉｄｄｅｒｓ１６ＢｉｄｄｉｎｇＳｔｏｐＴｉｍｅ： Ｄａｔｅ１７１８－ｔｅｒｍｎｏｌ： ａｕｃｔｉｏｎｅｅｒｃａｎＳｔａｒｔＢｉｄｄｉｎｇ，１９ｗｈｅｎｂｅｆｏｒｅａｕｃｔｉｏｎｅｅｒｄｉｄＳｔａｒｔＢｉｄｄｉｎｇｗｈｅｒｅｈｉｇｈｅｓｔＰｒｉｃｅ＝ｒｅｓｅｒｖｅＰｒｉｃｅａｎｄＢｉｄｄｉｎｇＳｔｏｐＴｉｍｅ＝ｂｉｄｄｉｎｇＴｉｍｅ＋ｎｏｗ．２１２２－ｔｅｒｍｎｏ２：ｂｉｄｄｅｒｓｃａｎＢｉｄ，ｗｈｅｎａｆｔｅｒａｕｃｔｉｏｎｅｅｒｄｉｄＳｔａｒｔＢｉｄｄｉｎｇａｎｄｂｅｆｏｒｅＢｉｄｄ ｉｎｇＳｔｏｐＴｉｍｅ２４ｗｈｉｌｅｄｅｐｏｓｉｔ￥ｖａｌｕｅ＞ｈｉｇｈｅｓｔＰｒｉｃｅｗｈｅｒｅｈｉｇｈｅｓｔＰｒｉｃｅ＝ｖａｌｕｅａｎｄｈｉｇｈｅｓｔＢｉｄｄｅｒ＝ｔｈｉｓｂｉｄｄｅｒａｎｄ２６ｔｈｉｓｂｉｄｄｅｒ ： ： ａｍｏｕｎｔ＝ｔｈｉｓｂｉｄｄｅｒ ： ： Ｏｒｉａｍｏｕｎｔ＋ｖａｌｕｅ．２７２８－ｔｅｒｍｎｏ３＿ｌ： ｂｉｄｄｅｒｓｃａｎＷｉｔｈｄｒａｗＯｖｅｒｂｉｄＭｏｎｅｙ，ｗｈｅｎｔｈｉｓｂｉｄｄｅｒｉｓｎ＇ｔｈｉｇｈｅｓｔＢｉｄｄｅｒａｎｄｔｈｉｓｂｉｄｄｅｒ ： ： ａｍｏｕｎｔ＞ ０３０ｗｈｉｌｅｗｉｔｈｄｒａｗ￥ｔｈｉｓｂｉｄｄｅｒ： ： ａｍｏｕｎｔ３１ｗｈｅｒｅｔｈｉｓｂｉｄｄｅｒ： ： ａｍｏｕｎｔ＝０．３２ｔｅｒｍｎｏ３＿２： ｂｉｄｄｅｒｓｃａｎＷｉｔｈｄｒａｗＯｖｅｒｂｉｄＭｏｎｅｙ，ｗｈｅｎｔｈｉｓｂｉｄｄｅｒｉｓｈｉｇｈｅｓｔＢｉｄｄｅｒａｎｄｔｈｉｓｂｉｄｄｅｒ： ： ａｍｏｕｎｔ＞ｈｉｇｈｅｓｔＰｒｉｃｅｗｈｉｌｅｗｉｔｈｄｒａｗ￥ｔｈｉｓｂｉｄｄｅｒ： ： ａｍｏｕｎｔ－ｈｉｇｈｅｓｔＰｒｉｃｅ３６ｗｈｅｒｅｔｈｉｓｂｉｄｄｅｒ： ： ａｍｏｕｎｔ＝ｈｉｇｈｅｓｔＰｒｉｃｅ ．３７３８－ｔｅｒｍｎｏ４： ａｕｃｔｉｏｎｅｅｒｃａｎＳｔｏｐＢｉｄｄｉｎｇ，ｗｈｅｎａｆｔｅｒＢｉｄｄｉｎｇＳｔｏｐＴｉｍｅａｎｄｂｅｆｏｒｅａｕｃｔｉｏｎｅｅｒｄｉｄＳｔｏｐＢｉｄｄｉｎｇ４０ｗｈｉｌｅｗｉｔｈｄｒａｗ￥ｈｉｇｈｅｓｔＰｒｉｃｅ．４１｝６６ ８ 计 算机 学 报 ２０２１年ｔＺＨＵＹａｎ，Ｐｈ．Ｄ．，ｐｒｏｆｅｓｓｏｒ．Ｈｉ ｓｒｅｓｅａｒｃｈｉｎｔｅｒｅｓｔｓｉ ｎｃｌ ｕｄｅｉｎｆｏｒｍａｔｉｏｎｓｅｃｕｒｉｔｙａｎｄｃｒｙｐｔｏｇｒａｐｈｙ，ｓｅｃｕｒｅｃｏｍｐｕｔｉｎｇ，ｂｌｏｃｋｃｈａｉｎ， ｍｏｂｉｌｅｃｌｏｕｄｃｏｍｐｕｔｉｎｇ．ＢａｃｋｇｒｏｕｎｄＢｌｏｃｋｃｈａｉｎｉｓａｈｏｔｔｏｐｉｃｉｎｒｅｃｅｎｔｙｅａｒｓ，ａｎｄｓｍａｒｔｃｏｎｔｒａｃｔｓ ， ａｓｔｈｅｃｏｒｅｏｆｔｈｅｓｅｃｏｎｄ－ｇｅｎｅｒａｔｉｏｎｂｌｏｃｋｃｈａｉｎ，ａｒｅｗｉｄｅｌｙｄｅｐｌｏｙｅｄｉｎｄｅｃｅｎｔｒａｌ ｉｚｅｄａｐｐｌ ｉｃａｔｉｏｎ，ａｎｄａｒｅｃｏｎｎｅｃｔｅｄｔｏｔｈｅｆｉｅｌｄｓｏｆｃｏｍｐｕｔｅｒ，ｆｉｎａｎｃｅ，ｌ ａｗａｎｄｓｏｏｎ．Ａｔｐｒｅｓｅｎｔ，ｔｈｅｒｅａｒｅｓｏｍｅｒｅｓｅａｒｃｈｅｓｏｎｈｏｗｓｍａｒｔｃｏｎｔｒａｃｔｓａｒｅｅｘｐｒｅｓｓｅｄｆｒｏｍａｎａｔｕｒａｌｌａｎｇｕａｇｅ－ｌ ｉｋｅｐｅｒｓｐｅｃｔｉｖｅ，ｓｏｍｅｒｅｓｅａｒｃｈｅｓｐｒｏｖｉｄｅｓａｎｅｗｆｒａｍｅｗｏｒｋｏｆａｕｔｏｍａｔｉｃｇｅｎｅｒａｔｉｎｇ，ａｎｄｓｏｍｅｒｅｓｅａｒｃｈｅｓｐｒｏｖｉｄｅｆｏｒｍａｌｍｅｔｈｏｄｓｔｏｖｅｒｉｆｙｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｓｍａｒｔｃｏｎｔｒａｃｔｓ， ｂｕｔｔｈｅｒｅｉｓｎｏｃｏｍｐｌｅｔｅｓｏｌｕｔｉｏｎｆｒｏｍｓｙｎｔａｘｒｅｐｒｅｓｅｎｔａｔｉｏｎ，ｃｏｄｅｇｅｎｅｒａｔｉｏｎｔｏｅｘｅｃｕｔｉｏｎ．Ｔｈｉｓｐａｐｅｒｆｏｃｕｓｅｓｏｎｔｈｅｌａｃｋｏｆｃｏｎｖｅｒｓｉｏｎｍｅｔｈｏｄｓｂｅｔｗｅｅｎａｄｖａｎｃｅｄｓｍａｒｔｃｏｎｔｒａｃｔｌａｎｇｕａｇｅｓａｎｄｅｘｅｃｕｔａｂｌｅｓｍａｒｔｃｏｎｔｒａｃｔｌ ａｎｇｕａｇｅｓ．Ｂａｓ ｅｄｏｎｔｈｅｐｒｅｖｉｏｕｓＳＰＥＳＣｒｅｓｅａｒｃｈ，ｔｈｉｓｐａｐｅｒｄｅｓｉｇｎｓａｔｈｒｅｅ－ｌａｙｅｒｓｔｒｕｃｔｕｒｅｏｆｔｈｅＱＩＮＢｏ－Ｈａｎ，Ｍ．Ｓ．ｃａｎｄｉ ｄａｔｅ．Ｈｉｓｒｅｓｅａｒｃｈｉｎｔｅｒｅｓｔｓｉ ｎｃｌ ｕｄｅｂｌｏｃｋｃｈａｉ ｎ，ｓｍａｒｔｃｏｎｔｒａｃｔ．ＣＨＥＮＥ， Ｐｈ．Ｄ．ｃａｎｄｉｄａｔｅ．Ｈｅｒｒｅｓｅａｒｃｈｉｎｔｅｒｅｓｔｓｉｎｃｌｕｄｅｃｒｙｐｔｏｇｒａｐｈｙａｎｄｎｅｔｗｏｒｋｓｅｃｕｒｉｔｙ．ＬＩＵＧｕｏ－Ｗｅｉ，ｓｅｎｉｏｒｅｎｇｉｎｅｅｒ．Ｈｉｓｒｅｓｅａｒｃｈｉｎｔｅｒｅｓｔｓｉ ｎｃｌ ｕｄｅｂｉｇｄａｔａ，ｓｅｃｕｒｉｔｙｓｙｓｔｅｍ，ｓｅｃｕｒｉ ｔｙｍａｎａｇｅｍｅｎｔａｎｄｓｔａｎｄａｒｄ．ｓｍａｒｔｃｏｎｔｒａｃｔｓｙｓｔｅｍ，ｉｎｃｌｕｄｉｎｇａｄｖａｎｃｅｄｓｍａｒｔ－ｃｏｎｔｒａｃｔｌａｙｅｒ， ｂａｓｉｃｓｍａｒｔ－ｃｏｎｔｒａｃｔｌａｙｅｒ， ａｎｄｅｘｅｃｕｔａｂｌ ｅｍａｃｈｉｎｅ－ｃｏｄｅｌａｙｅｒ．Ｔｈｅｎｗｅｐｒｏｖｉｄｅｔｈｅｃｏｎｖｅｒｓｉｏｎｒｕｌ ｅｓｏｆｔｈｅａｄｖａｎｃｅｄｓｍａｒｔｃｏｎｔｒａｃｔｌ ａｎｇｕａｇｅｔｏｔｈｅｓｍａｒｔｃｏｎｔｒａｃｔｌａｎｇｕａｇｅ，ａｎｄｄｅｍｏｎｓｔｒａｔｅｓｉｔｔｈｒｏｕｇｈｅｘａｍｐｌｅｓ．ＦｉｎａｌｌｙｗｅｖｅｒｉｆｙｔｈｅｌｅｇｉｂｉｌｉｔｙｏｆＳＰＥＳＣａｎｄｔｈｅｃｏｒｒｅｃｔｎｅｓｓｏｆｔｈｅｃｏｎｖｅｒｓｉｏｎｐｒｏｃｅｓｓｅｓｔｈｒｏｕｇｈｔｗｏｃａｓｅｓｔｕｄｉ ｅｓ．ＴｈｉｓｗｏｒｋｗａｓｓｕｐｐｏｒｔｅｄｂｙｔｈｅＮａｔｉｏｎａｌＫｅｙＴｅｃｈｎｏｌｏｇｉｅｓＲ＆ＤＰｒｏｇｒａｍｓｏｆＣｈｉｎａ（２０１８ＹＦＢ１４０２７０２）＞ｔｈｅａｉｍｏｆｗｈｉ ｃｈｉｓｔｏｄｅｓｉｇｎａｎｄｄｅｖｅｌｏｐｓｍａｒｔｃｏｎｔｒａｃｔｓｅｒｖｉ ｃｅｂａｓｅｄｏｎｂｌｏｃｋｃｈａｉｎｆｏｒｒｅｓｅａｒｃｈｉｎｇｏｎｔｈｅｏｒｙａｎｄｔｅｃｈｎｏｌｏｇｙｏｆｍｏｄｅｒｎｓｅｒｖｉｃｅｔｒｕｓｔｔｒａｎｓａｃｔｉｏｎ．ＴｈｉｓｗｏｒｋｗａｓａｌｓｏｐａｒｔｌｙｓｕｐｐｏｒｔｅｄｂｙｔｈｅＮａｔｉｏｎａｌＮａｔｕｒａｌＳｃｉｅｎｃｅＦｏｕｎｄａｔｉｏｎｏｆＣｈｉｎａ（６１ ９７２０３２） ．