在以太坊基金会与 ZKProof 联合举办「零知识证明（ZKP）形式化验证研讨会」上，CertiK 高级首席科学家 Vilhelm Sjöberg 博士发表主题演讲，聚焦 zkWasm 验证成果与以太坊扩展计划。Sjöberg 详细介绍了 CertiK 在全球首个通用 zkVM——zkWasm 的形式化验证中取得的突破，并探讨了零知识虚拟机（zkVM）的验证技术，旨在支持以太坊基金会的 zkEVM 形式化验证计划。该计划为期多年，投资总额达 2000 万美元，是实现以太坊 L1 和 L2 层扩展的关键一步。CertiK 计划与以太坊基金会及相关社区展开合作，致力于实现以太坊 zkEVM 的完整验证，以助力以太坊释放其扩展潜力。