
最近整理鏈上筆記時想到一個現象:市面上「隱私公鏈」不少,但真正做深的沒幾個。多數項目直接在 EVM 外面套一層加密殼,交易藏起來、狀態根換個哈希,就敢自稱隱私。省事是省事,天花板也卡死了。 認真讀完 Dusk 技術文檔後才看清差異。 Dusk 沒有走 EVM 套殼,而是從零做了 Piecrust。第一反應是:隱私鏈最缺流動性和生態冷啟動,複用 EVM 明明更穩,為什麼選更難的路? EVM 本身不是為 zk 證明設計的。狀態模型、指令集、gas 計量全圍繞透明執行。硬塞零知識證明,證明生成慢、電路複雜度高,能做的事被架構鎖死。很多團隊花幾年做 zkEVM,本質上是在和一套不是為證明而生的系統較勁。 Dusk 直接換執行環境。合約編譯成 WASM,而不是 EVM 字節碼。WASM 指令更輕、語義更規整,天然適合電路化和證明系統。 幾個關鍵點: 執行環境完全隔離,宿主機可調用的介面被壓到極窄。介面越窄,需要證明的範圍越小,電路規模越可控。這和 TEE 縮小 TCB 的思路類似,但用 zk 收斂信任邊界,不依賴硬體假設。 WASM 指令可量化程度高,gas 計量更精確。EVM 帶著大量歷史包袱,邊界情況多,很多鏈上事故的根因就是計量不一致被鑽空子。Dusk 在底層就規避了。 執行結果必須在節點間完全一致,否則共識驗證立不住。確定性沙箱確保同一段 WASM 在任何機器上跑出相同狀態,這是整個隱私計算的地基。 說白了,Dusk 的判斷很清晰:隱私和 zk 不是後期能補的功能,必須從虛擬機指令集和執行模型這一層就重新設計。Piecrust 不是給 EVM 打補丁,是另起爐灶,從地基開始為 zk 原生構建。 短期犧牲了生態兼容性。但把時間拉長,如果 zk 是區塊鏈的終局,從執行層就原生適配證明系統的項目,一定比在 EVM 上縫縫補補走得更遠。技術路線從來不是看哪條路當下好走,而是看哪條路和終點在同一個方向上。 @DuskFoundation $DUSK #dusk
