# 交易所說資產補回來了，使用者能驗證什麼？

> 準備金證明（PoR）能讓使用者核對餘額是否納入，卻不能單靠它確認負債完整或現在能提款。從幣安的資產回補公告出發，說明比例、鏈上紀錄與快照各能查到哪裡。

原文：https://sheng.page/posts/binance-2026-hack-user-assets-reserves/ · 發布：2026-11-01 · 更新：2026-11-02 · 作者：Sheng

交易所公布資產回補比例，還不足以確認你帳上的幣是否足額、現在能否提出來。幣安這次的恢復公告，正好說明這些資料能查到哪裡。

準備金證明（PoR）能讓你核對自己的餘額是否算進總額，但漏掉別人的帳戶，你的證明仍可能通過。即使快照當時資產足夠，提款也得另查幣種與網路。

![資產回補公告、PoR 快照與提款狀態各自的核對範圍：回補比例仍缺計價與分母，PoR 無法排除漏報或資產負擔，提款須查幣種與網路](/images/binance-2026-hack-user-assets-reserves/claims.zh.png)

## 回補比例要看涵蓋範圍

幣安 11 月 1 日的 Update #4 稱，已覆蓋約 95% 的受影響金額，BTC、ETH、USDT、BNB、SOL、USDC、XRP、USD1、RLUSD、ZEC 餘額已足額支持。剩餘約 5% 是這十種以外、較難買足的代幣，公告沒列出幣種。幣安另在 [X 貼文](https://x.com/binance/status/2116728061765034338)稱已回補 60 億美元，Update #2 則將事件規模估為約 63 億美元，但這些概數沒有附上可重算 95% 的逐幣數量與計價明細，無法換算個別帳戶的覆蓋率。

Update #4 只寫使用公司資源，損失由幣安承擔。Update #3 已列出部分 SAFU、部分 Futures Insurance Fund 與公司庫存這幾種來源，但未提供逐項金額，仍無法對照這次增加的回補各用了多少。Update #2 另稱已預留超過 63.4 億美元承擔損失，[Reuters 轉述](https://uk.marketscreener.com/news/binance-says-it-has-covered-90-of-losses-from-6-3-billion-hack-so-far-ce785fd8db8cf425) Yi He 說將動用 SAFU 的 50%，Update #3 的 FAQ 則說正在回補 SAFU，並承諾把基金補回約 10 億美元。這些都是幣安的說法，沒有附上逐項實際支出明細。

