您现在的位置是：首页 > 快讯快讯

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

zhoucl 2025-05-14 18:42:13 快讯已有人查阅

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

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

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

本文标签：