1. 首页
  2. 7x24H 快讯

CertiK 首席科学家:CertiK 计划与以太坊基金会合作,实现以太坊 zkEVM 的完整验证

OKX欧易app

OKX欧易app

欧易交易所app是全球排名第一的虚拟货币交易所,注册领取6万元盲盒礼包!

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

OKX欧易app

欧易交易所app是全球排名第一的虚拟货币交易所,注册领取6万元盲盒礼包!

APP下载   官网注册
相关文章