CertiK荣获以太坊基金会两项资助，助力zkEVM形式化验证新突破

5月14日消息，以太坊基金会官网显示，区块链安全机构CertiK获得2025年Q1两项研究资助，涉及开发者工具与zkVM电路验证的形式化方法优化：

1. 评估Verus工具：CertiK将测试Verus（Rust验证工具）在验证Rust编写的电路和EVM预编译模块中的实用性。

2. 简化zkVM验证：开发策略以优化zkVM电路验证，重点解决模块算术及多数值打包问题。

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