这种扩展解决方案的核心是使用有效性证明进行可验证计算。他们是这样工作的：
- 运营商不是在以太坊主网上处理每笔交易，而是将交易执行卸载到链下环境。这个链下环境意味着在以太坊之上运行的层。
- 在处理大量交易后，第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以性能换取以
本文来自用户投稿，不代表币大大立场，如若转载，请注明出处：https://czxurui.com/zx/25806.html
发表回复
评论列表（0条）