儲備證明
驗證所有幣安帳戶餘額均以 1:1 比例獲得足額擔保。
Audit Time
驗證機制:
Merkle 根雜湊 (Merkle Root Hash):
什麼是儲備證明 (PoR)?
當我們提到儲備證明時,我們特別指的是那些我們為使用者託管的資產。這代表我們可提供幣安有資金能夠 1:1 兌換所有使用者資產的證據與證明。
當用戶儲值 1 枚比特幣時,幣安的儲備金會增加 1 枚比特幣,以確保用戶資金獲得足額擔保。
這表示幣安以 1:1 比例持有所有用戶資產,包括儲備金。幣安資本結構中的負債為零,並設有應急基金 (用戶安全資產基金),以因應駭客攻擊或安全漏洞事件等極端情況。
請繼續閱讀,以了解更多有關我們建構了哪些工具讓用戶可以驗證自己在幣安的資金安全無虞的資訊。
我們對社群的承諾始終保持一致
image
透明性
我們始終對我們的用戶保持透明
image
安全
用戶資金的安全是我們的第一優先
image
受保護
您的資金受到保護
雜湊樹
我們建構了什麼?
為顯示幣安所有用戶資產均以 1:1 比例擔保,我們已建立並實施如下所示的雜湊樹,讓用戶能自行驗證其資產是否已納入總淨帳戶餘額。我們的目標是讓每位用戶都能透過自行產生的 Merkle 雜湊值/記錄 ID,驗證其資產持有量獲得 1:1 比例的擔保。
什麼是雜湊樹?
雜湊樹是可將大量資料整合為一個雜湊值的密碼學工具。這個雜湊值會被稱為 Merkle 根,並作為密碼學上的印章來「統整」所有輸入的資料。此外,雜湊樹可讓用戶驗證特定一組「封印」的資料裡的內容。我們在進行儲備證明評估的期間會使用雜湊樹的這些特性來驗證個別用戶的帳戶已納入受到 zk-SNARK 機制檢查的債務報告中。
image
zk-SNARK
我們建構了什麼?
使用 zk-SNARK,加密貨幣交易所即可證明所有雜湊樹葉片節點的餘額集合 (即用戶帳戶餘額) 都貢獻了交易所聲稱的用戶資產總餘額。每位用戶都能輕易存取其葉片節點,因其已在過程中被納入。針對每位用戶的餘額集合 (雜湊樹葉片節點),我們的迴路確保:
1. 用戶的帳戶餘額會納入幣安帳戶淨餘額總和的計算範圍。
2. 帳戶的總淨餘額大於或等於 0。
3. 用戶資訊更新至雜湊葉節點之後,Merkle 根值變動始生效 (例如:未使用偽造資訊)。
這裡有一些實施細節迴路 (限制) 的實用資源:
什麼是 zk-SNARK?
(簡明非交互零知識證明) 是遵循先前概述之零知識原則的證明協定。使用 ,您可以證明您知道原始的雜湊值 (下文將進一步討論),而無需透露該值為何。您也能證明的有效性,而無需透露任何相關具體金額、價值或地址等資訊。
運作方式
我可以如何驗證我自己的交易?
登入幣安網站
-> 點擊「錢包」
-> 點擊 「儲備證明報告」
您將可在該頁面找到您的 Merkle 葉片和記錄 ID。
選擇您要檢查的驗證日期。您將可找到驗證類型、您的記錄 ID (針對您的帳戶及本次特定驗證)、包含的資產及您在驗證時的資產餘額等確認內容。
記錄 ID/Merkle 葉片可讓您透過我們的自我驗證方法獨立驗證債務報告中是否已納入您的帳戶餘額。
image
驗證流程
image
1. 驗證地址的所有權
我們會確保被用於驗證儲備的資產的所有權屬於幣安 (包含冷或熱錢包)。
image
2. 用戶餘額快照
快照值將依照快照當時的客戶帳戶餘額計算。
image
3. 產生 zk-SNARK 證明
我們為用戶產生簡明非交互零知識證明 (zk-SNARK) 檔案,以便每位用戶都能輕鬆存取葉片節點,為所有用戶提供透明度。
image
4. 雜湊樹的生成
我們透過連結每位用戶經過雜湊的 UID 和餘額來生成標的資料區塊。我們會根據所有用戶的資料生成雜湊樹。 若有任何葉片節點中的帳戶 ID 或餘額被改變了,Merkle 根也會跟著改變。 每位用戶都可以驗證他們的資產是否被包含在葉片節點中。