According to Foresight News, security audit firm CertiK has announced that it has received two research grants from the Ethereum Foundation for the first quarter of 2025. These grants are primarily focused on the formal verification of zkEVM, a technology aimed at enhancing Ethereum's scalability through zero-knowledge proofs.
CertiK's advanced formal verification technology, designed to handle complex zero-knowledge proof systems, provides robust security support for Ethereum's scalability strategy. This technology has already been applied to various Web3 projects, including zkWasm, TON main chain contracts, Cosmos SDK, Ant Group's HyperEnclave TEE, and Asterinas OS.
zkEVM, or zero-knowledge Ethereum Virtual Machine, represents an innovation in blockchain technology, utilizing zero-knowledge proofs to achieve scalability for Ethereum.
