Web3 security audit firm Certora has received a grant from the Ethereum Foundation to verify the correctness of "autoprecompiles," a technology developed by Powdr Labs for the foundation's zkEVM project. This initiative aims to enhance ZK computation performance and improve Ethereum network scalability. Certora will collaborate with Powdr Labs to develop new verification technologies to ensure the security of the zkEVM execution engine. The project plans to open-source the related specifications, proofs, and verification frameworks for use by all zkEVM implementers and ZK protocol researchers.