以太坊扩展的圣杯:zkEVMs

原文作者:DeFISaint

原文来源:[email protected]

编译:MarsBit,MK

以太坊扩展的圣杯:zkEVMs。虽然很多人都在尝试构建,但有一个协议是最有机会成功的。以下是我推断最有可能成为赢家的协议:

在这个主题中,我将介绍:

– zkEVMs

– Polygon ZK

– 团队

– 投资

– 个人理念

1.zkEVMs,这只是Zk-Rollups技术的升级。

与假设交易正确的Optimistic rollups不同,它们将交易分批捆绑发送到主网,在主网提交欺诈证明以验证Txns的正确性。

Zkrollups和zkEVMs依赖于数据平衡的最终性,在这种情况下,他们在链下运行计算以减少主网的负载,并将带有有效性证明的 Txns 的最终性提交给主网。

Zk-Rollups技术有几个限制,因为与Optimistic Rollups相比,Zk-Rollups技术不完全兼容EVM和以太坊等价。这导致了为什么使用zkEVMs。

这点对这项令人惊叹的技术来说是一个重大的影响,因为 Zkrollups 往往会取得比 Optimistic Rollups 更大的成就,尤其是在隐私方面,并且它在返回主网时不需要取款等待时间(提供更快的 Txn 终结性)。

2.我研究了各种zkEVM构建器,这就是为什么我能坚定的选择:Polygon zkEVM

“条条大路通罗马”,是的,但你会选择一条没有人走过的路,而不是一条很多人都轻松走过并取得胜利的路吗?

这便是我对选择下注Polygon zkEVM的回答

Polygon zkEVM和Scroll正在建立完全EVM等效的2类zkEVM方法。这才是真正的zkEVM所在。

主网

为什么不是1类?

类型1是完全等同于以太坊的,它有它的优点和缺点,

如完美的兼容性,因为它是完全的以太坊,在内部和外部的行为都与以太坊本身的行为一样。

构建像以太坊一样的EVM是一个非常好的方法,但看看以太坊本身的表现,在我们有L2这样的扩展解决方案来扩展以太坊之前,要为了去中心化和安全而牺牲可扩展性。Taiko正在建立这种类型。

这类似于我们即将看到的类型 1 的缺点,这导致它的缺点是证明的时间较慢。所以,你已经知道为什么Polygon zkEVM和Scroll没有采取这种方法。

为什么不是3类?

3类几乎与EVM等同,是的……几乎是,但仍然不是。他们试图模仿与EVM兼容,但没有完全复制,以解决EVM兼容的问题,但这不是最好的方法。

我认为这是在逃避巨大的责任,并寻找一种更容易的方法来完成它,同时还抛下了需要解决的主要问题。所以,这种方法反而更容易建立,并且有更快的验证时间,但有更多的不相容性。

为什么不是4类?

第4类,这是一种高级语言的等效物,与第3类相似,因为它们是近亲。这就像 “告诉我你的朋友,我会告诉你你是谁”

从名字上看,它的工作原理是用EVM高级语言(如Solidity和Vyper)编写的智能合约代码,然后将其编译为ZK-SNARK友好的语言,从而使其看起来与EVM兼容。zkSync和StarkNet正在建立这种类型。

所以,这种方法反过来有非常快的证明者时间,但像类型3那样有更多的不相容性。

那么为什么Polygon zkEVM选择2型?

是的,那些见证它即将到来的人有福了。类型2完全等同于EVM,但不等同于Ethereum,因为在试图使zkRollups与EVM兼容的过程中,它仍然完全像以太坊是不可扩展的,与类型1的行为不同,以太坊的验证器时间较慢,这对zkEVM来说并不容易实现更高的吞吐量并与optimistic rollups展开激烈竞争。

所以,这种方法在虚拟机层面又是完全等价的,较慢的验证器时间得到了改善,但仍然很慢。这里Polygon zkEVM选择了这种倾向于实现EVM-Compatibility的方法,现在正在努力实现更低的验证器时间。

