zk-STARK是「Zero-Knowledge Scalable Transparent Arguments of Knowledge」(零知識可擴展透明知識論證) 的縮寫，這是一種加密證明技術，由以太坊發明人維塔利克-布特林 (Vitalik Buterin，即「V神」) 的理論發展而來，旨在透過區塊鏈確保計算的完整性和隱私性。本文將介紹 zk-STARK 的原理并解釋一般的數學概念。如果您想深入瞭解相關資訊，可以參考以下資料： 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：**平臺每名用戶資產價值的總和是正確的，包括每種數字貨幣的價值和全部用戶的凈資產價值。