文章核心观点 以太坊基金会公布 2025 年第一季度研究资助名单，CertiK 获两项源于 zkEVM 形式化验证竞赛的资助，彰显其在零知识证明系统形式化验证领域的全球技术领导力，其工作将为以太坊生态系统的可扩展性和安全性提供保障并为其他区块链项目树立标杆 [1][3] 公司情况 - CertiK 获以太坊基金会 2025 年第一季度两项研究资助，源于 zkEVM 形式化验证竞赛 [1] - CertiK 的“先进形式化验证”技术相比传统方案有四大突破，适合处理复杂零知识证明系统 [1][2] - CertiK 自创立以形式化验证为核心技术，依托学术成果为 Web3 项目提供安全服务 [1] - CertiK 去年完成 zkWasm 电路的首次完整形式化验证 [2] - CertiK 的形式化验证技术在多个 Web3 顶级项目和基础设施中广泛应用 [2] 行业情况 - zkEVM 通过零知识证明实现以太坊可扩展性，但面临安全风险，形式化验证是确保其正确性和安全性的关键工具 [2] - 随着区块链技术发展，特别是零知识证明系统广泛应用，形式化验证将成确保系统安全和可靠性的关键工具 [3]