zkEVM目前的发展状况如何？

Question

zkEVM的当前状态是什么？这是一个通用的(不是像循环或不可变的专业)，EVM兼容的，兼容的zk-汇总层2。据我所知，它们还在开发中，没有一个是活的，但这是真的吗？是否有资源或运行列表来详细说明当前zkEVM的进展情况？

据我所知，以下是目前的选择：

• Starknet:实际上不是EVM兼容的
• EVM 2.0:实际上不是EVM兼容的、可靠的代码编译成另一种语言
• 卷轴:在开发中，看起来不太正式，也没有大牌支持。
• 太子:与Loopring合作，处于发展的早期阶段。
• Hermez2.0:Polygon的zkEVM，仍在开发中

我错过了一些吗？我列出的那些是错误的吗？是否有一个全面的清单，详细说明目前在zkEVM方面的进展？

Answer 1

zkEVM是一种支持零知识证明计算的与EVM兼容的虚拟机.与常规虚拟机不同，zkEVM证明了程序执行的正确性，包括操作中使用的输入和输出的有效性。在6月份的Twitter帖子中，Scroll的张罗珠描述了三种不同类型的zkEVM:字节码级、语言级和共识级。Vitalik在他的博客中详细介绍了他对zkEVM的看法。它可以从发表在他的博客中的下面的图表中得到简要的理解。

Polygon最近推出了它的zkEVM TestNet。DeFI平台、Uniswap和Aave已经将zkEVM测试网络连接起来。以下是zkEVM多边形实现的主要组成部分。

• 证明效率(PoE)协商一致机制。
• zkNode软件包括同步器、排序器和聚合器。
• 从LX到LY桥。
• zkProver。