CertiK’s formal verification technology has already been widely adopted in leading Web3 projects and infrastructure, including TON mainnet smart contracts; Cosmos SDK; and Ant Group’s HyperEnclave TEE, Asterinas OS, and SGX TRTS SDK, demonstrating its broad applicability and high reliability.zkEVM (Zero-Knowledge Ethereum Virtual Machine) is an innovation in blockchain technology that enhances Ethereum’s scalability using zero-knowledge proofs.
The key to CertiK’s success lies in its "Advanced Formal Verification” technology, which offers four major breakthroughs over traditional approaches: it targets actual code rather than abstract models; it verifies specific code properties instead of generic traits; it tackles complex verification tasks through an automated framework, overcoming human limitations; and it is suitable for large-scale production environments, rather than being confined to academic research.
NEW YORK, May 14, 2025 (GLOBE NEWSWIRE) -- 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 verification competition.
The story "CertiK Wins Two Grants from the Ethereum Foundation, Spearheading zkEVM Formal Verification" has 352 words across 12 sentences, which will take approximately 2 - 3 minutes for the average person to read.
Which news outlet covered this story?
The story "CertiK Wins Two Grants from the Ethereum Foundation, Spearheading zkEVM Formal Verification" was covered 1 days ago by GlobeNewswire, a news publisher based in China.
How trustworthy is 'GlobeNewswire' news outlet?
GlobeNewswire is a fully independent (privately-owned) news outlet established in 1998 that covers mostly technology news.
The outlet is headquartered in China and publishes an average of 47 news stories per day.
It's most recent story was published 8 hours ago.
What do people currently think of this news story?
The sentiment for this story is currently Negative, indicating that people regard this as "bad news".
How do I report this news for inaccuracy?
You can report an inaccurate news publication to us via our contact page. Please also include the news #ID number and the URL to this story.
