最近，在cz几条推特的轰炸之下，全球第二大交易所FTX因为挪用用户资产，被挤兑后迅速宣告破产，由此导致了用户对CEX资产储备不透明的强烈不信任感。而cz提出CEX要做MerkleTree的资产证明，并计划几周内发布，其他交易所纷纷表示跟进。
那么，什么是MerkleTree，中心化交易所应如何通过MerkleTree实现自身资产储备≥用户资产？本文将从技术角度讨论并给出完整的证明方案与代码实现。
我们以ETH为例，当我们要实现资产证明时，我们要证明的是链上资产ETH总额≥交易所用户ETH资产总额。因此，证明分为链上与链下两部分。
链上证明
链上证明比较简单，因为交易所通常会将所有用户充值汇总到几个地址，列出这几个地址在链上自查即可。为证明这些地址是交易所拥有，可用私钥签名一条简单的消息即可，签名只需要发布一次。
DeFi工程师的平均薪资仍跃升至180,500美元左右:金色财经报道，Durlston Partners的数据显示，尽管市场动荡和加密货币市场崩溃，但到2022年底，DeFi工程师的平均薪资仍跃升至180,500美元左右，DurlstonPartners在其报告中表示，由于该工作所需的高度专业化技能，DeFi人才的稀缺导致了激烈的竞争格局，雇主提供诱人的薪酬方案来吸引和留住顶尖人才。尽管人们对加密货币公司的信心下降和市场冻结，但经验丰富的工程师已被证明对于业务运营的连续性不可或缺，从而导致DeFi领域的薪资稳定。
Durlston指出，DeFi世界正在走向成熟，因此对拥有更多专业知识和经验的人才的需求不断增长。这导致了更高的薪水。这一趋势将使薪资在2023年之前保持稳定增长。[2023/7/3 22:15:26]
链下证明
多名MakerDAO核心贡献者将于4月30日离职:金色财经报道，已有五名MakerDAO核心贡献者表示将于4月30日离职，此前MakerDAO提案表示PECU的DAI预算流将于4月底停止，由较小的独立团队来执行范围框架，PECU将与社区成员合作，确保成功过渡到新的基于项目的资助框架。[2023/4/6 13:47:51]
链下证明就比较复杂，需要用到MerkleTree。
MerkleTree是一种二叉树，其最底层叶子节点存储数据以及数据的哈希，而每上一层节点则存储两个子节点的哈希，最后由根节点的哈希保证这个MerkleTree的任何节点数据的完整性。因为修改任何一个叶子节点的数据都会导致根节点的哈希变化，因此，使用MerkleTree可以保证，只要发布了Root，树的所有子节点均不可修改：
孙宇晨地址从Aave V2提取8200万枚USDC并兑换为DAI:3月11日消息，派盾监测数据显示，孙宇晨地址从Aave V2中提取8200万枚USDC并全部兑换为DAI。孙宇晨地址之后从Aave V2中提取1160万枚USDC。[2023/3/11 12:56:47]
假设交易所全部5个用户持有若干不等的ETH，按用户ID可表示如下：
SEC警告个人退休账户(IRA)中的加密资产可能是未注册证券:金色财经报道，美国证券交易委员会(SEC)周二发布了一份投资者警告，表示个人退休账户(IRA)中的加密资产可能是未注册证券。SEC指出，一些IRA有时会提供加密投资，而这些可能是未经SEC注册或有效注册豁免而提供的证券，并且可能没有提供完整或准确的信息来帮助投资者做出明智的决定。这些加密资产的许多交易平台都将自己称为‘交易所’，这可能会给投资者一种他们已在美国证券交易委员会注册的错误印象。[2023/2/8 11:53:33]
可将用户ID视为索引，构造MerkleTree并计算MerkleRoot：
StarkNet测试网将支持Chainlink喂价:2月6日消息，StarkWare 宣布将与 Chainlink Labs 建立合作伙伴关系，StarkWare 将正式加入 Chainlink SCALE 计划，StarkNet 测试网也将支持 Chainlink 喂价。
StarkWare 表示，将使用 StarkNet Token 支付部分预言机费用以降低开发者成本，未来也会在主网部署 Chainlink 喂价。[2023/2/6 11:50:25]
交易所发布MerkleRoot后，可确保所有子节点——即用户ID对应的子节点余额均完全确定下来，每个用户均可根据自己的用户ID查询余额是否相符，只要有任何一个用户发现自己的余额在指定索引的位置不符，即可判断交易所造假。
为了证明交易所的用户资产储备总额，交易所也不得不公开所有子节点的索引与余额，这样任何第三方才能计算出用户资产总额，并根据交易所公布的MerkleRoot确认这些子节点数据没有被篡改。
然而，这样一来，每个用户的持币余额就完全公开了，可以很容易地对持币大户进行跟踪。因此，我们需要一种机制将一个用户的余额拆成若干份，并存储在多个不同的索引地址。为了确保索引不会冲突，可使用SparseMerkleTree，用以太坊地址作为索引。对SparseMerkleTree不熟悉的同学可以参考针对以太坊实现的一种SparseMerkleTree。
例如，对于用户45678持有的45.67余额，我们可以分为3份：
14.727835427.8394771023.10268748然后，根据ID计算出确定的若干地址索引：
6f1cc8a44919eb1c6576d6819b37ac9ab288ecb59759bf1d54e5f25f135d7674dea3bef0d24fb15346daefba020f7e5bfa957b13aeaa4b72034a90fd这样我们就可以把这个用户的余额分别存放在3个子节点上。把所有用户都处理一遍，假设结果如下：
我们就可以得到一个地址索引=余额的列表。对地址进行排序，以便让同一个用户的多个地址不再连续列出，得到地址/余额的CSV如下：
交易所计算总额683.91以及MerkleRoot值0x61cdf659...c41c40fe，公开CSV文件及MerkleRoot后，任何第三方可校验树的有效性，并获得用户资产总额，再与链上对比。对于每一个用户来说，需要根据自己的ID，快照时产生的余额，以及交易所给出的用于生成确定性地址的随机数，可自行验证对应的若干节点余额总和与自己的资产额度完全相等。
这种方式既能保证每个用户可验证自己的资产，又能保证其他人无法推算某个用户的资产，其缺点是计算较为繁琐，需要相应的第三方工具帮助用户校验。
小结
本文给出了一种交易所用户资产的额度证明，并保证不泄漏任何用户的额度。详细代码可参考GitHub源码：
https://github.com/michaelliao/eth-smt/blob/master/sample/src/main/java/com/itranswarp/sample/Proof.java
责任编辑：Kate
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。