PANews 2月5日消息，據Chainwire報道，Web3安全公司Certora宣佈獲得以太坊基金會的研究資助，將與Powdr Labs合作，為以太坊基金會zkEVM倡議中的關鍵優化技術“自動預編譯”提供形式化驗證。自動預編譯是由Powdr Labs開發的、可自動推斷的低層ZK電路組件，旨在優化zkEVM的加密與算術運算性能。
内容來源：PANews
更多精彩內容，請登陸
財華香港網 (https://www.finet.hk/)
現代電視 (http://www.fintv.com)