[发明专利]一种可更新的智能合约的动态验证方法

权利要求书

1.一种可更新的智能合约的动态验证方法，其特征在于，包括以下步骤：

步骤S1：编译器接收一份智能合约源代码作为输入；

步骤S2：编译器接收一份验证条件作为输入；

步骤S3：编译器输出经修改后的安全智能合约。

2.根据权利要求1所述可更新的智能合约的动态验证方法，其特征在于，所述编译器的运行步骤包括：

步骤S10：转换并储存验证条件；

步骤S11：植入验证解释器；

步骤S12：添加验证函数调用；

步骤S13：输出结果。

3.根据权利要求2所述可更新的智能合约的动态验证方法，其特征在于，所述步骤S10包括：在输入的智能合约源代码中添加一个string类型的storage变量且名称为verification，将输入的验证条件语言转换为字节码格式，并存储在verification变量中；

在智能合约源代码中添加一个setVerification函数，该函数的输入参数是一个string类型的变量，函数内部将这个参数赋值给verification变量，用于从外部更新verification变量的值，并限制该函数只能由智能合约的创建者调用。

4.根据权利要求3所述可更新的智能合约的动态验证方法，其特征在于，所述步骤S11包括：在智能合约源代码中添加一个check函数用于验证，所述check函数的输入参数为一个string类型的变量且名称为information，表示函数调用时的函数名、传入的参数、调用位置经编码后的结果，函数内部为验证条件语言的解释器，将会依次执行存储在verification变量的字节码中的指令。

5.根据权利要求4所述可更新的智能合约的动态验证方法，其特征在于，所述步骤S12包括：对智能合约源代码进行分析，找出其所有的函数，并在函数的第一行和最后一行插入一个check函数的调用语句，将函数名、函数的多个参数、当前位置的三种信息进行编码，转换为一个string类型的值并传入check函数中。

6.根据权利要求2所述可更新的智能合约的动态验证方法，其特征在于，所述步骤S13包括：将处理后的智能合约代码输出，输出的智能合约代码为安全的经过验证的智能合约。