“今天關於 ZK 有很多問題。” 我們邀請了 @donnoh_eth(@l2beat 的研究員)在我們的柏林 Ethproofs 峰會上發表演講,提供關於 ZK 的對立觀點——而這正是我們所得到的。 一些關鍵要點: • 驗證者是不透明的。智能合約可以被檢查,但一旦你接觸到 ZK 驗證者,你看到的就是隨機數字——而且如果不從源代碼重現驗證者,你無法知道到底證明了什麼。 • 可重現性很難。許多項目不發布再生其驗證者所需的確切提交哈希或工具版本。在某些情況下,幾乎不可能確認鏈上運行的內容。 • 自定義工具增加了風險。每個項目構建自己的技術棧,使得驗證在生態系統中變得複雜且不一致。 • 審計不夠。審計可能是部分的、過時的,或者遺漏了修復。簡單聲稱“完全審計”在沒有透明鏈接和範圍的情況下是誤導性的。 盧卡的核心觀點:ZK 並不一定消除信任。相反,它轉移了信任——挑戰在於最小化和澄清這種信任所在的地方。 觀看完整演講:
12.46K