完全可以依賴零知識證明(ZKP)來保護隱私,同時編寫 DeFi 協議(以及更多其他協議)——這正是 Miden 的設計初衷。關鍵在於重新構想狀態的運作方式,摒棄單一狀態架構,轉而採用 Actor 模型(分佈式系統數十年來一直沿用此模型)。 這樣,我們就可以擁有能夠與控制共享狀態的公共 Actor 交互的私有 Actor。或者,我們也可以擁有半私有 Actor(狀態對部分用戶可見,但並非整個網絡都可見),這些 Actor 既可以與完全私有 Actor 交互,也可以與公共 Actor 交互。 這是一個非常強大的模型,涵蓋了大量的 DeFi 用例——從匿名 AMM 和 CLBO,到符合隱私規範的穩定幣。 還有一點值得一提:編寫這些 DeFi 協議並不需要精通 ZKP 的工程師——你可以用 Rust 編寫所有代碼。 我確實喜歡全同態加密(FHE)——它是一項非常酷的技術,能夠實現一些零知識證明(ZKP)無法解決的應用場景(例如,真正私有的共享狀態)——但它也會給網絡帶來巨大的性能開銷。 ZKP 的優勢在於它實際上可以降低網絡負載——本地驗證的交易無需網絡執行(驗證 ZKP 的成本非常低)——我們稱這種概念為邊緣區塊鏈。而使用 FHE,每筆交易對網絡的成本都會增加 100 倍(甚至 1000 倍)。ASIC 肯定能有所幫助,但這同時也意味著每個驗證節點都需要運行這些 ASIC,否則它們將無法參與網絡活動。要求每個節點都配備 ASIC,就好比要求每個比特幣節點都成為礦工一樣。
本文為機器翻譯
展示原文

Kyle Samani
@KyleSamani
10-23
6/
b) is the most subtle and hardest to understand. This is where ZK fails
To understand why, let's consider the simplest privacy app: zcash (no defi).
When you submit a shielded zcash transaction, you produce a proof that says, roughly "I am sending coins such that my
來自推特
免責聲明:以上內容僅為作者觀點,不代表Followin的任何立場,不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享



