Web3 security company Certora announced it has received a grant from the Ethereum Foundation

BlockBeats News, February 5th, Web3 security company Certora announced that it has received a grant from the Ethereum Foundation, with the specific amount undisclosed. The funding will be used to support the verification of the correctness of automated precompiles, a key optimization technology in zero-knowledge proofs, developed by Powdr Labs for the Ethereum Foundation's zkEVM project.