币界网报道：CertiK 首席科学家 Vilhelm Sjöberg 博士在以太坊基金会与 ZKProof 联合举办的研讨会上发表主题演讲，介绍了 CertiK 在全球首个通用 zkVM——zkWasm 的形式化验证中取得的突破，并探讨了零知识虚拟机（zkVM）的验证技术，旨在支持以太坊基金会的 zkEVM 形式化验证计划。CertiK 计划与以太坊基金会及相关社区展开合作，致力于实现以太坊 zkEVM 的完整验证，以助力以太坊释放其扩展潜力。