[Web3 Security Company Certora Announces Grant from Ethereum Foundation] BlockBeats News, February 5, Web3 security company Certora announced that it has received a grant from the Ethereum Foundation, with the specific amount undisclosed. The funds will be used to support its verification of the correctness of automated precompilation, a key optimization technology in zero-knowledge computation developed by Powdr Labs for the Ethereum Foundation's zkEVM project.