Gate.io PoR
最新审计时间:
(UTC+0)
超额储备金价值:
$ 亿
审计算法：
Merkle Tree + zk-SNARKs
总储备金率:
默克尔根哈希:
客户净余额
$
Gate钱包余额
$
超额储备金价值
$
暂无数据
什么是100%储备金
在中心化交易平台中，每个用户的资产通过数据库中的账本进行纪录，如何安全地证明平台完好的保管所有用户的资产，是自我证明的难题。
Gate.io 通过默克尔树的方式，将每一个用户的账户资产哈希值存储在默克尔树的叶子节点中。每个人都可以通过拥有审计资质的第三方机构，审计默克尔树叶子节点中存储的用户资产总额，验证白己的资金是否包含在资产默克尔树中。
如果验证的总额≥100%，那么则证明平台完好的保存了用户资金，即代表平台提供对应资产的100%储备金。
为什么100%储备金如此重要
我们是如何做100%储备金的？
冷热钱包总额 ≥ 全部用户快照资产，就代表平台可以提供这个币种100%储备金。
冷热钱包确权
使用所有的冷热钱包，分别向审计公司指定地址转入特定随机数量，证明钱包所属权
审计公司将所属地址余额相加，获得交易所掌控中的所有金额（包括用户资金与自有资金）
如何使用用户的加密UID和余额构建默克尔树？
首先,从Gate的数据库中导出加密UID和相应的用户余额。
每对加密UID和用户余额会分别进行哈希处理,然后联结形成底层数据块。
对于每个数据块,使用相同的哈希函数来生成默克尔树的叶节点。得到的加密数据会随后成对在一起进行哈希处理,创建出叶节点的父节点。
这个过程持续进行,直到得出单个哈希数据,即默克尔根。
如下方图表所示。默克尔树成功构建后,叶节点会被导出为文本文件,然后同默克尔根哈希一起,被审计员发布出来。
什么是哈希树?
在加密学和计算机科学中,哈希树(或默克尔树)是一种树形数据结构,每一片叶节点使用数据块加密哈希作为标签。每一个非叶节点使用其子节点的标签的哈希作为标签。哈希树能够安全有效地验证大型数据结构的内容。
默克尔树如何证明100%储备金？
我们将平台用户的所有账户余额生成默克尔树，然后利用zk-SNARK技术生成证明，证明我们拥有100%的储备金，同时不需要透露具体的储备金数据。具体步骤如下：
1.定义证明的计算约束：通过使用zk-SNARK，我们可以证明总用户资产余额由默克尔树叶节点的余额集（即用户账户余额）构成。对于每个叶节点，我们将证明以下三个约束：
a. Gate交易所的总用户净余额总和的计算包含所有用户的资产余额。
b. 每位用户的总净余额≥零。
c. 当某一用户信息更改后，默克尔根哈希也将随之改变。
2. 用户验证：通过验证默克尔根和zk-SNARK的证明，公众可以确认我们的储备金数据是真实有效的。 通过这样的技术方案，我们可以高效、安全地证明我们拥有100%的储备金，增加用户对我们的信任和透明度，同时保护用户的隐私和交易所的商业机密。
什么是zk-SNARK？
zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge），即零知识证明系统，是一种革命性的密码学工具。它使用了先进的数学算法，可以在不透露具体数据的情况下，快速有效地完成储备金的验证。同时 zk-SNARK 具有高效性、隐私保护性、非交互式、可扩展性等特点，使其广泛应用于验证链上交易、数据隐私保护及身份认证等多种场景。
验证流程
1.准备程序与数据
1）下载验证程序
首先通过以下链接下载或者进入 Github 下载验证程序，并重命名为 main
2)下载资产验证数据
进入个人审计页面，找到需要验证的批次，分别点击【下载哈希树】与【下载用户配置】下载数据。
解压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赋予权限或设置相关安全项）
Gate.io PoR Implementation
HACKEN
审计公司审计时间
January 3, 2024
审计人员
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
