PANews 2月5日消息，据Chainwire报道，Web3安全公司Certora宣布获得以太坊基金会的研究资助，将与Powdr Labs合作，为以太坊基金会zkEVM倡议中的关键优化技术“自动预编译”提供形式化验证。自动预编译是由Powdr Labs开发的、可自动推断的低层ZK电路组件，旨在优化zkEVM的加密与算术运算性能。
内容来源：PANews
更多精彩內容，請登陸
財華香港網 (https://www.finet.hk/)
現代電視 (http://www.fintv.com)