Recently, the Ethereum Foundation announced its Q1 2025 research grant recipients, and CertiK-the world's largest Web3 security firm-was awarded two research grants stemming from the zkEVM formal ...