燃料費用並不是實際的瓶頸。@brevis_zk 強調了實際上破壞系統的原因。 重複的邏輯、重新檢查歷史和重新驗證假設會破壞可組合性。 這不是安全性，而是浪費的協調。 ZK 通過讓協議重用已驗證的真理來改變模型。 效率來自於不執行已經證明的內容。