作者：DARREN KLEINE，blockworks 編譯：善歐巴，金色財經
許多團隊正在努力實現零知識DeFi，但他們都在處理同樣的基本邏輯問題。
在最近的Lightspeed播客中，Multicoin Capital的Kyle Samani表達了他對於零知識證明在DeFi中並非隱私問題的正確解決方案的信心。他認為零知識證明在其他領域有其用武之地，但在DeFi中或許並不適用。
零知識證明可以用於向某人證明購買酒精飲料的年齡，而無需透露其他個人詳細信息。這正是零知識證明的有效應用場景，可以保護隱私並且證明特定事實。
然而，如果DeFi的目標是隱私，零知識證明並不是合適的解決方案。在DeFi中，需要考慮“共享狀態”的概念，即在進行金融交易時，各參與者之間進行數學運算並提交零知識事務。 DeFi中並不存在全局狀態的概念，這就導致無法進行全局狀態的推理，從而使得零知識證明在DeFi中無法發揮作用。
Kyle Samani舉了一個例子來說明這一點，在DeFi中，存在有限合夥人池和限價單，不同人之間會進行交易和互動。由於沒有全局狀態的概念，無法推理出整個系統的狀態。因此，他認為零知識證明並不適合解決DeFi中的隱私問題。在DeFi中，需要一種能夠處理共享狀態和全局狀態推理的解決方案，而零知識證明並不能提供這樣的功能。
自上而下的推理
在解釋零知識（ZK）證明在DeFi 中不適用的觀點中，Kyle Samani提出了一個以zcash (ZEC) 為例的基本前提。對於zcash，任何交易的證明都表明一系列未使用的交易輸出（UTXO）已被發送到一系列私有地址的“加密blob”中。
他在舉例時說：“我收到的UTXO 總數少於我發出的UTXO 數量，包括當前交易。” 這種情況下，交易證明只能表明用戶的餘額大於零，但無法提供更具體的細節。
儘管zcash 的發行量理論上永遠不會超過2100 萬，因為它與比特幣分叉具有相同的供應限制，但由於其基於隱私的設計，無法審計供應量。這也意味著無法從上到下審計系統，無法確定zcash 的總供應量是否仍固定在2100 萬個。實際上，zcash 曾發生過一個潛在的災難性錯誤，但該問題在2019年被報告並修復。
Kyle Samani將這一事件與在DeFi 中實施零知識解決方案的嘗試聯繫起來，強調如果無法自上而下地推理系統，DeFi就無法實現其目標。他表示，當每個人都向鏈上提交一堆私人證明時，DeFi中的抵押品管理、償付能力等概念就不再起作用。 DeFi 需要自上而下的視角才能發揮作用，而不僅僅是一堆加密的ZK 交易。
雖然很多團隊正在努力實現零知識SDK，但他認為他們仍在處理一個非常基本的邏輯問題。他建議在DeFi 中實現隱私的正確方法是採用完全同態加密（FHE）。通過端到端加密合約，並由驗證者應用狀態轉換，可以保留系統的核心邏輯，這是解決隱私問題的正確途徑。
綜上所述，Kyle Samani 強調了零知識證明在DeFi 中並不適用的原因，並提出了通過完全同態加密實現隱私的正確方法。他認為DeFi需要自上而下的視角，以更好地發揮其潛力。