Web3 security firm Certora has received research funding from the Ethereum Foundation to advance formal verification in collaboration with Powdr Labs. The funding will support efforts to enhance "automatic pre-compilation," a crucial optimization technology within the Ethereum Foundation's zkEVM initiative. This technology, developed by Powdr Labs, aims to improve the cryptographic and arithmetic efficiency of zkEVM by automatically inferring low-level ZK circuit components.