ZK 基礎 | 第 8 集：為何 ZK 證明如此昂貴 驗證一個證明只需幾毫秒，但創建證明才是昂貴的部分。資金主要花在以下方面： 1. 計算需被重寫。你的程式必須轉換為數學可證明的形式——電路。這一步驟並非免費。 2. 證明過程耗費巨大。構建證明所需的計算量可能比正常運行程式高出數千倍。 3. 專用硬體。重要的證明運行在 GPU 和定制晶片上，這正是為何出現了一整個證明基礎設施產業。 4. 成本正快速下降。幾年內，成本已下降了數個數量級，這也正是 ZK 從論文走向實際應用的原因。 權衡點：一次性支付證明成本，讓所有人永遠以低廉代價驗證。 收藏這篇吧💜