CertiK 获以太坊基金会一季度两项研究资助，用于 zkEVM 形式化验证研究

安全审计机构 CertiK 宣布获得以太坊基金会 2025 年第一季度两项研究资助，主要用于 zkEVM 形式化验证领域研究。CertiK 通过其适合处理复杂零知识证明系统的「先进形式化验证」技术，为以太坊扩展性战略提供了更强的安全保障。CertiK 的形式化验证技术已应用于 zkWasm、TON 主链合约、Cosmos SDK 及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等多个 Web3 项目。zkEVM（零知识以太坊虚拟机）是区块链技术中的一项创新，通过零知识证明实现以太坊的可扩展性。(Foresight News)