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

时间：2026-02-06 来源：金星软件园 作者：佚名

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

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


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