[发明专利]面向以太坊智能合约的协议安全属性自动提取方法及系统

权利要求书

1.一种面向以太坊智能合约的协议安全属性自动提取方法，其特征在于，包括：

根据以太坊智能合约的源码中使用的函数和/或全局变量类型，确定所述以太坊智能合约的类型；

根据所述以太坊智能合约的类型，提取设定类型的安全属性。

2.根据权利要求1所述的一种面向以太坊智能合约的协议安全属性自动提取方法，其特征在于，所述根据以太坊智能合约的源码中使用的函数与全局变量类型，确定所述以太坊智能合约的类型包括：

查找所述以太坊智能合约的源码中是否有如下函数和/或全局变量：第一类为变量balances和totalSupply；第二类为函数transfer；第三类为函数buyToken；

如果所述以太坊智能合约的源码包含以上三类，则归类为兑换合约；

如果所述以太坊智能合约的源码包含第一类与第二类，则归类为代币合约；

如果所述以太坊智能合约的源码未包含以上三类，则继续查找其是否使用了以太坊官方函数transfer、send和call，若使用，则归类为以太币相关合约。

3.根据权利要求1或2所述的一种面向以太坊智能合约的协议安全属性自动提取方法，其特征在于，

当所述以太坊智能合约的类型为以太币相关合约时，提取如下两类安全属性：

第一类为不变式属性，满足在任意交易前后，下述不变式成立：

其中，amount(a₁)表示以太币相关合约能够转给账户a₁的以太币数量，m_e(a₁)表示账户a₁的以太币余额，A₁表示amount变量值或以太币余额会被交易所影响的账户地址集合；C₁为任意的常量值；

第二类为等价属性，满足在执行两个参数相同的交易后，即使两个交易所在区块的区块号或时间戳不同，各个账户的以太币余额依然相同。

4.根据权利要求1或2所述的一种面向以太坊智能合约的协议安全属性自动提取方法，其特征在于，

当所述以太坊智能合约的类型为以代币合约时，提取不变式属性，满足在任意交易前后，下述不变式成立：

其中，balances(a₂)表示账户a₂保存的代币余额，totalSupply表示保存代币的总量，A₂表示代币余额会被交易所影响的账户地址集合。

5.根据权利要求1或2所述的一种面向以太坊智能合约的协议安全属性自动提取方法，其特征在于，

当所述以太坊智能合约的类型为兑换合约时，提取不变式属性，满足在任意交易前后，下述不变式成立：

其中，balances(a₃)表示账户a₃保存的代币余额，m_e(a₃)表示账户a₃的以太币余额，A₃表示代币余额或以太币余额会被交易所影响的账户地址集合，C₂为任意的常量值，γ为代币对以太币的汇率。

6.一种面向以太坊智能合约的协议安全属性自动提取系统，其特征在于，用于实现权利要求1～5任一项所述的方法，该系统包括：

合约分类单元，用于根据以太坊智能合约的源码中使用的函数和/或全局变量类型，确定所述以太坊智能合约的类型；

安全属性提取单元，用于根据所述以太坊智能合约的类型，提取设定类型的安全属性。

7.一种处理设备，其特征在于，包括：一个或多个处理器；存储器，用于存储一个或多个程序；

其中，当所述一个或多个程序被所述一个或多个处理器执行时，使得所述一个或多个处理器实现如权利要求1～5任一项所述的方法。

8.一种可读存储介质，存储有计算机程序，其特征在于，当计算机程序被处理器执行时实现如权利要求1～5任一项所述的方法。