总账可验证修剪系统的制作方法

技术特征：
1.一种总账可验证修剪系统，其特征在于，包括偏斜梅克尔树生成模块，上述偏斜梅克尔树生成模块根据链表方式将之前子树的根哈希值r
n-1
包含在数据块t
n
中，对包含上述根哈希值r
n-1
的数据块t
n
进行散列来计算出h(t
n
)，将计算出的h(t
n
)与之前子树的根哈希值r
n-1
求和后进行散列来计算出h(h(t
n
)|r
n-1
)，将计算出的h(h(t
n
)|r
n-1
)依次添加到二进制梅克尔树结构的各节点中，从而扩展并生成偏斜梅克尔树。2.根据权利要求1所述的总账可验证修剪系统，其特征在于，还包括节点真伪验证模块，上述节点真伪验证模块为了验证过去规定数据块t
k
是否包含在上述偏斜梅克尔树中，利用上述t
k
和上述偏斜梅克尔树的规定根哈希值h(t
i
)，依次执行哈希值运算来计算出上述偏斜梅克尔树的最新根哈希值，通过对比计算出的最新根哈希值是否与预先已知的最新根哈希值r
n
一致，来验证上述t
k
的真伪，在上述h(ti)中，k<i<＝n。3.一种总账可验证修剪系统，其特征在于，包括h-偏斜梅克尔树生成模块，上述h-偏斜梅克尔树生成模块根据链表方式将之前子树的根哈希值r
n-1
包含在数据块t
n
中，对包含上述根哈希值r
n-1
的数据块t
n
进行散列来计算出h(t
n
)，将计算出的h(t
n
)、之前子树的根哈希值r
n-1
与跳转链接r
n-(基数^偏移量)
求和后进行散列来计算出h(h(t
n
)|r
n-1
|r
n-(基数^偏移量)
)，将计算出的h(h(t
n
)|r
n-1
|r
n-(基数^偏移量)
)依次添加到二进制梅克尔树结构的各节点中，从而扩展并生成h-偏斜梅克尔树，上述跳转链接r
n-(基数^偏移量)
为上述h-偏斜梅克尔树中过去规定时间点的节点上的根哈希值，上述基数是为了向每个规定间隔分配跳转链接而预设的跳转链接的最短距离，上述偏移量为当前节点的位置n％基数，上述跳转链接的距离通过基数
偏移量
值计算。4.根据权利要求3所述的总账可验证修剪系统，其特征在于，上述h-偏斜梅克尔树生成模块被配置为向偏移量 (基数
偏移量
)*k的每个节点分配上述跳转链接，上述k由正整数组成。5.根据权利要求3所述的总账可验证修剪系统，其特征在于，还包括节点真伪验证模块，上述节点真伪验证模块为了验证过去规定数据块t
k
是否包含在上述h-偏斜梅克尔树中，利用上述t
k
和上述h-偏斜梅克尔树的规定根哈希值h(t
i
)依次执行哈希值运算来计算出上述h-偏斜梅克尔树的最新根哈希值，通过对比计算出的最新根哈希值是否与预先已知的最新根哈希值r
n
一致，来验证上述t
k
的真伪，在上述h(ti)中，k<i<＝n。6.根据权利要求5所述的总账可验证修剪系统，其特征在于，上述节点真伪验证模块被配置为根据下述的步骤验证上述h-偏斜梅克尔树中是否存在哈希值r
y
或数据块t
y
：步骤1)：从最新的根哈希值r
head
到过去时间点方向的规定距离内的链接为基准，检索与r
y
的时间点相同或在未来的链接中存在于过去最早时间点的跳转链接或者链接；步骤2)：从上述检索到的存在于过去最早时间点的跳转链接或者链接的哈希值到过去时间点方向的规定距离内的链接为基准，检索与r
y
的时间点相同或在未来的链接中存在于过去最早时间点的跳转链接或者链接；步骤3)：重复步骤2)的过程至达到上述r
y
；步骤4)：利用上述t
y
，对上述步骤2)以及步骤3)中重复检索到的跳转链接或者链接的集合，依次计算朝未来方向的根哈希；以及步骤5)：对比最终计算出的根哈希值是否与上述r
head
相同，若对比结果相同，则验证上
述哈希值r
y
或者数据块t
y
存在于h-偏斜梅克尔树中。7.根据权利要求6所述的总账可验证修剪系统，其特征在于，上述规定距离为基数。

技术总结
本发明公开总账(ledger)的可验证修剪(verifiable pruning)系统，其包括偏斜梅克尔树生成模块，上述偏斜梅克尔树生成模块根据链表(linked list)方式将之前子树的根哈希(root hash)值R


技术研发人员：朱映炫
受保护的技术使用者：BLOOM技术株式会社
技术研发日：2020.07.21
技术公布日：2022/3/4