完全可以在依賴 ZKPs 來實現隱私的情況下編寫 DeFi 協議（以及更多）——這正是 Miden 設計的目的。主要的技巧是重新構想狀態的運作方式，而不是使用單一的狀態，而是適應 Actor 模型（這在分散式系統中已使用了幾十年）。 然後我們可以擁有可以與控制共享狀態的公共 Actor 互動的私有 Actor。或者我們可以擁有半私有的 Actor（狀態對某些用戶集是已知的，但對整個網絡並不知曉），這些也可以與完全私有的 Actor 或公共 Actor 互動。 這是一個非常強大的模型，涵蓋了大量的 DeFi 用例——從匿名 AMM 和 CLBO，到私有合規的穩定幣。 還有一個好處：要編寫這些 DeFi 協議，我們不需要理解 ZKPs 的工程師——你可以用 Rust 編寫所有內容。 我確實喜歡 FHE——這是一項非常酷的技術，確實能夠實現一些 ZKPs 無法解決的用例（即，擁有真正私有的共享狀態）——但它也為網絡帶來了巨大的性能開銷。 ZKPs 的美妙之處在於它們實際上減少了網絡負載——在本地證明的交易不需要由網絡執行（驗證 ZK 證明是非常便宜的）——我們稱這個概念為邊緣區塊鏈。而使用 FHE，每筆交易對網絡的成本將增加 100 倍（或 1000 倍）。ASICs 在這裡肯定會有所幫助，但這也意味著每個驗證節點都需要運行這些 ASIC，否則他們將無法跟上網絡。而要求每個節點都擁有 ASIC，就像要求每個 Bitcoin 節點都是礦工一樣。