Gate.io Proof-of-Reserves Assessment Report

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
%