即期外汇市场以及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等多个顶级 Web3 项目币界网音书， 据以太坊基金会官网显示，区块链安乐机构CertiK不日荣获以太坊基金会2025年第一季度两项琢磨资助，分辩聚焦于开荒者东西和zkVM电道验证的时势化本事提拔：Verus东西评估：CertiK将评估Verus（一种Rust验证东西）正在验证用Rust编写的电道及EVM预编译模块方面的适用性。zkVM电道验证简化：该项目旨正在开荒计谋以简化zkVM电道验证，要点治理模块算术与众个数值打包为简单域元素的情形。 据悉，CertiK 的时势化验证工夫已遍及运用于 zkWasm、TON 主链合约、Cosmos SDK，以及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等众个顶级 Web3 项目。
