Vitalik 祝賀 ZKsync 技術突破：zkEVM 的首要任務應全面轉向安全性
來源：
x.com
以太坊聯合創始人 Vitalik Buterin 祝賀 zkSync 團隊取得相關進展，並指出當前證明速度的競爭已基本塵埃落定，零知識以太坊虛擬機（zkEVM）的首要任務應全面轉向安全性。他強調，這包括對算術化與以太坊規範的等價性、證明者成本與區塊 Gas 消耗量比值的嚴格上限，以及證明系統本身的安全性進行形式化驗證。
