Web3 security firm Certora has announced receiving a grant from the Ethereum Foundation. According to Odaily, the specific amount of the funding has not been disclosed. The grant will support Certora's efforts in verifying the correctness of automated precompilation, a crucial optimization technology in zero-knowledge computation. This technology was developed by Powdr Labs for the Ethereum Foundation's zkEVM project. Certora intends to open-source the specifications, proofs, and verification framework it develops.