Gate US 儲備金證明
Gate US 總儲備:
$ 0
最近審計時間：
(UTC+0)
儲備率
0%
算法：
Merkle Tree + zk-SNARKs
Merkle 根雜湊:
Gate US 總儲備
$ 0
用戶淨資產餘額:
$ 0
儲備盈餘:
$ 0
+100.00%
無數據
什麼是儲備金證明
中心化交易平台透過數據庫中的帳本記錄用戶資產，因此平台需要證明其確實完整持有所有用戶資產。
Gate US 採用 Merkle 樹結構來解決這一問題，將每位用戶帳戶餘額的雜湊值存儲在葉子節點中。用戶可以查看記錄在 Merkle 樹中的匯總資產數據，並確認其餘額已被納入，同時該過程由獨立的第三方審計機構提供驗證支援。
如果經驗證，Merkle 樹中記錄的儲備率等於或高於 100%，則表明平台已完整持有用戶資產，即平台對用戶資產提供 100% 儲備支援。
為什麽儲備金證明很重要？
儲備充足時
展現平台的資金實力
提升用戶信心
加強資產保障
在高需求時期支援用戶正常提現
儲備不足時
可能存在資金被挪用的風險
提現處理可能出現延遲
大量提現可能引發流動性危機
破產風險增加，可能導致資產損失
我們如何保持儲備透明度？
如果交易所在鏈上持有的代幣總量大於或等於快照中所有用戶帳戶餘額的總和，則儲備報告表明用戶記錄的資產餘額已反映在交易所揭露的鏈上持倉中。
錢包所有權驗證
在使用熱錢包或冷錢包時，平台會向審計機構指定的區塊鏈地址轉入一筆隨機金額，以證明其對相關錢包的控制權。
審計機構會匯總相關地址的餘額，以計算涉及的資產總額，其中包括用戶資產及平台自有資產。
我們如何基於用戶雜湊 ID 和用戶餘額建構 Merkle 樹？
首先從 Gate US 數據庫中導出經過雜湊處理的用戶 ID (UID) 及對應的用戶餘額。
將每組雜湊 UID 與用戶餘額分別進行雜湊處理，並拼接生成底層數據區塊。
對每個數據區塊使用相同的雜湊函數生成 Merkle 樹的葉子節點。隨後將這些雜湊值兩兩組合並再次雜湊，以生成父節點。
該過程會持續迭代，直到生成唯一的雜湊值，即 Merkle 根雜湊。
請參考下圖說明。Merkle 樹建構完成後，葉子節點會被導出為純文本文件，並由審計機構與 Merkle 根雜湊一同發布。
什麽是 Merkle 樹？
在密碼學和計算機科學中，雜湊樹 (Hash Tree) 或 Merkle 樹是一種樹狀結構，其中每個葉子節點都包含對應數據區塊的加密雜湊值，而每個非葉子節點則包含其子節點雜湊值的雜湊。雜湊樹能夠實現對大型數據結構內容的高效且安全的驗證。
我們如何利用 Merkle 樹提供儲備金證明？
我們將每位用戶帳戶資產的雜湊值作為 Merkle 樹的葉子節點進行存儲，並結合 zk–SNARK 技術來驗證平台是否完整持有所有用戶資產。在整個過程中，不會揭露任何具體的資產數據。驗證步驟如下：
1. zk–SNARK 用於驗證用戶資產餘額已被記錄為 Merkle 樹中的葉子節點（即每個用戶的帳戶餘額）。對於每個葉子節點，我們會驗證以下內容：
a. 平台的資產總額包含所有用戶餘額。
b. 每位用戶的淨餘額均大於或等於零。
c. 用戶餘額的任何變化都會導致 Merkle 根雜湊發生改變。
2. 用戶驗證：用戶可以透過 zk–SNARK 校驗 Merkle 根雜湊，從而確認驗證結果的準確性。該方法能夠在保護隱私和商業機密的前提下高效審計資產持有情況，提升營運透明度並增強用戶信任。
什麽是 zk–SNARK？
zk–SNARK（Zero–Knowledge Succinct Non–Interactive Argument of Knowledge，零知識簡潔非交互式知識證明）是一種先進的密碼學工具。透過複雜的數學算法，它可以在不揭露具體資產資訊的情況下驗證資產餘額。zk–SNARK 具備高效驗證能力，能夠降低隱私風險，並憑借其非交互性和可擴展性，被廣泛應用於區塊鏈交易驗證、數據隱私保護以及身分認證等領域。
驗證流程
1. 安裝程式並下載數據：
a. 下載驗證程式：
首先，透過提供的連結或從 GitHub 下載驗證程式，然後將文件重命名為 main。
b. 下載所需數據：
前往審計頁面，找到您要驗證的批次。點擊【下載 Merkle 樹】和【下載用戶配置】，以下載所需的數據文件。
解壓 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 US PoR Implementation
審計機構
HACKEN
審計時間
January 3, 2024
審計員
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski