Columns and opinions
22/11/2022
如同我們在前一篇文章 《FTX 破產後：「償付證明」才可證明沒有挪用用戶資產，不是「儲備證明 》 中所說，加密貨幣交易所要證明自己沒有挪用用戶資產，必須要出具用戶資產的「代管資產償付能力證明」，而這個償付能力證明，必須包含用戶資產的「代管資產證明」與「代管負債證明」。 圖一：代管資產償付能力，應包括「代管資產」與「代管負債」兩項 「代管負債證明」的目的，是為了證明交易所出具的的「代管資產證明」（部分同業稱「儲備證明」），也就是交易所錢包中所代管，屬於用戶的數位資產，是否等同用戶存入交易所的數位資產類別與數量，當用戶存入 1 枚比特幣，「代管負債證明」與「代管資產證明」中，也都應該有 1 枚比特幣，而不是等值或不等值的其他數位資產。經由「代管資產證明」與「代管負債證明」交叉比對，才能知道交易所是任意移動或盜用其所代管的用戶資產。 「代管資產證明」因為都是區塊鏈上的資產，受惠於區塊鏈公開透明的技術特性，比較容易準備，但是「代管負債證明」相對困難，因為使用者餘額資料，都存在於中央化的資料庫中。其實先前就已有相關的演算法來驗證「代管負債證明」，並且已經歷經了三代的演進，只是 FTX 破產的風暴，讓這項技術受到更多的關注，也有越來越多多團隊與人才，願意投注資源和時間去優化。這方面最早被產業應用的技術，就是近期引發許多討論的 Merkle tree。 圖二：判斷交易所是否挪用用戶資產的「用戶資產償付證明」涵蓋範圍 備註：本文中所探討的「代管負債證明」，主要聚焦於交易所代管用戶資產的負債證明，如圖二所示，為紅色框中所涵蓋的範圍，也就是用戶在交易所存放的數位資產餘額，之後文章中所提及「代管負債」，也皆是以代管用戶資產部分，為聚焦討論領域。 本文將討論從 Merkle tree 開始的三代技術演化，分享「代管負債證明」的實作方式與挑戰外，也會揭露一些常見的作弊手法，讓大家更能知道如何防範與判別。 第一代 Merkle Tree 負債證明 Merkle tree 又被稱為「雜湊樹」或「默克爾樹」，是一個基於哈希演算法 (hash，或稱雜湊演算法) 的數位簽章技術，是 1988 年由喬治亞理工學院資訊安全中心主任 Ralph Merkle 教授所 提出 。雖然因為 FTX 破產，Merkle tree 才似乎因為大家追求「償付能力證明」而再次被關注，但是中本聰 2008 年發表的 比特幣白皮書 中僅有七篇的引述，其中就有三篇是與 Merkle tree 相關；Merkle tree… Read More
