据以太坊基金会官网显示，区块链安全机构CertiK近日荣获以太坊基金会2025年第一季度两项研究资助，分别聚焦于开发者工具和zkVM电路验证的形式化手段提升：

  1. Verus工具评估：CertiK将评估Verus（一种Rust验证工具）在验证用Rust编写的电路及EVM预编译模块方面的实用性。

  2. zkVM电路验证简化：该项目旨在开发策略以简化zkVM电路验证，重点解决模块算术与多个数值打包为单一域元素的情况。

据悉，CertiK 的形式化验证技术已广泛应用于 zkWasm、TON 主链合约、Cosmos SDK，以及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等多个顶级 Web3 项目。