SAFU 是幣安自設的緊急基金，幣安學院詞條只說安全事件造成損失時「可以」動用基金補償，未保證損失不會發生。[存款保險](https://en.wikipedia.org/w/index.php?title=Deposit_insurance&oldid=1380724625)是保障銀行存款人的制度，SAFU 不屬於存款保險，該詞條也沒有給出同樣的賠付承諾。

## 鏈上轉帳能確認到哪裡

Update #3 說，將動用部分 SAFU 購買尚未補足的資產。公開地址在 10 月 31 日有一筆 [7,499 BTC 轉帳](https://mempool.space/tx/774fcb97827d7ed2389447cc3ef3e1abcd024574cd745d2182cc0ec58e7914bd)，可透過 mempool.space 核對，但轉帳紀錄看不出最後買了哪些代幣，無法證明缺少的幣已買齊。

凍結資金的數字也要留意用字。Update #2 稱凍結約 30 億美元，Elliptic 在 11 月 1 日約 05:50 UTC 的鏈上分析核對到凍結或扣押 28.5 億美元，TRM 則在 10 月 30 日 00:30 UTC 估計約 27 億美元。時點與口徑不同，不能相加，這幾份資料也沒提供已交回幣安的金額。

## PoR 能核對的範圍

[Merkle tree](https://en.wikipedia.org/w/index.php?title=Merkle_tree&oldid=1375083916) 把資料逐層做雜湊，最後得到代表整份資料的樹根，搭配驗證路徑，就能核對某筆資料是否納入同一份承諾。Vitalik Buterin 的償付能力文章說明了用於餘額的 Merkle sum tree：除了雜湊，還會逐層加總，使用者取得自己的驗證路徑後，就能檢查餘額是否算進公布的總額。要談償付能力，還得對照交易所能控制的資產與客戶負債。

下面的 `merkle_sum_por.py` 先用完整帳本建樹，再故意漏掉 dave，檢查其餘帳戶的證明，只作極簡示範，與幣安實作無關，也未與各交易所的正式程式碼逐一比對。

```python
import hashlib

# 極簡 Merkle sum tree：每個節點帶 (雜湊, 子樹餘額總和)。
# 只示範納入證明怎麼驗，不是任何交易所的實作。

def leaf(user: str, balance: int) -> tuple[bytes, int]:
    return hashlib.sha256(f"{user}:{balance}".encode()).digest(), balance

def parent(left: tuple[bytes, int], right: tuple[bytes, int]) -> tuple[bytes, int]:
    total = left[1] + right[1]
    data = left[0] + left[1].to_bytes(8, "big") + right[0] + right[1].to_bytes(8, "big")
    return hashlib.sha256(data).digest(), total

def build(leaves):
    levels = [leaves]
    while len(levels[-1]) > 1:
        cur = levels[-1]
        if len(cur) % 2:
            cur = cur + [(hashlib.sha256(b"pad").digest(), 0)]
        levels.append([parent(cur[i], cur[i + 1]) for i in range(0, len(cur), 2)])
    return levels

def proof(levels, index):
    path = []
    for level in levels[:-1]:
        if len(level) % 2:
            level = level + [(hashlib.sha256(b"pad").digest(), 0)]
        sibling = index ^ 1
        path.append((level[sibling], sibling < index))
        index //= 2
    return path

def verify(user, balance, path, root):
    node = leaf(user, balance)
    for sibling, sibling_is_left in path:
        node = parent(sibling, node) if sibling_is_left else parent(node, sibling)
    return node == root

ledger = {"alice": 50, "bob": 30, "carol": 20, "dave": 100}

# 交易所照實建樹
full = build([leaf(u, b) for u, b in ledger.items()])
root = full[-1][0]
print("full root total:", root[1])
print("alice included:", verify("alice", 50, proof(full, 0), root))

# 交易所漏掉 dave 再建樹：負債總額變小，其他人的證明照樣過
shown = {u: b for u, b in ledger.items() if u != "dave"}
partial = build([leaf(u, b) for u, b in shown.items()])
proot = partial[-1][0]
print("partial root total:", proot[1])
print("alice included:", verify("alice", 50, proof(partial, 0), proot))
print("bob included:  ", verify("bob", 30, proof(partial, 1), proot))
print("dave can find a proof:", "dave" in shown)
```

```text
full root total: 200
alice included: True
partial root total: 100
alice included: True
bob included:   True
dave can find a proof: False
```

原本總額是 200，漏掉 dave 後只剩 100，留在樹裡的帳戶仍各自驗得過，輸出列出了 alice 和 bob 的結果。少掉的是 dave 那 100，其他人只查自己的路徑，看不出缺口。最後一行只表示 dave 不在公開帳本裡，程式沒有替他執行 verify。

幣安 PoR 頁公布的 zk-SNARK 電路約束，涵蓋帳戶餘額納入總和、帳戶淨餘額非負，以及葉節點更新後樹根變化有效。這些檢查針對送進證明的資料，不能順帶保證沒有漏報。

Provisions 論文依賴客戶檢查自己的餘額是否納入，2026 年的負債證明（PoL）論文《Mitigating Collusion in Proofs of Liabilities》也指出，既有方案的加總證明不保證總額反映全體使用者的當下餘額。

幣安 PoR 頁把錢包所有權列入驗證流程，但控制錢包無法排除借入資產，抵押或其他負擔也要另查。PCAOB 投資人倡議辦公室 2023 年的提醒指出，PoR 程序很可能未涵蓋負債與借入資產等事項，PoR 工作也不等同審計。Vitalik 也提到，法幣餘額仍需銀行或稽核者等提供證明，無法單靠這類密碼學證明核對。

## 快照與提款要分開看

Provisions 把快照限定在特定比特幣區塊，幣安自驗文件也提醒，報告可能與目前資產數量不同。定期重做有助於持續觀察，但上次驗過，不代表資產之後沒有移走。

提款還得核對幣種與網路，Update #4 就是按這兩者的組合安排恢復。

[擠兌](https://en.wikipedia.org/w/index.php?title=Bank_run&oldid=1372874320)與 [Diamond–Dybvig 模型](https://en.wikipedia.org/w/index.php?title=Diamond%E2%80%93Dybvig_model&oldid=1301278492)說明了銀行存款與資產的期限差異：存款可隨時提領，放款卻可能要更久才能收回，集中提款因此可能造成支付困難。本文只借這個銀行模型區分資產與流動性，不據此推論幣安會發生擠兌。

## 幣安現況

原查詢截至 2026-11-01 14:15 UTC，台北時間同日 22:15，以下保留當時紀錄，11 月 2 日更新另列於本節末。當時查到的編號公告仍到 [Recovery Update #4](https://x.com/binance/status/2116744986096292263)，未找到可核實的 Update #5；後續進度改由 [官方 X](https://x.com/binance) 逐批公布。

### 已公布的進度

**提款**：12:36 UTC（台北時間 20:36）的[官方 X 更新](https://x.com/binance/status/2116871932075516174)新增 ZEC、TON、SUI，連同先前的清單，共列出以下 15 個網路與資產組合。這是幣安宣布已恢復的範圍，本文未實測提款，也不能由網路名稱推論該鏈所有代幣都已開放。

| 網路 | 該則公告列出的資產 |
| --- | --- |
| BTC | BTC |
| Ethereum（ETH） | ETH、USDT、USDC |
| BNB Smart Chain（BSC） | BNB、USDT、USDC |
| XRP | XRP |
| Base | ETH、USDC |
| DOGE | DOGE |
| Optimism（OP） | ETH、USDT、USDC |
| Arbitrum | ARB、ETH、USDT、USDC |
| TRON（TRX） | TRX、USDT |
| Solana（SOL） | SOL、USDT、USDC |
| Polygon（MATIC） | POL、USDT、USDC |
| Avalanche C-Chain（AVAXC） | AVAX、USDT、USDC |
| Zcash（ZEC） | ZEC |
| TON | USDT、GRAM |
| Sui（SUI） | SUI |

**回補**：本次查到的最新比例仍是 Update #4 所稱約 95%，另有 [03:04 UTC 的官方貼文](https://x.com/binance/status/2116728061765034338)稱已回補 60 億美元。未找到更高比例的官方更新，這些是平台的回補說法，不代表追回同等金額的贓款。

**PoR**：[Update #3](https://www.binance.com/en/support/announcement/detail/1fdf1f61559c401da0435895ffcccb62) 稱已公布 10 月 31 日 00:00 UTC 的快照；[06:53 UTC 的官方 X 貼文](https://x.com/binance/status/2116785774540787920)另稱 PoR 地址清單已加入新錢包，之後提款將由新地址處理。地址更新本身無法證明完整零知識證明已產出。

**凍結與歸還**：本次查到的官方凍結總額仍為約 30 億美元，出自 [10 月 30 日的官方貼文](https://x.com/binance/status/2115970069696217576)及 Update #2；未找到可核實的更新總額或已歸還幣安的金額，不能把凍結款項加進回補數字。

**歸因**：FBI 在 [10 月 31 日的公告](https://www.fbi.gov/investigate/cyber/alerts/2026/north-korea-responsible-for-6-billion-binance-attack)稱，北韓在 10 月 29 日前後從幣安竊取了超過 60 億美元的虛擬資產，並把這類活動稱為 TraderTraitor；FBI 與 USSS、IRS-CI 觀察到贓款主要換成 ETH。公告沒有說明歸因依據，指出攻擊者身分也不等於公布了入侵經過或根因。

### 預告與尚未驗證的部分

- **第二階段**：未找到確定日期。[Yi He 的貼文](https://x.com/heyibinance/status/2116754265121366112)仍說其他錢包要完成安全檢查；[crypto.news](https://crypto.news/binance-reopens-bitcoin-withdrawals-after-hack/) 與 [BusinessToday](https://www.businesstoday.in/technology/story/binance-resumes-crypto-withdrawals-after-6-3-billion-security-breach-whats-open-from-today-564972-2026-11-01) 也轉述尚無固定時程。Update #4 的 06:00–09:00 UTC 是第一階段原定啟動時窗，不能當成所有網路都在 09:00 前完成。
- **完整 PoR 證明**：Update #3 預估於 11 月 3 日 UTC 產出，這仍是預估。11 月 1 日讀取[英文 PoR 頁](https://www.binance.com/en/proof-of-reserves)及[簡體中文頁](https://www.binance.com/zh-CN/proof-of-reserves)時，都未取得當期快照欄位、樹根與比率，因此當時無法核實頁面數值或完整證明是否可取得，這不代表它們沒有發布。

[提款狀態頁](https://www.binance.com/en/network)在 11 月 1 日讀取時回傳的表格沒有幣種紀錄，無法用來獨立核對即時狀態；上表依官方公告記錄。

### 2026 年 11 月 2 日更新

**PoR 頁面**：約 10:30 UTC 的[英文頁](https://www.binance.com/en/proof-of-reserves)讀取紀錄顯示，快照時間為 10 月 31 日 00:00 UTC，BTC block height 為 973895，Merkle root 為 `169dd7e2300fabd4f7a8d11d745fe24f4c31ae1ccac6c4391fbd47b548740ad0`，比率包括 BTC 100.04%、USDC 106.08%。該次讀取未見可公開下載的完整 zk 證明檔，頁面數值不能當成完整證明已驗證。[11 月 1 日 16:12 UTC 的官方 X 貼文](https://x.com/binance/status/2116926305254133892)另稱 ZKP 已開始運算，更新報告預計隔天，也就是 11 月 2 日刊登；Update #3 對完整證明的預估則是 11 月 3 日 UTC。兩則都是預告，不能據此確認已完成。

**提款流量**：同一則 16:12 UTC 貼文稱，11 月 1 日 06:00 至 15:30 UTC 處理提款約 46.49 億美元、入金 10.1 億美元，淨流出約 36.4 億美元。所稱 2.1% 採用的是截至 10 月 28 日 PoR 資料中的 1,710 億美元 AUM，與 10 月 31 日快照分開。這些數字是公司自述，本文未獨立對帳，不能據此推論所有資產與網路都能提款。

**法幣提款**：[11 月 2 日 08:00 UTC 的官方 X 公告](https://x.com/binance/status/2117164969582330063)宣布新增 USD、AED、VND、PHP、IDR 法幣提款。這是法幣通道的進度，公告未提供其餘加密網路第二階段的日期，本文也未實測提款。

## 交易所應公開的驗證資料

使用者需要各期資料與驗證方法，才能重做檢查。幣安文件已有自驗步驟，常規快照在每月 1 日 00:00:00 UTC 取得、同月 7 日前公布，證明旁也應列明快照日期與對應區塊，讓人知道查的是哪一期。

交易所也應說明未涵蓋的幣種與無法自行核對的項目，讓使用者知道自己的資產是否在範圍內，還缺哪些驗證資料。

簽署授權另見〈[保住私鑰之後，誰有權要求系統簽章：從 2019 年幣安事件看託管簽署的授權邊界](/posts/who-can-ask-the-signer-to-sign/)〉，供應鏈則見〈[簽章都正確，交易為何還是錯的：Bybit 與 Safe 的簽署供應鏈](/posts/bybit-safe-signing-supply-chain/)〉。

## 尚未釐清的事

截至上述查詢時間，幣安雖已公布約 95% 與 60 億美元的回補說法，仍缺計價時點、分母明細及剩餘幣種的逐幣對照，本文不據此估算缺口。各來源的實際回補金額、凍結款項歸還金額與第二階段確定日期，本次也未查到可核實的資料；完整 PoR 證明是否已可取得，仍無法確認。

後續想談的是，交易所該公開哪些資料，才能讓外部持續核對資產、負債與交付能力。本文整理公開資料，不構成財務建議。

## 補充筆記

- 整體回補比例不能換算成個別帳戶的覆蓋率，SAFU 詞條也沒有給出存款保險式的賠付承諾。
- 轉帳與凍結紀錄，分別不等於採購完成與資金歸還。
- 自己的餘額驗證通過，仍可能有其他帳戶被漏掉，資產是否另有負擔也要另外查。
- 11 月 1 日的公告列出 15 個網路的提款組合，11 月 2 日另新增法幣提款通道，加密網路第二階段仍無確定日期。
- 11 月 2 日已讀到 PoR 快照數值，完整證明仍待核實；官方 X 預告 11 月 2 日更新報告，Update #3 預估 11 月 3 日產出完整證明。

## 修正紀錄

- 2026-11-02：保留 11 月 1 日的查詢紀錄，補入約 10:30 UTC 讀到的 PoR 數值、兩則報告時程預告、提款流量與 10 月 28 日 AUM 基準，以及法幣提款進度；完整證明仍未核實。
- 2026-11-01：補上 FBI 2026 年 10 月 31 日的北韓歸因公告。公告早於本文的查詢截止時間，原稿漏列。
- 2026-11-01：資金來源段補上幣安已預留資金的說法、SAFU 動用比例與回補 SAFU 的承諾，並註明這些說法沒有附上逐項實際支出明細。
- 2026-11-01：文末「下一篇」改為「後續」，系列下一篇先談凍結、停鏈與硬分叉的權限。

## 延伸閱讀

- [FBI：North Korea Responsible for $6 Billion+ Binance Attack](https://www.fbi.gov/investigate/cyber/alerts/2026/north-korea-responsible-for-6-billion-binance-attack)：2026-10-31 的執法機關公告，北韓歸因與 TraderTraitor 名稱，並請節點營運者與 DeFi 服務阻擋相關地址；未附歸因方法，也不是根因報告。
- [Reuters 2026-10-31 報導（MarketScreener 授權轉載）](https://uk.marketscreener.com/news/binance-says-it-has-covered-90-of-losses-from-6-3-billion-hack-so-far-ce785fd8db8cf425)：通訊社報導，Yi He 動用 SAFU 50% 的說法出處。

- [11:31 UTC 提款更新](https://x.com/binance/status/2116855614634852611)與 [12:36 UTC 提款更新](https://x.com/binance/status/2116871932075516174)：11 月 1 日的官方 X 清單，後者新增 ZEC、TON、SUI；[Binance News 的 15 網路整理](https://www.binance.com/en/square/post/383529401136033)也轉述同一範圍。
- [已回補 60 億美元](https://x.com/binance/status/2116728061765034338)與 [PoR 新錢包地址](https://x.com/binance/status/2116785774540787920)：11 月 1 日 03:04、06:53 UTC 的官方 X 貼文，分別補充金額與地址變更，無法替代逐幣對帳或完整證明。
- [Yi He 的第一階段預告](https://x.com/heyibinance/status/2116754265121366112)：其他錢包仍待安全檢查，沒有提供第二階段確定日期。
- [crypto.news：Bitcoin 提款恢復](https://crypto.news/binance-reopens-bitcoin-withdrawals-after-hack/)（2026-11-01 08:01 UTC）與 [BusinessToday：提款恢復安排](https://www.businesstoday.in/technology/story/binance-resumes-crypto-withdrawals-after-6-3-billion-security-breach-whats-open-from-today-564972-2026-11-01)（同日更新）：媒體轉述，核對第一階段安排與第二階段尚無固定時程，後續已恢復範圍依官方 X 清單。
- [Security Incident | Recovery Update #4](https://www.binance.bh/en-GB/support/announcement/security-incident-recovery-update-4-withdrawals-resume-in-phases-2026-11-01-73911fb819b240f88b88256bdd318eda) 與[官方 X 全文](https://x.com/binance/status/2116744986096292263)：2026-11-01 的當事方公告，約 95% 與第一階段預定時窗的出處，全文由幣安巴林站及 X 核對。
- [Security Incident | Recovery Update #3](https://www.binance.com/en/support/announcement/detail/1fdf1f61559c401da0435895ffcccb62)：幣安 2026-10-31 的當事方公告，說明 SAFU 用途及快照安排，完整零知識證明的產出日期仍是預估。
- [Security Incident Update #2](https://www.binance.bh/en-GB/support/announcement/security-incident-update-2-2026-10-30-d3306d9dca5243548c813b605e1d1751) 與[官方凍結金額貼文](https://x.com/binance/status/2115970069696217576)：2026-10-30 的當事方說法，約 30 億美元是凍結金額，沒有證明已歸還。
- [Binance Proof of Reserves](https://www.binance.com/en/proof-of-reserves) 及[簡體中文頁](https://www.binance.com/zh-CN/proof-of-reserves)：官方機制與電路約束說明，11 月 1 日讀取時未取得快照數值、樹根與比率，11 月 2 日約 10:30 UTC 的英文頁讀取紀錄已有這些數值，仍未見可公開下載的完整證明檔。
- [How to Verify Your Account Balance on Binance?](https://www.binance.com/en/support/faq/detail/815b25f0cb054bdd9d35eccc408fe981)：幣安官方操作文件，可核對自驗步驟與常規快照時程，不代表某一期證明已可下載。
- [Binance Deposit & Withdrawal Status](https://www.binance.com/en/network)：官方即時狀態頁，11 月 1 日取得的表格沒有幣種紀錄，不能據此判定服務已開放或關閉。
- [Secure Asset Fund for Users (SAFU)](https://www.binance.com/en/academy/glossary/secure-asset-fund-for-users)：本次直接讀取的幣安學院詞條（頁面標示更新於 2026-10-13），基金用途屬平台自述，不是存款保險承諾。
- [mempool.space：SAFU 地址](https://mempool.space/address/1BAuq7Vho2CEkVkUxbfU26LhwQjbCmWQkD)：公開鏈上紀錄的查詢來源，7,499 BTC 轉帳已由同站 API 核對，但紀錄無法證明缺口代幣已買齊。
- [Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges](https://jbonneau.com/doc/DBBCB15-CCS-provisions.pdf)：Dagher 等人的 ACM CCS 2015 論文，可核對償付能力證明的設計與限制，不能當成特定交易所的償付保證。
- [Having a safe CEX: proof of solvency and beyond](https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html)：Vitalik Buterin 於 2022-11-19 發表的個人技術文章，用於解釋 Merkle sum tree 與資產證明的限制，沒有查證本次事件。
- [Mitigating Collusion in Proofs of Liabilities](https://arxiv.org/abs/2603.12990)：Mohamed 與 Karame 於 2026-03-13 發表的 arXiv 預印本，可用來核對既有負債證明的完整性限制，不據此替特定交易所背書。
- [PCAOB Investor Advisory on Proof of Reserve Reports](https://pcaobus.org/news-events/news-releases/news-release-detail/investor-advisory-exercise-caution-with-third-party-verification-proof-of-reserve-reports)：2023-03-08 的投資人提醒，屬投資人倡議辦公室職員意見，並非 Board 規則或對幣安本次事件的調查結論。
- [Elliptic: The largest theft in history](https://www.elliptic.co/insights/binance-largest-hack-in-history/) 與 [TRM Labs: North Korea Steals USD 6.36 Billion From Binance](https://www.trmlabs.com/resources/blog/north-korea-steals-usd-6-36-billion-from-binance-in-the-largest-hack-in-history)：鏈上分析公司的第三方估算，凍結數字的時點與口徑各異，都不足以證明資金已交回幣安。
- [Merkle tree](https://en.wikipedia.org/w/index.php?title=Merkle_tree&oldid=1375083916) 與 [Deposit insurance](https://en.wikipedia.org/w/index.php?title=Deposit_insurance&oldid=1380724625)：Wikipedia 固定修訂版本，只用於一般概念，不能當成特定交易所或基金的保證。
- [Bank run](https://en.wikipedia.org/w/index.php?title=Bank_run&oldid=1372874320) 與 [Diamond–Dybvig model](https://en.wikipedia.org/w/index.php?title=Diamond%E2%80%93Dybvig_model&oldid=1301278492)：Wikipedia 固定修訂版本，後者標有缺少行內引用的提醒，本文只借其概念區分資產與流動性，不用來預測幣安。

> 想法與技術判斷出自 Sheng，和 Claude 一起起草 · 範例在 Linux 上以 Python 3.13.18 實測。