CertiK won 2 grants from Ethereum Foundation

robot
Abstract generation in progress

According to the latest report, in the first quarter of 2025, the Ethereum organization awarded two research grants to CertiK, a well-known entity in the field of blockchain security. These projects focus on development tools and formal methods for the verification of zkVM.

Verus Tool Evaluation: CertiK will evaluate Verus, a Rust verification tool, to check circuits written in Rust and EVM's bytecode modules.

Simplifying zkVM Verification: This project develops strategies to simplify zkVM verification, focusing on modular arithmetic and multi-value packing cases within a domain element.

CertiK's official verification technology has been widely applied in many leading Web3 projects such as zkWasm, the main contract of TON, Cosmos SDK, and Ant Group's HyperEnclave TEE. The content is for market informational purposes only and is not investment advice.

Thank you for reading this article!

Please Like, Comment and Follow TinTucBitcoin to always stay updated with the latest news about the cryptocurrency market and not miss any important information!

View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
  • Reward
  • Comment
  • Share
Comment
0/400
No comments