PANews reported on February 5th that, according to Chainwire, Web3 security company Certora announced it has received research funding from the Ethereum Foundation to collaborate with Powdr Labs on providing formal verification for "automatic pre-compilation," a key optimization technology in the Ethereum Foundation's zkEVM initiative. Automatic pre-compilation is a low-level ZK circuit component developed by Powdr Labs that can be automatically inferred, designed to optimize the cryptographic and arithmetic performance of zkEVM.