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

区小号 5月14日消息，据以太坊基金会官网显示，区块链安全机构CertiK近日荣获以太坊基金会2025年第一季度两项研究资助，分别聚焦于开发者工具和zkVM电路验证的形式化手段提升： Verus工具评估：CertiK将评估Verus（一种Rust验证工具）在验证用Rust编写的电路及EVM预编译模块方面的实用性。

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