以太坊基金会双项资助加持CertiK持续领航形式化
MetaEra 消息，5 月 14 日（UTC+8），近日，CertiK 荣获以太坊基金会 2025 年第一季度的两项研究资助，进一步巩固了其在 zkEVM 形式化验证领域的技术领导地位。zkEVM（零知识以太坊虚拟机）是区块链技术中的一项创新，通过零知识证明实现以太坊的可扩展性。CertiK 凭借其适合处理复杂零知识证明系统的「先进形式化验证」技术，为以太坊扩展性战略提供了更强的安全保障。据悉，CertiK 的形式化验证技术已广泛应用于 zkWasm、TON 主链合约、Cosmos SDK，以及蚂蚁集团的 HyperEnclave TEE、Asterinas OS 等多个顶级 Web3 项目，为行业树立了形式化验证的新标杆。（来源：CertiK）
