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