Gate.io PoR
超額儲備金價值：
$ 0B
最新審計時間：
(UTC+0)
總儲備金率：
審計算法：
Merkle Tree + zk-SNARKs
默克爾根哈希:
客戶淨餘額
$ 0
Gate錢包餘額
$ 0
超額儲備金價值
$ 0
暫無數據
什麼是100%儲備金
在中心化交易平台中，每個用戶的資產通過數據庫中的賬本進行記錄，如何安全地證明平台完好的保管所有用戶的資產，是自我證明的難題。
Gate.io 通過默克爾樹的方式，將每一個用戶的賬戶資產哈希值存儲在默克爾樹的葉子節點中。每個人都可以通過擁有審計資質的第三方機構，審計默克爾樹葉子節點中存儲的用戶資產總額，驗證自己的資金是否包含在資產默克爾樹中。
如果驗證的總額≥100%，那麼則證明平台完好的保存了用戶資金，即代表平台提供對應資產的100%儲備金。
為什麼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
2)下載資產驗證數據
進入個人審計頁面，找到需要驗證的批次，分別點擊【Download Merkle Tree】與【Download User Config】下載數據。
解壓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