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