当前位置:首页 > 知识 >

以太坊最有希望的扩容方式:ValidityRollups

在谈论扩展以太坊时,Rollups是今年的热门话题。在各种类型的rollups中,我们认为ValidityRollups(VRs),也称为zk-rollups,是以安全和去中心化的方式增加以太坊吞吐量的最有希望的方式。

这种扩展解决方案的核心是使用有效性证明进行可验证计算。他们是这样工作的:

- 运营商不是在以太坊主网上处理每笔交易,而是将交易执行卸载到链下环境。这个链下环境意味着在以太坊之上运行的层。

- 在处理大量交易后,第2层操作员返回结果以应用于以太坊的状态,以及验证链下执行完整性的有效性证明。该证明保证一批中的所有交易都是有效的,并由链上验证者合约自主验证。这允许以太坊将结果应用到它的状态。

注意:ValidityRollups通常被错误地称为零知识汇总,但这并不准确。大多数ValidityRollup不使用ZKP,也不用于确保隐私的目的。因此,术语「ValidityRollup」更准确。

在继续之前,我们需要回答的第一个问题是:什么是虚拟机(VM)?简单地说,它是一个可以运行程序的环境,就像运行Windows操作系统的Mac。它在对某些输入执行计算后在状态之间转换。以太坊虚拟机(EVM)是运行以太坊智能合约的VM。

零知识虚拟机(zkVM)是一种程序执行环境,它与程序输出一起允许生成可以轻松验证的有效性证明。此有效性证明证明程序已正确执行。当使用术语「zkEVM」时,它通常是指利用以太坊虚拟机(EVM)并能够证明EVM执行的汇总。这个术语可能会产生误导,因为EVM本身并不生成这些证明;相反,证明是由一个单独的证明机制生成的,该机制以EVM执行的结果为起点。此外,这些证明是关于有效性而非隐私的,因此它们不完全是零知识证明。尽管如此,为了保持一致性,我们将在本文中坚持使用传统术语「zkEVM」。

虽然所有ValidityRollups都旨在利用有效性证明来扩展以太坊,但它们在选择VM来执行链下交易方面有所不同。许多ValidityRollups选择复制EVM的设计(因此被称为「zkEVMrollups」),试图在L2rollup上复制以太坊。Starknet使用一种新的VM——CairoVM(CVM)——专门设计用于优化有效性证明效率。

这两种方法各有优缺点,但zkEVM以性能换取以

猜你喜欢

关注我们

微信二维码

微信