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
