[发明专利]基于可认证数据结构的区块链语义分析的方法

权利要求书

1.基于可认证数据结构的区块链语义分析的方法，其特征在于，包括以下步骤：

S1：获取比特币区块中非二叉树结构的数据；

S2：基于Monad技术将非二叉树结构的数据转换为可认证数据结构；

S3：使用得出的可认证数据结构进行比特币交易验证；

步骤S2的具体操作步骤包括：

S21：输入非二叉树结构的数据；

S22：从Merkle树中抽取出生成证明流和验证证明流的操作性语义，并写入编译器；

S23：将编译器中的所述操作性语义进行Monad转化，成为等价的指示性语义；

S24：将得到的所述指示性语义转化为目标编译器语言编码的库文件；

S25：调用所述目标编译器语言编码的库文件将输入的非二叉树结构转换为可认证数据结构，所述可认证数据结构为基于Merkle树的二叉树数据结构；

步骤S23中所述操作性语义包括纯函数、纯函数组合、非纯函数和非纯函数组合，将操作性语义Monad转换为等价的指示性语义的具体步骤包括：

S231：将操作性语义中的纯函数和纯函数组合用λ演算表示，并将其编码为λ表达式，再用let语句表示其指示性语义；

S232：将操作性语义中的非纯函数和非纯函数组合进行范畴转化；再将转换后的非纯函数和非纯函数组合编码，得出指示性语义；

步骤S231的具体操作步骤为：

步骤2311：将纯函数f(x)和g(x)，用λ演算表示为：

F(x)＝λx.e₁和g(x)＝λx.e₂        (1)，

其中，e₁和e₂表示任意表达式；

步骤2312：将纯函数组合用λ演算表示为：

h(x)＝(λx.e₁)[e₂/x]         (2)，

其中，[e₂/x]表示用e₂替换表达式e₁中出现的所有非自由变量x；

步骤2313：将纯函数组合h(x)编码为λ表达式：

h(x)＝(fun x→e₁)e₂         (3)，

将其用let语句表示为：

h(x)＝let y＝e₂ in e₁       (4)；

步骤S232中的具体操作步骤包括：

S2321：将非纯函数的基本类型映射到Kleisli范畴中的对象；

S2322：将非纯函数映射到Kleisli范畴中的态射；

S2323：在Kleisli中采用bind操作将非纯函数转换为纯函数；

S2324：将转换后的纯函数进行组合；

S2325：将转换后的纯函数和纯函数组合进行编码表示。