[发明专利]一种在Tangle区块链系统上支持智能合约协议的方法

权利要求书

1.一种在Tangle区块链系统上支持智能合约协议的方法，其特征在于，包括：

创建Tangle节点，其中，Tangle节点包括Tangle代理、智能合约组件、交易组件；

在Tangle节点中创建智能合约的SDK；

在Tangle节点上支持智能合约的协议，其包括：

在Tangle节点上支持智能合约的数据结构，包括在原有账单交易的基础上，提出智能合约部署交易和智能合约调用交易，利用账单交易中的消息字段去承载智能合约信息，该信息为智能合约的二进制代码，其中，智能合约部署交易的消息字段包含有智能合约部署字段，智能合约调用交易的的消息字段包含有智能合约调用字段、前序智能合约验证字段、前序智能合约执行字段；

在Tangle节点上部署智能合约，包括：当在Tangle节点部署智能合约时，通过编译程序将该智能合约编译成二进制代码，利用共识机制PoW计算Nonce值，并验证前序账单交易；创建智能合约部署交易，所述智能合约部署交易头部字段包含所述Nonce值，其消息字段包含欲部署的智能合约二进制代码；将所述智能合约部署交易发布到Tangle节点上；

基于等值交换机制执行智能合约，包括：当Tangle节点为调用智能合约SC104而发布一个新的智能合约调用交易时，需先帮助执行智能合约调用交易115中的智能合约SC103，其中，智能合约SC104和SC103在执行时所消耗的CPU指令数近似，其执行结果存储于前序智能合约执行字段；验证前序智能合约执行的结果，并将验证结果存储于前序智能合约验证字段；将该新的智能合约调用交易发布到Tangle节点上；

基于可信执行环境TEE验证智能合约。

2.根据权利要求1所述的方法，其特征在于：

智能合约调用字段用于调用已经部署的智能合约，前序智能合约验证字段用于存储前序智能合约的验证结果，前序智能合约执行字段用于存储前序智能合约的执行结果。

3.根据权利要求1所述的方法，其特征在于：

当一个Tangle节点发现智能合约调用交易中存在错误信息时，通过调用FPC共识来仲裁。

4.根据权利要求1所述的方法，其特征在于：

基于可信执行环境TEE验证智能合约包括：采用Intel SGX 的Remote Attestation框架对智能合约进行验证。

5.根据权利要求4所述的方法，其特征在于：

当Tangle节点A要验证Tangle节点B所执行的智能合约结果时，Tangle节点A会向Tangle节点B发起一个远程验证，并结合Tangle节点B的ID对该智能合约在可信执行环境TEE中生成的数字摘要进行验证，即可判断出Tangle节点B的智能合约是否被正确执行。

6.根据权利要求1至5任一项所述的方法，其特征在于：

在Tangle节点中创建智能合约的SDK包括：

基于可信执行环境TEE的构建智能合约函数链接库，通过引用函数链接库在Tangle节点上的地址以进行调用智能合约；运行智能合约时，将所需函数链接库下载至本地，即可令智能合约被正常执行；

构建Tangle节点智能合约的TEE工具链，该TEE工具链包含有编译程序、验证器以及执行环境，其中，验证器用于对生成的智能合约程序进行验证，执行环境通过库操作系统LibOS向智能合约程序的可信应用提供完整的系统服务。

7.根据权利要求6所述的方法，其特征在于：

所述编译程序包括：

在所有编译操作之前，为原始代码添加用于生成SGX Attestation的代码，并添加用于验证输入参数签名的代码；

将源码文档转译为汇编代码文件、扫描并统计各个基本代码块的指令数；

通过汇编器将汇编代码文件翻译成机器指令；

通过链接器将一个或多个由编译程序或汇编器生成的目标文件外加库，连结为一个可执行文件。