CertiK received two research grants from the Ethereum Foundation in the first quarter for formal verification of zkEVM

According to Foresight News, security auditing firm CertiK has announced that it has received two research grants from the Ethereum Foundation for the first quarter of 2025, primarily for research in the field of formal verification of zkEVM. CertiK provides stronger security for Ethereum's scalability strategy through its advanced formal verification technology, which is suitable for handling complex zero knowledge proof systems. The formal verification technology of CertiK has been applied to multiple Web3 projects such as zkWasm, TON main chain contracts, Cosmos SDK, Ant Group's HyperEnclave TEE, Asterinas OS, etc. ZkEVM (Zero Knowledge Ethereum Virtual Machine) is an innovation in blockchain technology that achieves scalability of Ethereum through zero knowledge proofs.