吴说获悉，Web3 安全审计公司 Certora 宣布获得以太坊基金会的资助，用于验证“自动预编译”（autoprecompiles）的正确性。该技术由 Powdr Labs 为以太坊基金会的 zkEVM 计划开发，旨在优化 ZK 计算性能，提升以太坊网络的可扩展性。Certora 将通过此赠款与 Powdr Labs 合作开发新的验证技术，以确保 zkEVM 执行引擎的安全性，并计划开源相关规范、证明和验证框架，供所有 zkEVM 实施者和 ZK 协议研究人员使用。