PANews 2月5日消息，根據Chainwire報道，Web3安全公司Certora宣布獲得以太坊基金會的研究資助，將與Powdr Labs合作，為以太坊基金會zkEVM倡議中的關鍵優化技術「自動預編譯」提供形式化驗證。自動預編譯是由Powdr Labs開發的、可自動推斷的低層ZK電路組件，旨在優化zkEVM的加密與算術運算效能。