​​Web3 security and verification platform Certora received grant from Ethereum Foundation. Amount is not disclosed.