此次资助将用于支持Certora对自动化预编译器的正确性进行验证。该预编译器是零知识计算中的关键优化技术,由专注于推进以太坊基金会zkEVM项目的Powdr Labs开发。
Certora同时计划将其自主研发的规范、证明及验证框架以开源形式向公众开放。