Workflow
zkEVM
icon
搜索文档
CertiK 荣获以太坊基金会两项资助,领跑 zkEVM 形式化验证
Globenewswire· 2025-05-14 22:00
纽约, May 14, 2025 (GLOBE NEWSWIRE) -- 近日,以太坊基金会公布了 2025 年第一季度研究资助名单,全球最大的 Web3 安全公司 CertiK 荣获两项研究资助,源于 zkEVM 形式化验证竞赛。这不仅是以太坊扩展性战略的里程碑式事件,也进一步彰显了 CertiK 在零知识证明(ZKP)系统形式化验证领域的全球技术领导力。 CertiK 的“先进形式化验证”技术是此次获奖的关键,相比传统方案,它实现了四大突破:直接针对具体代码而非抽象模型;深入验证代码独特属性而非通用特性;通过自动化框架攻克人力难以企及的复杂验证;适用于大规模生产环境而非局限于学术研究。值得一提的是,CertiK 自创立之初便以形式化验证为核心技术,依托学术研究成果,为 Web3 项目提供高可靠性的安全服务。 这些优势使其特别适合处理复杂零知识证明系统。例如,CertiK 去年完成了 zkWasm 电路的首次完整形式化验证,这一突破性成果证明了复杂零知识电路的全面形式化验证是可行的。此外,CertiK 的形式化验证技术已经在多个 Web3 顶级项目和基础设施中得到广泛应用,包括zkWasm、TON 主链合约 ...