Gate是一家擁有1,300萬+用戶、1,700+交易對的老牌加密交易所。作爲全球歷史最長和交易量最大的交易平颱之一，Gate.io嚴格遵循行業規則，不參與市場運作。公開、透明、平等、合作一直是我們堅持的使命。我們採取了多種中心化和去中心化的方式保障用戶的資産安全。

早在2020年5月，Gate就率先提出了交易所儲備金證明的概念，併邀請了美國知名審計公司Armanino LLP對其資産進行審計，是業界最早提出儲備金證明的交易所之一。2023年11月23日，Gate 正式宣布通過零知識證明技術進行儲備金升級，讓用戶享受更優質的隱私保護和數據安全，成爲業內率先採用零知識證明儲備金證明的交易所之一。本文將指導您運用Gate儲備金證明驗證您在 Gate.io 的資金安全。

背景概念

什麽是儲備金證明？

在中心化交易所（CEX）中，每個用戶的資産通過平颱數據庫中的賬本進行記録，用戶很難確認自己的資産是否被轉移以及交易所是否有足夠的資産兌付用戶存入平颱的資産。所以交易所需要一種方法證明自己有足夠的儲備資産能在用戶取出時做到100%兌付，這要求交易所儲備資産價值要高於用戶存入資産價值。這種公開的資産的證明就叫做儲備金證明。與儲備金證明相關的數據是儲備金率，即交易所持有資産與用戶存入資産的比值*100%，當儲備金率大於100%時，即證明交易所資産可以滿足用戶正常提取，儲備金率越大，對流動性風險的抵抗能力越強。

儲備金率一般分爲交易所儲備金率和單幣種儲備金率，其中交易所儲備金率是指交易所總體資産情況與總用戶存入資産的比值100%，而單幣種儲備金率則是單個幣種的交易所錢包持有數量與用戶存入的該幣種數量的比值100%。

了解更多請點擊《zk-SNARK如何改進Gate.io的儲備金證明》

什麽是零知識證明？

零知識證明（ZKP）是一種加密方法，它使得一方（稱爲證明者）能夠曏另一方（稱爲驗證者）證明某個陳述是正確的，而無需提供任何其他的信息，即不泄露證明陳述正確性所依據的任何知識。這個過程不僅保護了證明者的隱私，而且還確保了驗證者不能覆製證明過程或者利用它來得到任何額外的信息。

舉個簡單的例子來理解這項技術，用戶A知道用戶B的電話號碼，當用戶C詢問A是否知道B電話號碼時，用戶A可以通過當場撥打B電話的方式證明自己確實擁有，而無需將B的號碼告訴C，這個保留用戶隱私卻能知道答案的過程就是進行“零知識證明”的過程。

了解更多請點擊《一文詳解零知識證明（ZKP）》

零知識證明與儲備金怎麽結合？

zk-SNARK是一種簡潔化、非交互式的零知識證明技術。其提前進行“可信初始化”，從而生成公共參考字符串（CRS），使得所有的示證者都可以直接訪問它。這就相當於在考試評分時，zk-SNARK 直接上傳了正確答案，然後讓考生自己對答案（把自己解的某道題髮送給後颱繫統，就會直接得到正確與否的最終結果），非常高效。

Merkle Tree（默剋爾樹）是種類似於“樹”的數據結構，最下層數據稱爲“葉節點”，中間可以稱爲“中間節點”，左右兩個葉節點可以經過哈希處理（把任意輸入值通過特定處理方式得出特定值）輸出中間節點的值，左右中間節點經過哈希處理得到上層中間節點唯一的輸出值，層層處理後，最終得到唯一的默剋爾樹的根節點（Root）。

Gate 採用將zk-SNARK技術與Merkle Tree（默剋爾樹）相結合，將所有用戶的存款放入默剋爾樹中，然後使用 zk-SNARK 來證明樹中的所有餘額都是非負的（即交易所沒有僞造賬戶幹擾默剋爾樹的輸出），最後生成默剋爾樹，併公開相關的節點哈希與根哈希供用戶驗證。

實際操作教程

前端UI界麵

點擊鏈接或進入 Gate.io 頁麵底端 【100% Proof of Reserves】 （100%儲備金）按鈕進入Gate儲備金前端頁麵

儲備金基本信息

進入Gate.io 儲備金前端頁麵後，用戶可以直接查看目前儲備金的更新時間。以下圖爲例，最近的審計時間是2023年11月10日，審計方法是Markle Tree+zk-SNARKs，用戶存入資産約27.7億美元，Gate錢包內資産較用戶存入資産多出4.34億美元爲32.06億美元，總儲備金率爲115.69%。

單幣儲備金率

曏下滑動頁麵會出現相關的具體幣種的額度與儲備率，以下圖中第一個幣種BTC爲例，截止2023年12月8日，用戶存入BTC 13.85K，Gate 錢包持有數量爲 17.10K，BTC的儲備金率高達123.52%。

點擊上圖右下角的頁麵符號可以查看多達 112 種代幣在 Gate 的儲備金率。點擊上圖中的【Verify now】可以顯示驗證教程，可以通過教程驗證自己的賬戶餘額是否包含在內，從而確認該儲備金率是將自己的資金也被正常統計後的結果。

其他前端展示頁麵

還有一種方法查看自己的資産審計情況，即進入自身賬戶頁麵中的【Audits】頁麵，查看自己的歷史審計記録與Gate 綜合儲備金情況。

驗證過程

【1】下載驗證程序

用戶可以通過 Github 或儲備金頁麵提供的下載入口進行程序下載，併重命名爲[main]：

用戶需要選擇自己設備對應繫統進行下載

【2】下載資産驗證數據

進入個人審計頁麵，找到需要驗證的批次，分別點擊【Download Merkle Tree】（下載哈繫樹）與【Download User Config】（下載用戶配置）下載數據。

下載完成後，您會擁有一個zkmerkle_cex_xxx.tar.gz的壓縮文件，將 main 程序（前文提到的驗證程序文件）放入文件夾內，併將 user_config.json 文件，放到 config 文件夾內。一切完成後，文件架構將如下圖所示：

完成該步驟則完成了前期所有的準備，可以進行正式驗證了。

【3】驗證交易所資産

用戶可以直接輸入[cmd]或者在[終端]輸入[cd ~/Downloads/zkmerkle_cex_xxx]等命令進入上文配置好的zkmerkle_cex_xxx文件。

然後輸入：

Plain Text
./main verify cex

如果驗證成功則會輸出：

Plain Text
All proofs verify passed!!!

【4】驗證自身資産

輸入下文命令來驗證自身資産：

Plain Text
./main verify user

如果自身資産被正常計算，則賬戶與餘額數據是總默剋爾樹的一個葉節點，所以驗證成功會輸出。

Plain Text
merkle leave hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce
verify pass!!!

如果你想了解更多技術細節，可點擊鏈接進入Github查看開源代碼。

結語

啟用zk-SNARK是Gate.io儲備金證明的重要升級，也是Gate.io在用戶資産安全保護上的重要行動之一。卓越的安全和隱私雙重保障，將爲用戶帶來了更多的信心，也爲整個加密貨幣行業樹立新的典範。