Web3 Security Company Certora Receives Funding from Ethereum Foundation

Odaily News Web3 security company Certora announced that it has received funding from the Ethereum Foundation, with the specific amount not yet disclosed. The related funds will be used to support its verification of the correctness of automatic precompiles, a key optimization technology in zero-knowledge computing 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)