Merkle树的逻辑和证明

什么是Merkle树

定义

MerkleTree,也叫默克尔树或哈希树,是区块链的底层加密技术,被以太坊区块链广泛采用。MerkleTree是一种自下而上构建的加密树,每个叶子是对应数据的哈希,而每个非叶子为它的2个子节点的哈希。

如何生成Merkle树的数据

在solidity中我们通过keccak256算法计算hash值:

keccak256(abi.encodePacked(toHashValue)e.g.:hash前0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2hash后0x999bf57501565dbd2fdcea36efa2b9aef8340a8901e3459f4a4c926275d36cdb

Merit Circle从社区激励分配中销毁2亿枚MC的提案已通过:10月26日消息,Merit Circle DAO已投票通过关于从社区激励分配中销毁2亿枚MC代币的MIP-20提案。

据此前报道,链游公会Merit Circle(MC)社区发起从社区激励分配中销毁2亿枚MC代币的提案。Merit Circle代币MC初始总供应量为10亿美元,分配给社区激励的占比为近30%。MIP-20提案认为,自从创建社区激励钱包以来,这些代币没有任何效用,也没有被花费。根据Merit Circle MIP-7提案,目前社区激励钱包每月有6125000枚代币被销毁,但钱包8中仍有近2亿个MC代币。[2022/10/26 11:44:48]

在对叶子节点的值进行hash运算之后,再把相邻的节点再进行hash运算,直到只剩下一个根节点。假设存在两个相邻的节点A和B,那么在进行hash运算的时候到地址是hash(A+B)呢?还是hash(B+A)呢?其实这是由A和B的大小决定的,在openzeppelin对应的merkle代码中我们可以找到这么一段代码:

GameFi平台Arcade与Merit Circle达成合作:1月9日消息,GameFi平台Arcade宣布与Merit Circle达成合作。后者将成为Arcade的高级战略顾问。

据悉,Merit Circle创建了一个DAO,旨在为想要帮助构建元宇宙的人提供Play-to-Earn的机会。[2022/1/9 8:36:15]

function_hashPair(bytes32a,bytes32b)privatepurereturns(bytes32){returna<b?_efficientHash(a,b):_efficientHash(b,a);}

总结来说就是把相对小的数值放到前面去这么来排序计算hash值。这个地方在自己动手实际运算的时候可能会有些许困惑。在实际的项目中一般只需要把计算的最后结果的根hash值存储到合约中,如果大量的地址都需要存到合约中的话会消耗大量的gas费。经过merkle树计算之后,大大的减少了需要存储的数据。通过一段foundry的setUp演示下如何计算和存储roothash值:

聚币今日上线TIMER 开盘最高涨幅166%:据官方消息,聚币Jubi平台于2020年8月12日15:00上线TIMER/USDT,开盘最高涨幅166%,最高价0.2USDT,开盘价0.075USDT。

TIMER提出了一个分布式、安全的且具有良好扩展性的内容激励协议。Timer protocol协议可以为视频和流媒体内容社区提供一个基于经济学的激励模型和基于密码学的信任环境。Timer从协议层构建了具有高扩展性、强鲁棒性和低延迟性的区块链,可以很好地满足上层视频和流媒体应用的使用。[2020/8/12]

bytes32publicroot;bytes32publicleafs;bytes32publicl2;functionsetUp()public{addressmemoryaddrss=newaddress(4);addrss=0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2;addrss=0x2d886570A0dA04885bfD6eb48eD8b8ff01A0eb7e;addrss=0xed857ac80A9cc7ca07a1C213e79683A1883df07B;addrss=0x690B9A9E9aa1C9dB991C7721a92d351Db4FaC990;//通过地址列表计算叶子节点的hash值leafs.push(keccak256(abi.encodePacked(addrss)));leafs.push(keccak256(abi.encodePacked(addrss)));leafs.push(keccak256(abi.encodePacked(addrss)));leafs.push(keccak256(abi.encodePacked(addrss)));//计算第二层的hash值l2.push(keccak256(abi.encodePacked(leafs,leafs)));l2.push(keccak256(abi.encodePacked(leafs,leafs)));//计算根的hash值root=keccak256(abi.encodePacked(l2,l2));}

声音 | Brendan Blumer:相互竞争的区块链将很快通过侧链进行协作:据 IMEOS 报道,Block.One CEO Brendan Blumer 发推表示,相互竞争的区块链将很快通过侧链进行协作,宗教之墙将会倒下,社区将会合并,创新力将会聚合 。[2018/9/2]

为了演示方便我们值写了4个地址,实际项目中可能地址数量非常大。

如何来验证Merkle树

在合约中存储到roothash值之后我们如何去验证由客户端发过来的地址是否是有效地址或者说在白名单中的地址呢?首先我们需要将地址进行hash运算,作为第三个参数,然后将地址相邻的hash值作为proof传到验证函数中。proof列表对应下面图片中的红色标记区域

测试的验证方法:

functiontestVerify()public{addressproofAddress=0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2;bytes32memoryproof=newbytes32(2);proof=leafs;proof=l2;assert(MerkleProof.verify(proof,root,keccak256(abi.encodePacked(proofAddress))));}

在实际项目中的应用场景

发放空投

NFT的白名单

在合约审计中的常见漏洞

functionparentHash(bytes32a,bytes32b)publicpurereturns(bytes32){if(a<b){returnkeccak256(abi.encode(a,b));}else{returnkeccak256(abi.encode(b,a));}}

abi.encode(address,uint)将会输出64字节。由于abi.encode(bytes32,bytes32)也是64字节,因此在叶子节点和父节点之间可能会发生哈希碰撞。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

[0:15ms0-1:399ms