avatar
Bobbin Threadbare
2,897個推特粉絲
關注
zero-knowledge proofs, virtual machines, rollups. working on @0xPolygonMiden
動態
avatar
Bobbin Threadbare
10-23
完全可以依賴零知識證明（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
loading indicator
Loading..