PANews 2月5日消息，据Chainwire报道，Web3安全公司Certora宣布获得以太坊基金会的研究资助，将与Powdr Labs合作，为以太坊基金会zkEVM倡议中的关键优化技术“自动预编译”提供形式化验证。自动预编译是由Powdr Labs开发的、可自动推断的低层ZK电路组件，旨在优化zkEVM的加密与算术运算性能。