我對 @0xMiden 的吸引力不在於它的「zk L2」標語，而在於它對於工作發生地點的執行模型有多麼明確。大部分運行在你的設備上，鏈基本上是一個可驗證的日誌。 我花了一些時間在他們的「隱私簡單地更好擴展」文章和 Miden Book 上，模式是一致的：用戶在本地執行，將數據存儲在鏈外，並將 STARK 證明和承諾發送到網絡，而不是原始狀態。隱私是更便宜的，而不是附加的。 在實踐中，這意味著： ❯ 在用戶設備上進行邊緣執行，客戶端證明作為默認路徑 ❯ 一個確定性的 STARK 虛擬機，使得複雜邏輯保持可預測和可驗證，而不需要可信的設置 ❯ 一個明確針對機構級金融的路線圖，得到了 a16z crypto、1kx 和 Hack VC 的 2500 萬美元種子資金支持，這是在從 Polygon 分拆出來之後 與典型的滾動解決方案相比，這些解決方案通過增強序列器並仍然通過一個公共管道發送所有內容，Miden 更像是「瀏覽器原生的 zk 基礎設施」，恰好結算到 Ethereum。你可以選擇什麼是公共的，什麼是私有的，網絡只會看到它需要檢查的內容。 如果你甚至在考慮現實世界的金融、薪資或 RWA 流程，我建議你試試他們的 Playground 或 Quick Start，實際感受一下客戶端證明和邊緣執行的樣子，然後再決定這是否成為默認堆棧。