Odaily星球日報訊 以太坊聯合創始人 Vitalik Buterin 就 ZK-VM(零知識虛擬機)在隱私用例上的侷限性做出解釋。有用戶指出,ZK-VM 幾乎在所有方面都更優,但諷刺的是,它們唯一未能覆蓋的用例恰恰是隱私。 對此,Vitalik 迴應道:解釋很簡單:隱私用例需要客戶端側證明,而目前客戶端側證明器的速度還不夠快,無法處理超出 Merkle 分支的任何內容。 “更糟糕的是,客戶端用例需要每個用戶提供證明,這意味著證明量很小,而基於橢圓曲線的證明系統的證明時間較慢。你可以通過讓客戶端製作(ZK) STARK 並將其發送給中介來解決這個問題。中介會將其包裝在基於橢圓曲線的 SNARK 中,但這是額外的基礎依賴,這會帶來其他問題。”
12.4萬 熱度
5.4萬 熱度
3.3萬 熱度
17.2萬 熱度
3786 熱度
Vitalik:客戶端證明速度限制ZK-VM隱私應用
Odaily星球日報訊 以太坊聯合創始人 Vitalik Buterin 就 ZK-VM(零知識虛擬機)在隱私用例上的侷限性做出解釋。有用戶指出,ZK-VM 幾乎在所有方面都更優,但諷刺的是,它們唯一未能覆蓋的用例恰恰是隱私。 對此,Vitalik 迴應道:解釋很簡單:隱私用例需要客戶端側證明,而目前客戶端側證明器的速度還不夠快,無法處理超出 Merkle 分支的任何內容。 “更糟糕的是,客戶端用例需要每個用戶提供證明,這意味著證明量很小,而基於橢圓曲線的證明系統的證明時間較慢。你可以通過讓客戶端製作(ZK) STARK 並將其發送給中介來解決這個問題。中介會將其包裝在基於橢圓曲線的 SNARK 中,但這是額外的基礎依賴,這會帶來其他問題。”