|
相比较之下，ZK Rollup 是一种更复杂的技术。现在已经有了用 ZK Rollup 来做代币转移和一些相对特殊的应用程序，但是还需要更长时间来用 ZK Rollup 实施通用智能合约，并且有效地将 EVM 整个包装进零知识证明中还需要更多的研究工作。但是，一旦 ZK Rollup 全面开发，所有现有的以太坊 dApp 和服务都将能够轻松地迁移到 ZK Rollup 中。 ZK Rollup 将解决 Optimistic Rollup 的几个基本问题：
Optimistic Rollup 对于 ZK Rollup 来说是也是一个很好的工具。过渡到 L2 的扩展要求用户对电子钱包，预言机，dApp 的使用习惯进行大幅度改变。Optimistic Rollup 帮这一举措已经提前准备好了一套生态系统，为目前尚不能在 ZK Rollup 上构建的 DApp 带来拓展的可能性。这将使 ZK Rollup 有足够的时间变得成熟并使其无缝对接，同时保持以太坊的发展趋势。下面我们通过几个方面简单对 Optimistic Rollup 和 ZK Rollup 做一个对比。 灵活性：通用计算Optimistic Rollup尽管 Optimistic Rollup 可以用于一些特殊的应用场景，但是这项技术中最重要的创新是 OVM：Optimistic 虚拟机。OVM 可以支持任意智能合约逻辑的实现。从这方面来看，在以太坊中几乎所有可能的事情在 OVM 中也都是可能的，也包括智能合约及其可组合性。OVM 可以以 EVM，EWASM 或者任何其他的虚拟机作为基础。 如果与 EVM 一起使用，OVM 的另一个好处是可以支持 Solidity 代码。因此 OVM 可以轻松地将大部分现有代码库直接转移过去。 OVM 直接使用现有的 EVM 代码是非常理想化的，实施起来必定不是那么简单。OVM 的落实将需要更改以太坊 CALLDATA 的格式，并采用复杂的响应协议实现欺诈证明。这可能会导致 OVM 与 EVM 产生分歧，从而无法正确处理边缘情况，这意味着把现有的合约改写到 OVM 上还存在着一定难度。 实施的另一个挑战在于，较大区块的欺诈证明可能会超出 L1 的 gas 限制。这就使得这些欺诈证明必须分解成多个 ETH 交易。 ZK Rollup到目前为止，ZK Rollup 的所有现有操作都集中在代币转移或原子交换。有几个主要原因。 首先，目前仍然还没有一个有效的技术可用于针对不同的零知识证明（Zero Knowledge Proof）进行简洁的递归证明组合。在同一个区块中执行不同的智能合约需要递归组合不同的零知识证明。并且，每一个新版智能合约的出现都需要一个新的受信设置的过程，显然这个是不现实的。目前现有不需要受信设置的零知识证明技术 STARK 的验证方也只是针对性处理非常有限的一类问题。STARK 验证方必须对被证明的计算语句的每个限制条件都至少执行一次，这也意味着我们无法重复整合执行不同架构的智能合约。 (责任编辑：admin) |