Gate是一家拥有1,300万+用户、1,700+交易对的老牌加密交易所。作为全球历史最长和交易量最大的交易平台之一，Gate.io严格遵循行业规则，不参与市场运作。公开、透明、平等、合作一直是我们坚持的使命。我们采取了多种中心化和去中心化的方式保障用户的资产安全。

早在2020年5月，Gate就率先提出了交易所储备金证明的概念，并邀请了美国知名审计公司Armanino LLP对其资产进行审计，是业界最早提出储备金证明的交易所之一。2023年11月23日，Gate 正式宣布通过零知识证明技术进行储备金升级，让用户享受更优质的隐私保护和数据安全，成为业内率先采用零知识证明储备金证明的交易所之一。本文将指导您运用Gate储备金证明验证您在 Gate.io 的资金安全。

背景概念

什么是储备金证明？

在中心化交易所（CEX）中，每个用户的资产通过平台数据库中的账本进行记录，用户很难确认自己的资产是否被转移以及交易所是否有足够的资产兑付用户存入平台的资产。所以交易所需要一种方法证明自己有足够的储备资产能在用户取出时做到100%兑付，这要求交易所储备资产价值要高于用户存入资产价值。这种公开的资产的证明就叫做储备金证明。与储备金证明相关的数据是储备金率，即交易所持有资产与用户存入资产的比值*100%，当储备金率大于100%时，即证明交易所资产可以满足用户正常提取，储备金率越大，对流动性风险的抵抗能力越强。

储备金率一般分为交易所储备金率和单币种储备金率，其中交易所储备金率是指交易所总体资产情况与总用户存入资产的比值100%，而单币种储备金率则是单个币种的交易所钱包持有数量与用户存入的该币种数量的比值100%。

了解更多请点击《zk-SNARK如何改进Gate.io的储备金证明》

什么是零知识证明？

零知识证明（ZKP）是一种加密方法，它使得一方（称为证明者）能够向另一方（称为验证者）证明某个陈述是正确的，而无需提供任何其他的信息，即不泄露证明陈述正确性所依据的任何知识。这个过程不仅保护了证明者的隐私，而且还确保了验证者不能复制证明过程或者利用它来得到任何额外的信息。

举个简单的例子来理解这项技术，用户A知道用户B的电话号码，当用户C询问A是否知道B电话号码时，用户A可以通过当场拨打B电话的方式证明自己确实拥有，而无需将B的号码告诉C，这个保留用户隐私却能知道答案的过程就是进行“零知识证明”的过程。

了解更多请点击《一文详解零知识证明（ZKP）》

零知识证明与储备金怎么结合？

zk-SNARK是一种简洁化、非交互式的零知识证明技术。其提前进行“可信初始化”，从而生成公共参考字符串（CRS），使得所有的示证者都可以直接访问它。这就相当于在考试评分时，zk-SNARK 直接上传了正确答案，然后让考生自己对答案（把自己解的某道题发送给后台系统，就会直接得到正确与否的最终结果），非常高效。

Merkle Tree（默克尔树）是种类似于“树”的数据结构，最下层数据称为“叶节点”，中间可以称为“中间节点”，左右两个叶节点可以经过哈希处理（把任意输入值通过特定处理方式得出特定值）输出中间节点的值，左右中间节点经过哈希处理得到上层中间节点唯一的输出值，层层处理后，最终得到唯一的默克尔树的根节点（Root）。

Gate 采用将zk-SNARK技术与Merkle Tree（默克尔树）相结合，将所有用户的存款放入默克尔树中，然后使用 zk-SNARK 来证明树中的所有余额都是非负的（即交易所没有伪造账户干扰默克尔树的输出），最后生成默克尔树，并公开相关的节点哈希与根哈希供用户验证。

实际操作教程

前端UI界面

点击链接或进入 Gate.io 页面底端 【100% Proof of Reserves】 （100%储备金）按钮进入Gate储备金前端页面

储备金基本信息

进入Gate.io 储备金前端页面后，用户可以直接查看目前储备金的更新时间。以下图为例，最近的审计时间是2023年11月10日，审计方法是Markle Tree+zk-SNARKs，用户存入资产约27.7亿美元，Gate钱包内资产较用户存入资产多出4.34亿美元为32.06亿美元，总储备金率为115.69%。

单币储备金率

向下滑动页面会出现相关的具体币种的额度与储备率，以下图中第一个币种BTC为例，截止2023年12月8日，用户存入BTC 13.85K，Gate 钱包持有数量为 17.10K，BTC的储备金率高达123.52%。

点击上图右下角的页面符号可以查看多达 112 种代币在 Gate 的储备金率。点击上图中的【Verify now】可以显示验证教程，可以通过教程验证自己的账户余额是否包含在内，从而确认该储备金率是将自己的资金也被正常统计后的结果。

其他前端展示页面

还有一种方法查看自己的资产审计情况，即进入自身账户页面中的【Audits】页面，查看自己的历史审计记录与Gate 综合储备金情况。

验证过程

【1】下载验证程序

用户可以通过 Github 或储备金页面提供的下载入口进行程序下载，并重命名为[main]：

用户需要选择自己设备对应系统进行下载

【2】下载资产验证数据

进入个人审计页面，找到需要验证的批次，分别点击【Download Merkle Tree】（下载哈系树）与【Download User Config】（下载用户配置）下载数据。

下载完成后，您会拥有一个zkmerkle_cex_xxx.tar.gz的压缩文件，将 main 程序（前文提到的验证程序文件）放入文件夹内，并将 user_config.json 文件，放到 config 文件夹内。一切完成后，文件架构将如下图所示：

完成该步骤则完成了前期所有的准备，可以进行正式验证了。

【3】验证交易所资产

用户可以直接输入[cmd]或者在[终端]输入[cd ~/Downloads/zkmerkle_cex_xxx]等命令进入上文配置好的zkmerkle_cex_xxx文件。

然后输入：

Plain Text
./main verify cex

如果验证成功则会输出：

Plain Text
All proofs verify passed!!!

【4】验证自身资产

输入下文命令来验证自身资产：

Plain Text
./main verify user

如果自身资产被正常计算，则账户与余额数据是总默克尔树的一个叶节点，所以验证成功会输出。

Plain Text
merkle leave hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce
verify pass!!!

如果你想了解更多技术细节，可点击链接进入Github查看开源代码。

结语

启用zk-SNARK是Gate.io储备金证明的重要升级，也是Gate.io在用户资产安全保护上的重要行动之一。卓越的安全和隐私双重保障，将为用户带来了更多的信心，也为整个加密货币行业树立新的典范。