Web3 security company Certora receives funding from the Ethereum Foundation

Web3 security company Certora announced that it has received funding from the Ethereum Foundation, with the specific amount not disclosed. The funding will be used to support the verification of the correctness of its automatic precompilation, which is a key optimization technique in zero-knowledge computation developed by Powdr Labs for the Ethereum Foundation's zkEVM project. It is reported that Certora plans to open source its developed specifications, proofs, and verification framework.