3.说到这里,让我们看看PolygonzkEVM目前做了什么

主网之前的最后一个测试网还在运行,从那时起polygon zkEVM已经取得了:

– 由于使用了并行的多重证明器,产生一批Txn的证明所需的时间从10分钟减少到4分钟。

– 递归的zk证明系统(一个有效性证明来证明其他有效性证明的正确性),就像zkSNARK中简洁的意思。

– 通过使用STARK和SNARK方法的分批和汇总,每个Txn的成本<0.04美元

– 支持EIP-155(包括Txn内的链ID以避免重放攻击)。

– 适应一批Txn的Gas吞吐量从4M-10M增加。这将有助于减少费用和增加吞吐量。

在最近看关于polygon zkEVM在主网的进展的AMA之后。我对polygonzkEVM的最终结果做了一个概述。

在这,我总结并分解了polygon zkEVM如何采取关键的3步方法来达到交易的最终结果:

1. 受信状态: 这个阶段涉及到用户从钱包中发送交易,PolygonzkEVM在节点中接收交易,排序器(是节点的一部分)将Txn以有序的形式放在一个特定的区块中。在这个阶段,交易已经在L2上完成,但在L1上没有完成。

2. 虚拟状态: 这是一种状态,积累了一批Txn的排序器将Txn分批发送给L1智能合约。

它的目的是把Txn的数据可用性放到以太坊上,所以任何节点都可以读取ETH

智能合约并建立一个状态,意味着不需要信任任何人,从而实现 “无信任”。

3. 合并状态:在这个阶段,聚合器/验证器使用zkprover建立一个有效性证明,以便对交易进行验证并在L1上达到最终结果。

转载声明:本文 由CoinON抓取收录,观点仅代表作者本人,不代表CoinON资讯立场,CoinON不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。若以此作为投资依据,请自行承担全部责任。

声明:图文来源于网络,如有侵权请联系删除

风险提示:投资有风险,入市需谨慎。本资讯不作为投资理财建议。

(0)
打赏 微信扫一扫 微信扫一扫
上一篇 2023年2月15日 下午10:52
下一篇 2023年2月15日 下午10:52

相关推荐

以太坊扩展的圣杯:zkEVMs

星期三 2023-02-15 22:52:12

以太坊扩展的圣杯:zkEVMs。虽然很多人都在尝试构建,但有一个协议是最有机会成功的。以下是我推断最有可能成为赢家的协议:

在这个主题中,我将介绍:

– zkEVMs

– Polygon ZK

– 团队

– 投资

– 个人理念

1.zkEVMs,这只是Zk-Rollups技术的升级。

与假设交易正确的Optimistic rollups不同,它们将交易分批捆绑发送到主网,在主网提交欺诈证明以验证Txns的正确性。

Zkrollups和zkEVMs依赖于数据平衡的最终性,在这种情况下,他们在链下运行计算以减少主网的负载,并将带有有效性证明的 Txns 的最终性提交给主网。

Zk-Rollups技术有几个限制,因为与Optimistic Rollups相比,Zk-Rollups技术不完全兼容EVM和以太坊等价。这导致了为什么使用zkEVMs。

这点对这项令人惊叹的技术来说是一个重大的影响,因为 Zkrollups 往往会取得比 Optimistic Rollups 更大的成就,尤其是在隐私方面,并且它在返回主网时不需要取款等待时间(提供更快的 Txn 终结性)。

2.我研究了各种zkEVM构建器,这就是为什么我能坚定的选择:Polygon zkEVM

“条条大路通罗马”,是的,但你会选择一条没有人走过的路,而不是一条很多人都轻松走过并取得胜利的路吗?

这便是我对选择下注Polygon zkEVM的回答

Polygon zkEVM和Scroll正在建立完全EVM等效的2类zkEVM方法。这才是真正的zkEVM所在。

主网

