Gate US 储备金证明
Gate US 总储备:
$ 0
最近审计时间：
(UTC+0)
储备率
0%
算法：
Merkle Tree + zk-SNARKs
Merkle 根哈希:
Gate US 总储备
$ 0
用户净资产余额:
$ 0
储备盈余:
$ 0
+100.00%
无数据
什么是储备金证明
中心化交易平台通过数据库中的账本记录用户资产，因此平台需要证明其确实完整持有所有用户资产。
Gate US 采用 Merkle 树结构来解决这一问题，将每位用户账户余额的哈希值存储在叶子节点中。用户可以查看记录在 Merkle 树中的汇总资产数据，并确认其余额已被纳入，同时该过程由独立的第三方审计机构提供验证支持。
如果经验证，Merkle 树中记录的储备率等于或高于 100%，则表明平台已完整持有用户资产，即平台对用户资产提供 100% 储备支持。
为什么储备金证明很重要？
储备充足时
体现平台的资金实力
提升用户信心
加强资产保障
在高需求时期支持用户正常提现
储备不足时
可能存在资金被挪用的风险
提现处理可能出现延迟
大量提现可能引发流动性危机
破产风险增加，可能导致资产损失
我们如何保持储备透明度？
如果交易所在链上持有的代币总量大于或等于快照中所有用户账户余额的总和，则储备报告表明用户记录的资产余额已反映在交易所披露的链上持仓中。
钱包所有权验证
在使用热钱包或冷钱包时，平台会向审计机构指定的区块链地址转入一笔随机金额，以证明其对相关钱包的控制权。
审计机构会汇总相关地址的余额，以计算涉及的资产总额，其中包括用户资产及平台自有资产。
我们如何基于用户哈希 ID 和用户余额构建 Merkle 树？
首先从 Gate US 数据库中导出经过哈希处理的用户 ID (UID) 及对应的用户余额。
将每组哈希 UID 与用户余额分别进行哈希处理，并拼接生成底层数据区块。
对每个数据区块使用相同的哈希函数生成 Merkle 树的叶子节点。随后将这些哈希值两两组合并再次哈希，以生成父节点。
该过程会持续迭代，直到生成唯一的哈希值，即 Merkle 根哈希。
请参考下图说明。Merkle 树构建完成后，叶子节点会被导出为纯文本文件，并由审计机构与 Merkle 根哈希一同发布。
什么是 Merkle 树？
在密码学和计算机科学中，哈希树 (Hash Tree) 或 Merkle 树是一种树状结构，其中每个叶子节点都包含对应数据区块的加密哈希值，而每个非叶子节点则包含其子节点哈希值的哈希。哈希树能够实现对大型数据结构内容的高效且安全的验证。
我们如何利用 Merkle 树提供储备金证明？
我们将每位用户账户资产的哈希值作为 Merkle 树的叶子节点进行存储，并结合 zk-SNARK 技术来验证平台是否完整持有所有用户资产。在整个过程中，不会披露任何具体的资产数据。验证步骤如下：
1. zk-SNARK 用于验证用户资产余额已被记录为 Merkle 树中的叶子节点（即每个用户的账户余额）。对于每个叶子节点，我们会验证以下内容：
a. 平台的资产总额包含所有用户余额。
b. 每位用户的净余额均大于或等于零。
c. 用户余额的任何变化都会导致 Merkle 根哈希发生改变。
2. 用户验证：用户可以通过 zk-SNARK 校验 Merkle 根哈希，从而确认验证结果的准确性。该方法能够在保护隐私和商业机密的前提下高效审计资产持有情况，提升运营透明度并增强用户信任。
什么是 zk-SNARK？
zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge，零知识简洁非交互式知识证明）是一种先进的密码学工具。通过复杂的数学算法，它可以在不披露具体资产信息的情况下验证资产余额。zk-SNARK 具备高效验证能力，能够降低隐私风险，并凭借其非交互性和可扩展性，被广泛应用于区块链交易验证、数据隐私保护以及身份认证等领域。
验证流程
1. 安装程序并下载数据：
a. 下载验证程序：
首先，通过提供的链接或从 GitHub 下载验证程序，然后将文件重命名为 main。
b. 下载所需数据：
前往审计页面，找到您要验证的批次。点击【下载 Merkle 树】和【下载用户配置】，以下载所需的数据文件。
解压 zkmerkle_cex_xxx.tar.gz 文件。将 main 程序文件放入解压后的文件夹，并将 user_config.json 文件移动到 config 文件夹中。
程序文件夹结构应如下所示：
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. 资产验证：
打开命令提示符 (cmd) 或终端，使用 cd 命令切换到已下载的文件夹。例如：cd ~/Downloads/zkmerkle_cex_xxx。
在运行程序前，您可能需要执行 chmod 777 main 以授予执行权限或设置安全项。
运行以下命令以开始验证流程
./main verify cex
如果验证成功，系统将显示确认信息。
All proofs verify passed!!!
如需了解更详细的技术文档及验证方法说明，请参阅 GitHub 开源项目。
Gate US PoR Implementation
审计机构
HACKEN
审计时间
January 3, 2024
审计员
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski