如果您想深入瞭解相關資訊，可以參考以下資料： https://medium.com/starkware/stark-math-the-journey-begins-51bd2b063c71 https://vitalik.eth.limo/general/2017/11/09/starks_part_1.htmlzk-STARK 如何運作？ 圖 1：zk-STARK 儲備金證明執行記錄表和默克爾樹 **第一步：**設定約束條件 為了證明平臺持有的用戶資產，我們先提出三項陳述： **陳述 1：**平臺每名用戶資產價值的總和是正確的，包括每種數字貨幣的價值和全部用戶的凈資產價值。 **陳述 2：**平臺沒有透過偽造凈資產為負的虛擬用戶，來減少平臺持有用戶資產價值的賬面數字 (僅當單一用戶的凈資產大于 0 時，才允許存在負余額)。 **陳述 3：**平臺持有的用戶資產總和等于每一名用戶的資產之和，因此每位用戶都可以驗證其凈資產是否包含在平臺持有的總資產中。