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