[Web3 Security Company Certora Receives Grant from Ethereum Foundation] Odaily Planet Daily News: Web3 security company Certora announced that it has received a grant from the Ethereum Foundation, with the specific amount yet to be disclosed. 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. It is reported that Certora plans to open-source the specifications, proofs, and verification framework it has developed. (Chainwire)