如何证明多个值不存在于同一个默克尔树【威尼斯人平台】

本文摘要:本质上,默克尔的根是我们解释、使用、改良以太坊协定不可缺少的一部分。(阿尔伯特爱因斯坦,NorthernExposure(美国电视),)默克尔证明了什么,默克尔树是否在截顶,我已经在前面一篇文章中说明了。

默克尔

翻译记录:以太网房间网络是包含状态余额、交易号码(nonce)、合同代码、合同存储内容等的丰富状态(stateful)的世界计算机。技术上,这些状态数据是由名为“默克尔根”的结构组织的,因此可以通过以太的世界状态和采访、改编,以及默克尔根及其采访、改编来传达。

在某种程度上,所有与Mercel根源相关的数据证明和检查操作员都可以解释为Etherfang协议背景下的状态证明和检查操作员。本质上,默克尔的根是我们解释、使用、改良以太坊协定不可缺少的一部分。

本文介绍了如何证明多个值不存在于同一个默克尔树中,因此如何证明多个以太的状态属于同一个时间点的世界状态。科普|默克尔密集的默克尔树根多值证明(Sparse Merkle multiproofs)是对默克尔树截留(Merkle Pollard)的替代方案,可以得到证明一棵默克尔树没有多值的证据,从而节省空间。

(阿尔伯特爱因斯坦,Northern Exposure(美国电视),)默克尔证明了什么,默克尔树是否在截顶,我已经在前面一篇文章中说明了。(阿尔伯特爱因斯坦,Northern Exposure(美国电视),)请重新推荐读者,解释这些概念,再来读者文本。接下来,文本使用右侧的默克尔树来说明多值证明。

密集的多值证明首先是Vitalik Buterin明确提出的。多值证明多值证明(multiproof)是将一株默克尔树的证明集包装在一起,节省储存空间。例如,右图中默克尔根部的三个默克尔,如上图所示,这三个证明共包含9个中间分支的哈希值(即绿色部分)。每个证明都有三个哈希。

将这三种证明组合成下图右侧图中的结构,与单个证明所需的共9个中间分支哈希值相比,默克尔也可以证明值只需要7个哈希值,从而节省了存储空间。密集的多值证明是默克尔根的多值证明,节省了一些存储空间,但其中一些数据可以通过其他方法获得,因此删除这些数据会进一步节省存储空间。(翻译记录:可以通过其他方法获得的数据不需要保存在证明文件中。

只有在需要的时候才能得到。)上图中的Murcloot多值可以计算事例、网络桌面报纸网和许多中间季度的哈希值。例如,检查者用散列函数计算未知值Banana和Peach,然后散列值BC4f.8d3f和59a0.你可以得到421d。连接到6个节点的两个节点的散列值C0B7.DA30和6FF9.8e3D是通过需要连接到两个节点的子节点的散列值计算的。

因为子女节点的哈希值可以包含在证书中,也可以计算为更高一级的哈希值。在右图中,黄色节点显示了四个可计算的哈希。去除这些哈希可以得到默克尔树的密集多值证明。

下图右侧:密集的默克尔树根部多值证明将必须包括的海试数从9个增加到3个。在证明效果完全相同时,密集的多值证明也比默克尔更有效。

因为后者必须有6个哈希。检查者收到密集的多值证明后,必须进行下一步,以确认该值是否是默克尔根的一部分(从左到右,从上到下)。

(译者录:“散列特定值”是指将值用作散列函数的输出。获取随机输入字符串)将Banana散列导入到BC4f.将8d3f paych散列导入59a0.将421D Kumquat Hash导入2aab.6f791 BC4f.8d3f和59a0.将421d哈希导入9c15.5dec获得2 AAB F D596.66ef和9 c15.5 dec哈希为c0b7.da30 e336.ed14和a6 E4.87df散列为6ff9.8e3d c0b7.da30和6ff9.8e3d散列为d576.。

本文关键词:哈希值,密集,威尼斯人平台,证明,节省

本文来源:威尼斯人平台-www.e-biznesy.com

相关文章