ZK EVM 项目介绍和进展 zkEVM 是一种兼容 EVM 同时又对零知识证明友好的虚拟机,能保证程序,操作,和输入输出等的完全正确性。对于zkEVM来说,目前主要有两种实现策略: 1、直接支持 EVM 操作码集,与 Solidity 操作码集完全兼容。使用此解决方案的人包括Hermez 和以太坊基金会 zkEVM。 2、通过设计一个零知识证明友好的新虚拟机并适应 EVM 开发工具来保持 Solidity 兼容性。该方案主要被 zkSync 使用。 第一种策略与现有的生态系统和开发工具完全兼容,也更好地继承了以太坊的安全模型。第二种策略不受原始 EVM 操作码集的约束,因此可以更灵活地将代码编译为对零知识证明更友好的操作码集,它还免去了与所有原始 EVM 操作码集兼容所需的繁重工作。目前市场上 zkEVM 赛道中最亮眼的项目便是 zkSync。 zkSync 是德国公司 Matter Labs 构建的以太坊 L2 扩展解决方案,它的目标是通过使用 ZK-Rollup 技术来降低交易费用,提高验证速度,同时保持从以太坊继承的高水平安全性, Matter Labs 的战略是打造一系...