Gate.io100%储备金审计报告

Gate.io PoR

BTC储备金率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

客户净余额

16,788.90

Gate钱包余额

20,070.00

Gate钱包余额 USD

$ 1,321,705,835

USDT储备金率

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

客户净余额

900,460,369.70

Gate钱包余额

950,199,170.00

Gate钱包余额 USD

$ 950,199,170

ETH储备金率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

客户净余额

218,945.56

Gate钱包余额

275,530.00

Gate钱包余额 USD

$ 737,152,962

DOGE储备金率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

客户净余额

1,999,007,092.09

Gate钱包余额

2,218,526,583.00

Gate钱包余额 USD

$ 284,135,573

ETH2储备金率

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

客户净余额

87,580.12

Gate钱包余额

88,183.00

Gate钱包余额 USD

$ 236,418,623

KAS储备金率

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

客户净余额

1,051,604,689.28

Gate钱包余额

1,060,501,647.00

Gate钱包余额 USD

$ 176,817,439

什么是100%储备金

在中心化交易平台中，每个用户的资产通过数据库中的账本进行纪录，如何安全地证明平台完好的保管所有用户的资产，是自我证明的难题。

Gate.io 通过默克尔树的方式，将每一个用户的账户资产哈希值存储在默克尔树的叶子节点中。每个人都可以通过拥有审计资质的第三方机构，审计默克尔树叶子节点中存储的用户资产总额，验证白己的资金是否包含在资产默克尔树中。

如果验证的总额≥100%，那么则证明平台完好的保存了用户资金，即代表平台提供对应资产的100%储备金。

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

为什么100%储备金如此重要

平台提供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

本地下载

Mac OS

本地下载

Linux

本地下载

Windows

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赋予权限或设置相关安全项）

运行以下命令开始验证

./main verify cex

验证成功会输出

All proofs verify passed!!!

具体技术文档与验证原理，请查看Github 开源项目

Gate.io PoR Implementation

审计时间	审计公司	审计人员	存储库	审计报告
January 3, 2024	HACKEN	Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski	https://github.com/gateio/proof-of-reserves	Gate.io PoR Implementation

审计时间

审计公司

审计人员

存储库

审计报告

January 3, 2024

HACKEN

Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski

https://github.com/gateio/proof-of-reserves

Gate.io PoR Implementation

100%储备金审计证明

Gate.io PoR

BTC储备金率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

USDT储备金率

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

ETH储备金率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

DOGE储备金率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

ETH2储备金率

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

KAS储备金率

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

什么是100%储备金

为什么100%储备金如此重要

平台提供100%储备金

无法提供100%储备金

我们是如何做100%储备金的？

冷热钱包确权

用户余额快照

生成zk-SNARK证明

生成默克尔树

冷热钱包确权

如何使用用户的加密UID和余额构建默克尔树？

首先,从Gate的数据库中导出加密UID和相应的用户余额。

每对加密UID和用户余额会分别进行哈希处理,然后联结形成底层数据块。

对于每个数据块,使用相同的哈希函数来生成默克尔树的叶节点。得到的加密数据会随后成对在一起进行哈希处理,创建出叶节点的父节点。

这个过程持续进行,直到得出单个哈希数据,即默克尔根。

什么是哈希树?

默克尔树如何证明100%储备金？

我们将平台用户的所有账户余额生成默克尔树，然后利用zk-SNARK技术生成证明，证明我们拥有100%的储备金，同时不需要透露具体的储备金数据。具体步骤如下：

1.定义证明的计算约束：通过使用zk-SNARK，我们可以证明总用户资产余额由默克尔树叶节点的余额集（即用户账户余额）构成。对于每个叶节点，我们将证明以下三个约束：

什么是zk-SNARK？

验证流程

Gate.io PoR Implementation

域名提示

100%储备金审计证明

Gate.io PoR

BTC储备金率

012345678901234567890123456789.01234567890123456789%

USDT储备金率

012345678900123456789.01234567890123456789%

ETH储备金率

012345678901234567890123456789.01234567890123456789%

DOGE储备金率

012345678901234567890.01234567890123456789%

ETH2储备金率

012345678900.01234567890123456789%

KAS储备金率

012345678900.01234567890123456789%

什么是100%储备金

为什么100%储备金如此重要

平台提供100%储备金

无法提供100%储备金

我们是如何做100%储备金的？

冷热钱包确权

用户余额快照

生成zk-SNARK证明

生成默克尔树

冷热钱包确权

如何使用用户的加密UID和余额构建默克尔树？

首先,从Gate的数据库中导出加密UID和相应的用户余额。

每对加密UID和用户余额会分别进行哈希处理,然后联结形成底层数据块。

对于每个数据块,使用相同的哈希函数来生成默克尔树的叶节点。得到的加密数据会随后成对在一起进行哈希处理,创建出叶节点的父节点。

这个过程持续进行,直到得出单个哈希数据,即默克尔根。

什么是哈希树?

默克尔树如何证明100%储备金？

我们将平台用户的所有账户余额生成默克尔树，然后利用zk-SNARK技术生成证明，证明我们拥有100%的储备金，同时不需要透露具体的储备金数据。具体步骤如下：

1.定义证明的计算约束：通过使用zk-SNARK，我们可以证明总用户资产余额由默克尔树叶节点的余额集（即用户账户余额）构成。对于每个叶节点，我们将证明以下三个约束：

什么是zk-SNARK？

验证流程

Gate.io PoR Implementation

域名提示

选择语言及地区

法币汇率

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

0
1
2
3
4
5
6
7
8
9
0
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%

0
1
2
3
4
5
6
7
8
9
0
0
.
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
%