Certora获得以太坊基金会开发资助

Web3安全公司Certora获得以太坊基金会开发资金支持

此次资助将用于支持Certora对自动化预编译器的正确性进行验证。该预编译器是零知识计算中的关键优化技术，由专注于推进以太坊基金会zkEVM项目的Powdr Labs开发。

Certora同时计划将其自主研发的规范、证明及验证框架以开源形式向公众开放。