儲備金證明
自己的餘額有被算進 Binance 儲備金證明嗎？用官方驗證工具實際核對
PoR 真正能自己動手的一步，是用 Binance 公開在 GitHub 的驗證工具，確認你的餘額被算進了某次快照。本文整理版本對照、五個步驟、官方指令與實際檔名不符的落差，以及驗不過時的排查順序。
搜尋 PoR 的人，通常已經看過那個「1:1」的綠色數字。但儲備金證明真正能讓你親手做的，其實是另一件更具體的事：打開自己的帳戶資料，確認你的餘額有沒有被算進這次快照的負債彙總裡。
這不是看頁面，而是跑一個 Binance 公開在 GitHub 上的驗證程式，輸入你自己下載的資料檔，讓它回答一句話：通過，或沒通過。
本文整理這套流程實際會遇到的卡點，包括一個到今天仍未修正的指令落差。核驗日期為 2026 年 9 月 20 日。帳戶內的畫面需要登入才能取得，本文不使用、也不偽造登入後的截圖，登入後的步驟依官方說明頁敘述。
先確認你要驗的是哪一次快照
官方說明頁寫得很明確：
幣安的儲備證明會於每個月的 1 日 00:00:00 UTC 進行用戶快照，結果將於同月的 7 日發布。
這句話決定了兩件事。第一，你驗的永遠是某個月 1 日那一刻的餘額，和你現在的持倉對不起來是正常的；官方也在同一頁標註報告是快照、不是即時資產。第二，每月 7 日前後才會有新資料可驗，太早去找只會看到上個月的紀錄。
卡點一：工具版本必須對應快照週期
驗證工具不是一個版本走到底。官方說明頁列了一張版本與 PoR 週期的對照表，用錯版本就算資料完全正確也驗不過。
截圖為 Binance 客服中心繁體中文說明頁，截取於 2026 年 9 月 20 日；畫面沒有帳戶、Token、Email、Cookie 或內部網址。
截至核驗日，對照關係是：
| 驗證工具版本 | 對應的 PoR 驗證週期 |
|---|---|
| 1.2.1 | 2026-08-01 — 至今 |
| 1.2.0 | 2026-06-01 — 2026-07-01 |
| 1.1.0 | 2024-10-01 — 2026-05-01 |
| 1.0.2 | 2023-11-01 — 2024-09-01 |
| 1.0.1 | 2023-03-01 — 2023-10-01 |
| 1.0.0 | 2023-02-01 — 2023-02-01 |
| 雜湊樹驗證 | 2022-11-22 — 2022-12-22 |
也就是說，要核對 2026 年 9 月 1 日的快照，就得用 v1.2.1。這個版本在 GitHub 上的發布時間是 2026 年 7 月 29 日，發行說明寫的是把單一帳戶可追蹤的資產種類上限從 500 提高到 700，並重新切分每批的帳戶數。
實際流程：五個步驟
- 下載驗證工具。 到
github.com/binance/zkmerkle-proof-of-solvency的 Releases 頁，取對應版本。不要從搜尋廣告或私訊連結下載驗證程式。 - 登入帳戶取資料。 官方說明的路徑是 [個人檔案] － [錢包] － [驗證]，展開該筆驗證紀錄。面板上會顯示 Record ID、Asset Coverage、Account Code、Merkle Hash、Merkle Leaf，以及驗證類型。
- 確認驗證類型是「Merkle Tree + Zksnarks」，再按 [Download User Config]。這裡有兩顆按鈕容易按錯：[Download Merkle Tree] 給的是整棵樹的根雜湊資料，單帳戶核對要用的是 [Download User Config]。
- 把檔案放到正確位置。 下載的壓縮檔裡是
user_config.json，要放進驗證工具目錄下的config資料夾，官方寫法是PathToVerifierTool/config。放錯層級是最常見的失敗原因。 - 執行單帳戶驗證。 在工具所在資料夾執行帶
-user參數的驗證程式。
卡點二：官方指令裡的檔名，和實際下載到的不一樣
說明頁在第 4 步和第 5 步都給了執行指令，寫法像這樣：
但實際到 GitHub Releases 下載，檔名並不是這三個：
從 v1.1.0（2024 年 10 月）起，發行檔就改成 verifier_darwin、verifier_linux、verifier_windows，Windows 版連 .exe 副檔名都沒有；帶 _amd64 的舊檔名停在 v1.0.2。說明頁標示的更新日期是 2026 年 8 月 5 日，指令仍維持舊寫法。
所以照抄官方指令會直接得到找不到檔案的錯誤。實際要執行的是你下載到的檔名，例如 macOS 與 Linux 上是 ./verifier_darwin -user、./verifier_linux -user，Windows 上把 verifier_windows 重新命名為 verifier_windows.exe 再執行即可。macOS 與 Linux 若出現權限不足，先對該檔案加上執行權限。
下載清單上同時列出每個檔案的 SHA256。驗證工具是要讀你的帳戶資料的程式，下載後先比對雜湊值再執行，是這一步最值得花的三十秒。
輸出怎麼讀
單帳戶模式的程式碼邏輯很短：它讀取 config/user_config.json，用你的資產資料重算帳戶葉節點雜湊，再沿著 Proof 裡的路徑往上推，看能不能推回 Root。畫面會先印出重算出來的葉節點雜湊（base64 與十六進位各一行），最後印出結論——通過是 verify pass!!!，失敗是 verify failed...。
印出來的葉節點雜湊，可以回到帳戶驗證頁和 Merkle Leaf 欄位對照；Root 則應與官方公布的帳戶樹根一致。
user_config.json 裡的欄位對應關係，官方說明頁逐項寫了：AccountIndex 是你在雜湊樹內的葉位置，AccountIdHash 對應驗證頁上的 Account Code，Assets 是各幣種的權益與負債，TotalEquity、TotalDebt、TotalCollateral 分別是持有總值、借款總值與抵押品總值，Proof 則是你那條雜湊路徑。
這和「驗整份 zk 證明」不是同一件事
同一個工具不帶 -user 參數執行時，做的是另一層驗證：讀取 config.json、proof.csv 與驗證密鑰，逐批檢查 zk-SNARK 證明與公開輸入是否對得上，全部通過才會印出 All proofs verify passed!!!。
兩層的意義不同，別混為一談：
| 你執行的 | 它回答什麼 | 它不回答什麼 |
|---|---|---|
-user 單帳戶驗證 |
你的餘額有沒有被納入這次彙總 | 交易所總負債是否完整揭露 |
| 不帶參數的批次驗證 | 公布的 zk 證明在數學上是否成立 | 沒放進電路輸入的鏈下負債 |
兩層都通過，證明的仍然是「被納入計算的那些資料彼此自洽」。至於資產覆蓋率本身怎麼讀、快照有哪些限制，可以接著看Binance 儲備金證明怎麼看？PoR 能證明什麼、不能證明什麼，以及這個月的實際數字整理：Binance 2026 年 9 月儲備金證明快照核驗。
驗不過時，照這個順序排查
- 版本對不對？ 先回去看版本對照表，確認工具版本涵蓋你要驗的那次快照。
- 檔案放對層級了嗎？
user_config.json必須在工具目錄的config子資料夾內，不是和執行檔同層。 - 檔案被改過嗎？ 用編輯器開過又儲存，可能改動格式或精度，重新下載一份乾淨的。
- 那次快照你有餘額嗎？ 快照時點帳戶為空，自然不會出現在該期資料中。
- 按錯按鈕了嗎？ 單帳戶驗證要的是 User Config，不是 Merkle Tree。
一個重要的隱私提醒
user_config.json 裡有識別你帳戶的雜湊與各幣種餘額。它不該貼到論壇、群組或客服對話中，截圖分享前也要遮蓋 Record ID、Account Code、Merkle Leaf 與餘額。任何人主動要你「上傳這個檔案幫你驗證」，都應直接視為異常要求。
驗過之後，你實際知道了什麼
準確的說法是：你證明了自己在某月 1 日快照的餘額確實被放進了 Binance 公布的帳戶樹，且該批次的 zk 證明在數學上成立。你沒有證明的是快照之後資產沒有變動、鏈下負債是否完整，以及平台未來的營運、法律與資安風險。
把這一項放回整體判斷裡，可以對照入金前的完整檢查順序：Binance 安全嗎？註冊或入金前先完成這 7 項核驗。
若你完成核驗並決定註冊，可透過 Binance 官方邀請連結 使用邀請碼 BN1866。是否顯示 20% 手續費優惠、適用哪些交易費與資格條件，以註冊頁面與 Binance 當時規則為準；本站可能因此獲得佣金，這不改變本文對驗證範圍的判斷。
一手來源與核驗狀態
- 幣安客服中心：如何在幣安驗證您的帳戶餘額? — 快照時間、版本對照表、五個步驟與欄位說明；頁面標示更新於 2026-08-05，本站核驗於 2026 年 9 月 20 日。
- GitHub：binance/zkmerkle-proof-of-solvency — 驗證器原始碼與
user_config.json欄位定義，輸出字串verify pass!!!、All proofs verify passed!!!出自src/verifier/main.go；核驗於 2026 年 9 月 20 日。 - GitHub Releases：v1.2.1 — 發布於 2026-07-29，三個發行檔名與 SHA256；核驗於 2026 年 9 月 20 日。