为什么不是1类?

类型1是完全等同于以太坊的,它有它的优点和缺点,

如完美的兼容性,因为它是完全的以太坊,在内部和外部的行为都与以太坊本身的行为一样。

构建像以太坊一样的EVM是一个非常好的方法,但看看以太坊本身的表现,在我们有L2这样的扩展解决方案来扩展以太坊之前,要为了去中心化和安全而牺牲可扩展性。Taiko正在建立这种类型。

这类似于我们即将看到的类型 1 的缺点,这导致它的缺点是证明的时间较慢。所以,你已经知道为什么Polygon zkEVM和Scroll没有采取这种方法。

为什么不是3类?

3类几乎与EVM等同,是的……几乎是,但仍然不是。他们试图模仿与EVM兼容,但没有完全复制,以解决EVM兼容的问题,但这不是最好的方法。

我认为这是在逃避巨大的责任,并寻找一种更容易的方法来完成它,同时还抛下了需要解决的主要问题。所以,这种方法反而更容易建立,并且有更快的验证时间,但有更多的不相容性。

为什么不是4类?

第4类,这是一种高级语言的等效物,与第3类相似,因为它们是近亲。这就像 “告诉我你的朋友,我会告诉你你是谁”

从名字上看,它的工作原理是用EVM高级语言(如Solidity和Vyper)编写的智能合约代码,然后将其编译为ZK-SNARK友好的语言,从而使其看起来与EVM兼容。zkSync和StarkNet正在建立这种类型。

所以,这种方法反过来有非常快的证明者时间,但像类型3那样有更多的不相容性。

那么为什么Polygon zkEVM选择2型?

是的,那些见证它即将到来的人有福了。类型2完全等同于EVM,但不等同于Ethereum,因为在试图使zkRollups与EVM兼容的过程中,它仍然完全像以太坊是不可扩展的,与类型1的行为不同,以太坊的验证器时间较慢,这对zkEVM来说并不容易实现更高的吞吐量并与optimistic rollups展开激烈竞争。

所以,这种方法在虚拟机层面又是完全等价的,较慢的验证器时间得到了改善,但仍然很慢。这里Polygon zkEVM选择了这种倾向于实现EVM-Compatibility的方法,现在正在努力实现更低的验证器时间。

3.说到这里,让我们看看PolygonzkEVM目前做了什么

主网之前的最后一个测试网还在运行,从那时起polygon zkEVM已经取得了:

– 由于使用了并行的多重证明器,产生一批Txn的证明所需的时间从10分钟减少到4分钟。

– 递归的zk证明系统(一个有效性证明来证明其他有效性证明的正确性),就像zkSNARK中简洁的意思。

– 通过使用STARK和SNARK方法的分批和汇总,每个Txn的成本<0.04美元

– 支持EIP-155(包括Txn内的链ID以避免重放攻击)。

– 适应一批Txn的Gas吞吐量从4M-10M增加。这将有助于减少费用和增加吞吐量。

在最近看关于polygon zkEVM在主网的进展的AMA之后。我对polygonzkEVM的最终结果做了一个概述。

在这,我总结并分解了polygon zkEVM如何采取关键的3步方法来达到交易的最终结果:

1. 受信状态: 这个阶段涉及到用户从钱包中发送交易,PolygonzkEVM在节点中接收交易,排序器(是节点的一部分)将Txn以有序的形式放在一个特定的区块中。在这个阶段,交易已经在L2上完成,但在L1上没有完成。

2. 虚拟状态: 这是一种状态,积累了一批Txn的排序器将Txn分批发送给L1智能合约。

它的目的是把Txn的数据可用性放到以太坊上,所以任何节点都可以读取ETH

智能合约并建立一个状态,意味着不需要信任任何人,从而实现 “无信任”。

3. 合并状态:在这个阶段,聚合器/验证器使用zkprover建立一个有效性证明,以便对交易进行验证并在L1上达到最终结果。