《表1 智能合约语言约束：智能合约安全与实施规范研究》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《智能合约安全与实施规范研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

智能合约的创建主要是体现在代码设计规则性上。在编写智能合约代码时，应符合代码书写规范、逻辑要求等规范性要求，使用已经广泛应用的安全技术和工具，合约和函数应模块化，避免出现逻辑性冲突，避免已知的逻辑漏洞和低级的逻辑错误，如转账前余额未校验，未检查返回值的调用等。同时，对智能合约语言进行约束，包括数据类型、计算类型和计算基本结构等内容[6]，如表1所示。